Distributed reconfigurable avionics architectures Export

@inproceedings{strunk04reconfigurable, abstract = {Current and upcoming avionics systems must be able to accommodate expected growing application software volume and capability. The software domain has struggled to meet increasing demands while retaining the necessary level of confidence in its appropriate operation. Meanwhile, although computing components are becoming less expensive, the fixed and operational costs of hardening them to their potential environments are not progressing with the same speed. We introduce a flexible architecture based on distribution of function and assured reconfiguration that can react to failures in both hardware and software. Reconfiguration, when its safety properties are assured, can enhance analysis capabilities for critical safety properties and reduce certification costs for much of the system. This work outlines an architecture for assured reconfiguration, the principles of reconfiguration assurance, and the accompanying cost and safety arguments.}, author = {Strunk, E. A. and Knight, J. C. and Aiello, M. A.}, booktitle = {The 23rd Digital Avionics Systems Conference (DASC 04)}, citeulike-article-id = {4038270}, citeulike-linkout-0 = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=1390803}, journal = {The 23rd Digital Avionics Systems Conference (DASC 04)}, keywords = {avionics, dependability, ima, reconfiguration}, pages = {10.B.4-1--10.B.4-10}, posted-at = {2009-02-12 13:21:46}, priority = {2}, title = {Distributed reconfigurable avionics architectures}, url = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=1390803}, volume = {2}, year = {2004} }

TY - CONF ID - strunk04reconfigurable L3 - citeulike-article-id:4038270 N2 - Current and upcoming avionics systems must be able to accommodate expected growing application software volume and capability. The software domain has struggled to meet increasing demands while retaining the necessary level of confidence in its appropriate operation. Meanwhile, although computing components are becoming less expensive, the fixed and operational costs of hardening them to their potential environments are not progressing with the same speed. We introduce a flexible architecture based on distribution of function and assured reconfiguration that can react to failures in both hardware and software. Reconfiguration, when its safety properties are assured, can enhance analysis capabilities for critical safety properties and reduce certification costs for much of the system. This work outlines an architecture for assured reconfiguration, the principles of reconfiguration assurance, and the accompanying cost and safety arguments. JF - The 23rd Digital Avionics Systems Conference (DASC 04) EP - 10.B.4-10 TI - Distributed reconfigurable avionics architectures VL - 2 T2 - The 23rd Digital Avionics Systems Conference (DASC 04) SP - 10.B.4-1 KW - avionics KW - dependability KW - ima KW - reconfiguration AU - Strunk, EA AU - Knight, JC AU - Aiello, MA PY - 2004/// UR - http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=1390803 ER -