Fraunhofer Institute for Open Communication Systems
It is widely believed and accepted that embedded systems will continue to rise in their applicability and usage across numerous market sectors. However, in some cases, systems must satisfy stringent assurances, i.e., safety-critical requirements. In particular, these sectors include the aerospace, medical, railways, and potentially the automotive industry. In such systems, consequences of a failure can be disastrous, e.g., financially or even in terms of human lives.
Consequently, in these instances, it is very important that products demonstrate adherence to higher safety assurance levels. Traditional testing methods, for these classes of systems, have been shown to be too expensive. With traditional methods, reaching test-coverage that is appropriate when lives are at stake requires an ever bigger part of the development budget as embedded software grows in size and complexity. At these higher assurance levels, it may be more efficient to rely on mathematically rigorous methods that formally prove desired safety properties in software.
Partner
- CEA List
