Abstract—Currently there are different approaches to develop fault-tolerant embedded software: implementing the system from scratch or using libraries respectively specialized hardware. By implementing from scratch the developer has all options concerning system design, the used programming language and hardware. But on the other hand the implementation is error-prone and time- and cost-intensive. The usage of libraries or specialized hardware reduces the design possibilities, while increasing the quality of the developed system and accelerating the development. We present a new technique for developing fault-tolerant systems that combines the advantages of these approaches. We suggest the implementation of reusable templates that solve dif...
International audienceDynamic systems become more and more widespread in many application fields. Th...
The need for dependable real-time systems for embedded application is growing, and, at the same time...
In this paper we present a set of tools designed to support the software engineer in releasing depen...
Abstract—Model based development has become the state of the art in software engineering. Unfortunat...
A growing number of safety-critical systems is controlled by computer systems. In the context of sev...
A general trend towards more complex technical systems can be observed which results in an increasin...
We present a formal approach to implement fault-tolerance in real-time embedded systems. The initial...
Abstract—We present an approach to the synthesis of fault-tol-erant hard real-time systems for safet...
International audienceWe demonstrate the feasibility of a complete workflow to synthesize and implem...
Safety-critical applications have to function correctly even in presence of faults. This thesis deal...
Current mainstream software engineering methods do not consider fault tolerance in the requirements...
There are a number of computer control systems in which a fault in the software can endanger human l...
Abstract—The design of fault-tolerant automation systems is a complex task. These systems must not o...
A fault-tolerant approach for application-specific instruction-set processor (ASIP) to reduce the co...
This paper presents a methodology and small software library which is intended to reduce the impact ...
International audienceDynamic systems become more and more widespread in many application fields. Th...
The need for dependable real-time systems for embedded application is growing, and, at the same time...
In this paper we present a set of tools designed to support the software engineer in releasing depen...
Abstract—Model based development has become the state of the art in software engineering. Unfortunat...
A growing number of safety-critical systems is controlled by computer systems. In the context of sev...
A general trend towards more complex technical systems can be observed which results in an increasin...
We present a formal approach to implement fault-tolerance in real-time embedded systems. The initial...
Abstract—We present an approach to the synthesis of fault-tol-erant hard real-time systems for safet...
International audienceWe demonstrate the feasibility of a complete workflow to synthesize and implem...
Safety-critical applications have to function correctly even in presence of faults. This thesis deal...
Current mainstream software engineering methods do not consider fault tolerance in the requirements...
There are a number of computer control systems in which a fault in the software can endanger human l...
Abstract—The design of fault-tolerant automation systems is a complex task. These systems must not o...
A fault-tolerant approach for application-specific instruction-set processor (ASIP) to reduce the co...
This paper presents a methodology and small software library which is intended to reduce the impact ...
International audienceDynamic systems become more and more widespread in many application fields. Th...
The need for dependable real-time systems for embedded application is growing, and, at the same time...
In this paper we present a set of tools designed to support the software engineer in releasing depen...