This paper presents an overview of the state art for safety-critical optimal control autonomous systems. Optimal methods are well studied, but become computationally infeasible real-time applications when there multiple hard safety constraints involved. To guarantee such constraints, it has been shown that optimizing quadratic costs while stabilizing affine systems to desired (sets of) states s...

Multi-core devices are envisioned to support the development of next-generation safety-critical systems, enabling on-chip integration functions different criticality. This provides multiple system-level potential benefits such as cost, size, power, and weight reduction. However, safety certification becomes a challenge several fundamental technical requirements must be addressed, temporal spati...

This thesis investigates how the formal modeling and veri cation techniques of computer science can be used for the analysis of hybrid systems [7,14,22,37]| systems involving both discrete and continuous behavior. The motivation behind such research lies in the inherent similarity of the hierarchical and decentralized control strategies of hybrid systems and the communication and operation prot...

Flexibility and safety are often considered conflicting concepts because flexibility implies dealing with changing requirements that can, in turn, produce unpredictable and possibly unsafe operating scenarios. Therefore, some in the automotive and avionic system design industry believe that a safety-critical system implies a fully static system in which all operating conditions are completely d...

Abstract In the last years, agile methodologies are gaining substantial momentum, becoming increasingly popular in a broad plethora of industrial contexts. Unfortunately, many obstacles have been met while pursuing adoption secure and safe systems, where different standards operational constraints apply. this paper, we propose novel methodology for development innovation safety-critical systems...

EXTENDED ABSTRACT Safety-critical systems are those systems whose failure could result in loss of life, significant property damage, or damage to the environment. There are many well known examples in application areas such as medical devices, aircraft flight control, weapons, and nuclear systems. A safety critical system is a system where human safety is dependent upon the correct operation of...