Large 00029

Certification-Cognizant Modeling and Implementation of Mixed-Criticality Systems - Part 2

Prof. Sanjoy Baruah (University of North Carolina at Chapel Hill, USA)

Recorded 20 September 2012 in Lausanne, Vaud, Switzerland

Event: ntass 2012 - Nano-Tera/Artist Summer School 2012


When building complex embedded systems one seeks to ensure both the correctness of the system's behavior and the efficiency of its implementation. In some important safety-critical application domains, the correctness may be subject to mandatory certification by statutory certification authorities. As systems seeking certification became increasingly more complex and the process of obtaining certification consequently became increasingly more difficult, certain system-design techniques were introduced to facilitate the rigorous verification of correctness properties. Some of these techniques have found favor with certification authorities and are therefore widely used today. However, it is sometimes difficult to obtain resource-efficient implementations of systems that are designed (and proved correct) using these techniques. We will explore the challenge of re-integrating efficiency considerations into such design techniques, and discuss some promising recently-proposed approaches for doing so.

Watched 514 times.