DocumentCode :
3059709
Title :
Safety-Centric Design of Distributed Embedded Avionics
Author :
Vemuri, Ranga ; Borowczak, Mike ; Avakian, Annie
Author_Institution :
Electr. & Comput. Eng. Dept., Univ. of Cincinnati, Cincinnati, OH
fYear :
2008
fDate :
16-18 July 2008
Firstpage :
293
Lastpage :
299
Abstract :
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.
Keywords :
actuators; aerospace safety; avionics; distributed control; distributed sensors; formal verification; distributed embedded avionics; formal methods; proof-directed run-time error-monitor generation; run-time error checking; safety-centric design; sense-actuate-control networks; Actuators; Aerospace electronics; Computer architecture; Control systems; Costs; Embedded computing; Runtime; Safety; Sensor systems; Unmanned aerial vehicles;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Aerospace and Electronics Conference, 2008. NAECON 2008. IEEE National
Conference_Location :
Dayton, OH
ISSN :
7964-0977
Print_ISBN :
978-1-4244-2615-7
Electronic_ISBN :
7964-0977
Type :
conf
DOI :
10.1109/NAECON.2008.4806561
Filename :
4806561
Link To Document :
بازگشت