Abstract

Abstract

Abstract
Real-Time For the Masses (RTFM) is a set of languages and tools being developed to facilitate embedded software development and provide highly efficient implementations geared to static verification. The RTFM-kernel is an architecture designed to provide highly efficient and predicable Stack Resource Policy based scheduling, targeting bare metal (singlecore) platforms. We contribute beyond prior work by introducing a platform independent timer abstraction that relies on existing RTFM-kernel primitives. We develop two alternative implementations for the ARM Cortex-M family of MCUs: a generic implementation, using the ARM defined SysTick- /DWT hardware; and a target specific implementation, using the match compare/free running timers. While sacrificing generality, the latter is more exible and may reduce overall overhead. Invariants for correctness are presented, and methods to static and run-time verification are discussed. Overhead is bound and characterized. In both cases the critical section from release time to dispatch is less than 2us on a 100MHz MCU. Queue and timer mechanisms are directly implemented in the RTFM-core language and can be included in system-wide scheduling analysis.

Abstract

Abstract
In this paper we discuss collaborative learning strategies based on the use of digital stories in corporate training and lifelong learning. The text starts with a concise review on theoretical and technical foundations about the use of digital technologies in collaborative strategies in lifelong learning. We will also discuss if the corporate training may be improved by the use of individual audio-visual experience in learning process. Careful planning, scripting and production of audio-visual digital stories can help in the construction of collaborative learning spaces in which adults are in the context of vocational training throughout life. Our analysis concludes emphasizing on the need to experience the routing performance of digital stories in the context of corporate training, following the reference levels mentioned here, so we can have in a future more theoretical and empirical elements for the validation and conceptualization in the use of digital stories in the context of corporate training. Ultimately we believe that lifelong learning can be improved with the use of strategies that promote the production of personal audio-visual for those involved in teaching and learning process in organizational context.

Abstract
O presente artigo tem como objeto os resultados dum estudo que teve por objetivo a investigação do uso dos sistemas e tecnologias de informação (STI) no turismo em espaço rural (TER) na região do Algarve. Os resultados foram obtidos através de um questionário eletrónico, direcionado a proprietários e/ou gestores de 51 unidades TER, no qual se procurou identificar o impacto dos STI nas variáveis: tomada de decisão; satisfação dos gestores quanto ao uso dos STI; qualidade do serviço de reservas de quarto; e resultados financeiros. O estudo permitiu concluir que, de uma forma geral, a utilização dos STI são uma componente importante na gestão das unidades TER e têm impactos positivos na identificação de problemas e minimização do seu tempo de resolução; na confiança depositada no sistema e linguagem utilizada no computador; na qualidade das reservas de quartos; e nos resultados financeiros por via da inovação em tecnologia e existência de rede na organização.;This article aims to present the results of a study that investigated the use of information systems and technologies (IST) in tourism in rural space (TRS) in the Algarve region. The results were obtained through an electronic questionnaire given to the owners and/or managers of fifty one units TRS, in which we tried to identify the impact of IST in the following variables: decision making, satisfaction of managers in the use of IST, quality of room reservations service, and financial results. The study concluded that, in general, the use of IST are an important component in the TRS units of management and have positive impacts in identifying problems and minimizing their time resolution, confidence in the system and language used in the computer, the quality of rooms reservations, and financial results through innovation in technology, and network existence in the organization.