In recent years, approaches to control performance and resource optimization for embedded control systems have been receiving increased attention. Most of them focus on theory, whereas practical aspects are omitted. Theoretical advances demand flexible real-time kernel support for multi-tasking and pre-emption, thus requiring more sophisticated and expensive software/hardware solutions. On the ...

One of the biggest challenges in security is human behavior, which with one poor decision can easily bypass even the most secure encryption. This is particularly true for mobile devices, which are now part of the full range of human activity. Our project seeks to discover the conditions under which mobile users are most likely to make security errors, so that we may offer timely encouragement t...

This paper describes the details of, and the experiences gained from, a case study undertaken by the authors on the design and re-implementation of the Olympus Satellite’s Attitude and Orbital Control Systems (AOCS). The goal of the study was to demonstrate that real-time systems can be implemented using Ada and its tasking facilities. The system was designed using HRT-HOOD, analysed using Dead...

Informal workplace communication is a central component of work and fundamental to understand its fragmentation. Previous studies point to external interruptions and multi-tasking preferences as the source of work fragmentation. Yet, although some empirical evidence exists on the role played by social informal interactions on interrupting work, we lack a more precise understanding of the degree...

PRIMARY OBJECTIVE To determine if people with traumatic brain injury (TBI) display deficits in dual tasking ability. RESEARCH DESIGN Observational and correlational research design used, to identify and describe the nature of dual task impairment in people with TBI. METHODS AND PROCEDURES Eighty-six people with TBI were assessed using a new standardized paper-and-pencil assessment of dual t...

Until recently, gait was generally viewed as a largely automated motor task, requiring minimal higher-level cognitive input. Increasing evidence, however, links alterations in executive function and attention to gait disturbances. This review discusses the role of executive function and attention in healthy walking and gait disorders while summarizing the relevant, recent literature. We describ...

Ada has been successfully used in many dependable real−time applications, which have undoubtedly benefit of its major strengths: The well defined language semantics [1], the strong type checking, structuring mechanisms like packages and not to forget the Ada Semantic Interface Standard [2] supporting the development of code analysis, verification and testing tools. But an Ada system can not be ...