This paper describes a methodology for safety-centric development of distributed embedded avionics realized as sense-actuate-control (SAC) networks. The methodology has consists of two parts. First, formal methods are used in defining and deriving families of SAC node architectures. This methodology eliminates redundant verification and validation (V&V) efforts across members of the same family of architectures. Second, proof-directed run-time error-monitor generation methodology is presented. This methodology links design-time verification with run-time error checking. Robust error monitors can be derived and reused across the members of a family of architectures.
Safety-Centric Design of Distributed Embedded Avionics
2008-07-01
8414169 byte
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
British Library Conference Proceedings | 2009
|Aging Avionics and Net-Centric Operations
British Library Conference Proceedings | 2004
|Network Centric Operations Impact on Avionics
AIAA | 2004
|Aging Avionics and Net-Centric Operations
Online Contents | 2005
|