This paper presents an approach for application of time-triggered paradigm to the domain of autonomous systems. Autonomous systems are intensively used in areas, or situations, which could be dangerous to humans or which are remote and hardly accessible. In the case when an autonomous system is safety critical and should react to the environmental changes running within a very limited time frame, we deal with the same kind of problems as automotive and avionic systems: timing properties and their analysis become a crucial part of the system development. To analyse timing properties and to show the fault-tolerance of the communication, a predictable timing of the system is needed
Emerging evidence shows that safety-critical systems are evolving towards operating in uncertain con...
This dissertation focuses on the challenges arising from real-time autonomous cyber-physical systems...
For mixed-criticality automotive systems, the functional safety standard ISO 26262 stipulates freedo...
AUTOSAR is a common initiative of the automotive industry with the goal to standardize substantial a...
International audienceWith the explosion of new technologies, a new type of systems has been designe...
In modern cars more and more algorithms are implemented as distributed systems. For example, an ACCS...
The software used to implement advanced functionalities in critical domains (e.g. autonomous operati...
This paper describes a conceptual framework for the development of a hierarchal control architecture...
Recently, formal methods have gained significant traction for describing, checking, and synthesizing...
International audienceEmbedded systems highly contribute to the efficiency, safety, and usability of...
In many cyber-physical systems that support real-time applications, temporal guarantees are crucial....
Abstract—Over the past few years semi-autonomous driving functionality was introduced in the automot...
Safety- and mission-critical applications such as autonomous and assisted driving, smart manufacturi...
Abstract. Although computers have been employed for decades to control machinery and entire laborato...
This report has two main objectives, firstly to provide a brief understanding of the currently avail...
Emerging evidence shows that safety-critical systems are evolving towards operating in uncertain con...
This dissertation focuses on the challenges arising from real-time autonomous cyber-physical systems...
For mixed-criticality automotive systems, the functional safety standard ISO 26262 stipulates freedo...
AUTOSAR is a common initiative of the automotive industry with the goal to standardize substantial a...
International audienceWith the explosion of new technologies, a new type of systems has been designe...
In modern cars more and more algorithms are implemented as distributed systems. For example, an ACCS...
The software used to implement advanced functionalities in critical domains (e.g. autonomous operati...
This paper describes a conceptual framework for the development of a hierarchal control architecture...
Recently, formal methods have gained significant traction for describing, checking, and synthesizing...
International audienceEmbedded systems highly contribute to the efficiency, safety, and usability of...
In many cyber-physical systems that support real-time applications, temporal guarantees are crucial....
Abstract—Over the past few years semi-autonomous driving functionality was introduced in the automot...
Safety- and mission-critical applications such as autonomous and assisted driving, smart manufacturi...
Abstract. Although computers have been employed for decades to control machinery and entire laborato...
This report has two main objectives, firstly to provide a brief understanding of the currently avail...
Emerging evidence shows that safety-critical systems are evolving towards operating in uncertain con...
This dissertation focuses on the challenges arising from real-time autonomous cyber-physical systems...
For mixed-criticality automotive systems, the functional safety standard ISO 26262 stipulates freedo...