João Craveiro

Learn More
Aerospace systems have strict dependability and real-time requirements, as well as a need for flexible resource reallocation and reduced size, weight and power consumption. To cope with these issues, while still maintaining safety and fault containment properties, temporal and spatial partitioning (TSP) principles are employed. In a TSP system, the various(More)
Time- and space-partitioned systems (TSP) are a current trend in aerospace. They are employed to integrate a heterogeneous set of functions (different criticalities, real-time requirements, and origins) in a shared computing platform, fulfilling individual partitions' and global real-time properties. Applications are separated into logical partitions,(More)
Aerospace systems have strict dependability and real-time requirements, as well as a need for flexible resource reallocation and reduced size, weight and power consumption. To cope with these issues, while still maintaining safety and fault containment properties, temporal and spatial partitioning (TSP) principles are employed [4]. In a TSP system, the(More)
The ARINC 653 specification, defined for aeronautical applications, has the goal of providing a standard interface between a given real-time operating system (RTOS) and the corresponding applications. It also provides robust partitioning, with the final goal of guaranteeing safety and timeliness in mission-critical systems. The interest in ARINC 653 has(More)
Future space missions call for advanced computing system architectures fulfilling strict size, weight and power consumption (SWaP) requisites, decreasing the mission cost and ensuring the safety and timeliness of the system. The AIR (ARINC 653 in Space Real-Time Operating System) architecture defines a partitioned environment for the development and(More)
Future space systems require innovative computing system architectures, on account of their size, weight, power consumption, cost, safety and maintainability requisites. The AIR (ARINC 653 in Space Real-Time Operating System) architecture answers the interest of the space industry, especially the European Space Agency, in transitioning to the flexible and(More)
Aerospace mission systems' size, weight and power consumption requirements call for the integration of multiple functions on a single embedded computing platform. A current trend to guard against potential timeliness and safety issues in integrating applications of different natures and providers is the employment of temporal and spatial partitioning. The(More)
The ARINC 653-based AIR (ARINC 653 in Space Real-Time Operating System) architecture, developed as a response to the interest of the aerospace industry in adopting the concepts of Integrated Modular Avionics (IMA), proposes a partitioned environment, observing strict temporal and spatial segregation, in which partitions are able to use different (real-time)(More)
The AIR architecture, developed to meet the interests of the aerospace industry, defines a partitioned environment for the development of aerospace applications, adopting the temporal and spatial partitioning (TSP) approach, and addressing real-time and safety issues. The AIR Technology includes the support for mode-based schedules, allowing to alternate(More)
Developing smart vehicles, either automobile or aerial, to realise cooperative functionality in open and inherently uncertain environments is a difficult task. One fundamental challenge is to make cooperation predictable and safe, despite the uncertainties affecting the operation. Traditional approaches for the design of safe control systems rely on the(More)