Safe and Secure Partitioned Systems and Their Certification

Download Now Date Added: Oct 2009
Format: PDF

The paper reviews some of the most important aspects of certification of real-time safety-critical systems, using the example of Integrated Modular Avionics. Security issues are also addressed where these relate to airborne systems and may be used to provide multiple independent levels of security. With the ever-increasing computing power, memory sizes and networking throughput offered by modern hardware, it has become compelling to use these resources in the integration of many applications on a few powerful computing platforms. Integrated Modular Avionics (IMA) has become a programming paradigm of choice on commercial and military aircraft as well as Unmanned Air Vehicles.