Learn More
XtratuM is an hypervisor designed to meet safety critical requirements. XtratuM 2.1.0 is a redesign of the former version XtratuM 2.0 (for x86 architectures) to meet safety critical requirements. It has been ported to SPARC v8 arquitecture and specially to the to the LEON2 processor, which is the reference platform for the spatial sector. Adaptation(More)
A modern control system is typically implemented as a multitasking software application executing in a real-time operating system. If the computer load is high, the controller will experience delays and jitter, which in turn degrade the control performance. Arguing for an integrated design approach, the paper describes two computer tools for(More)
Many computer-controlled systems are distributed, consisting of computer nodes and a communication network connecting the various systems. It is not uncommon for the sensor, actuator, and control calculations to reside on different nodes. Wireless connections permit to apply these control systems in a wide spectrum of application and environments. In this(More)
The paper focuses on the legal, data security and privacy issues of the STORK (Secure idenTity acrOss boRders linKed) infrastructure and aims (a) to summarize the main findings and (b) to identify key points that the STORK consortium and stakeholders need to resolve in order to make the STORK security and privacy framework more robust, with the ambition to(More)
The University of Florida has a well documented history of developing mission capable Micro Air Vehicles (MAVs). UF has established a successful philosophy that focuses on aircraft reliability and durability. This process incorporates four criteria that apply to both the design of the airframe and selection of components: durability and reliability,(More)
The design of embedded control systems should be addressed in both the controller definition and its implementation. While the design of the controller is based on control theory, the implementation is designed by assuming the principle that control loops can be modeled and implemented as periodic activities. Periodic activities that can be organise(More)
The use of embedded PC in control systems is increasing. There exist a significant number of real-time operating systems but RT-Linux provides several advantages over most of them. RT-Linux shares the processor with standard Linux allowing to run accurately timed applications to perform data acquisition and control systems with Linux applications. However,(More)
Hypervisor is a promising technology to build partitioned systems. However, it has to be adapted and customized to the requirements of the target application. Hypervisors are small software layers which can be designed to meet real-time and security properties. Its correctness can be sufficient to ensure the security of the system as a whole or, at least,(More)