Semi-Automatic Generation of Device Drivers for Rapid Embedded Platform Development

n/

Modeling, Simulation and Emulation of Intelligent Domotic Environments

Intelligent Domotic Environments are a promising approach, based on semantic models and commercially off-the-shelf domotic technologies, to realize new intelligent buildings, but such complexity requires innovative design methodologies and tools for ensuring correctness. Suitable simulation and emulation approaches and tools must be adopted to allow designers to experiment with their ideas and to incrementally verify designed policies in a scenario where the environment is partly emulated and partly composed of real devices. This paper describes a framework, which exploits UML2.0 state diagrams for automatic generation of device simulators from ontology-based descriptions of domotic environments. The DogSim simulator may simulate a complete building automation system in software, or may be integrated in the Dog Gateway, allowing partial simulation of virtual devices alongside with real devices. Experiments on a real home show that the approach is feasible and can easily address both simulation and emulation requirement

Automatic Verification of Message-Based Device Drivers

We develop a practical solution to the problem of automatic verification of the interface between device drivers and the OS. Our solution relies on a combination of improved driver architecture and verification tools. It supports drivers written in C and can be implemented in any existing OS, which sets it apart from previous proposals for verification-friendly drivers. Our Linux-based evaluation shows that this methodology amplifies the power of existing verification tools in detecting driver bugs, making it possible to verify properties beyond the reach of traditional techniques.Comment: In Proceedings SSV 2012, arXiv:1211.587

The TASTE Toolset: turning human designed heterogeneous systems into computer built homogeneous software.

The TASTE tool-set results from spin-off studies of the ASSERT project, which started in 2004 with the objective to propose innovative and pragmatic solutions to develop real-time software. One of the primary targets was satellite flight software, but it appeared quickly that their characteristics were shared among various embedded systems. The solutions that we developed now comprise a process and several tools ; the development process is based on the idea that real-time, embedded systems are heterogeneous by nature and that a unique UML-like language was not helping neither their construction, nor their validation. Rather than inventing yet another "ultimate" language, TASTE makes the link between existing and mature technologies such as Simulink, SDL, ASN.1, C, Ada, and generates complete, homogeneous software-based systems that one can straightforwardly download and execute on a physical target. Our current prototype is moving toward a marketed product, and sequel studies are already in place to support, among others, FPGA systems

The psychology of driving automation: A discussion with Professor Don Norman

Introducing automation into automobiles had inevitable consequences for the driver and driving. Systems that automate longitudinal and lateral vehicle control may reduce the workload of the driver. This raises questions of what the driver is able to do with this 'spare' attentional capacity. Research in our laboratory suggests that there is unlikely to be any spare capacity because the attentional resources are not 'fixed'. Rather, the resources are inextricably linked to task demand. This paper presents some of the arguments for considering the psychological aspects of the driver when designing automation into automobiles. The arguments are presented in a conversation format, based on discussions with Professor Don Norman. Extracts from relevant papers to support the arguments are presented

From fly-by-wire to drive-by-wire: Safety implications of automation in vehicles

The purpose of this paper is to critically review the current trend in automobile engineering toward automation of many of the functions previously performed by the driver. Working on the assumption that automation in aviation represents the basic model for driver automation, the costs and benefits of automation in aviation are explored as a means of establishing where automation of drivers' tasks are likely to yield benefits. It is concluded that there are areas where automation can provide benefits to the driver, but there are other areas where this is unlikely to be the case. Automation per se does not guarantee success, and therefore it becomes vital to involve Human Factors into design to identify where automation of driver functions can be allocated with a beneficial outcome for driving performance