Integrated modular avionics: Managing the allocation of shared intersystem resources

AIAA/IEEE Digital Avionics Systems Conference - Proceedings

Volumn , Issue , 2006, Pages

  Watkins, Christopher B ^a  

^a GE AVIATION   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AVIONICS SUPPLIERS; AVIONICS SYSTEMS; BOEING 787; CONFIGURABLE COMPUTING; CORE SYSTEMS; DIGITAL AVIONICS; IN ORDER; INDIVIDUAL (PSS 544-7); INTEGRATED MODULAR AVIONICS (IMA); INTER SYSTEM; PLATFORM MANAGEMENT; SMITHS AEROSPACE (CO); SYSTEM LEVELS; SYSTEM SCALABILITY;

ARCHITECTURE; AVIONICS; DIGITAL ARITHMETIC; NETWORK ARCHITECTURE; PHILOSOPHICAL ASPECTS; WIRELESS TELECOMMUNICATION SYSTEMS;

AIRCRAFT INSTRUMENTS;

EID: 77957819206     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DASC.2006.313743     Document Type: Conference Paper

References (7)

1. Spitzer, Cary, 1 April 2005, Reusable Software in Integrated Avionics, Aviation Today, http://www.aviationtoday.com/cgi/av/show_mag.cgi?pub=av&mon= 0405&file=perspectives.htm.
2. Rushby, John, December 2002, Modular Certification, NASA Contractor Report, CR-2002-212130, NASA Langley Research Center, http://hdl.handlc.net/ 2002/14483.
3. th Australian Workshop on Safety Critical Systems and Software, Australian Computer Society, Inc., http://www-users.cs.york.ac.uk/~mark/papers/Conmy.pdf.
4. Namjoshi, Kedar S., Richard J. Trefler, July 2000, On the Completeness of Compositional Reasoning, Computer-Aided Verification, CAV 2000 Vol. 1855 of Lecture Notes in Computer Science, Chicago, IL, Springer-Verlag, pp. 139-153, http://citeseer.ist.psu.edu/namjoshi00completeness.html.
5. Jensen, David, 1 November 2005, B787 Cockpit: Boeing's Bold Move, Aviation Today, http://www.aviationtoday.com/cgi/av/show_mag.cgi?pub'= av&mon=1105&file=b787cockpit.htm.
6. th Australian Workshop on Safety Critical Systems and Software, Australian Computer Society, Inc., http://www.cs.york.ac.uk/rts/cgi-bin/bibtex/bibtex.pl?key=R:Bate:2003g.
7. Brasileiro, F.V., P.D. Ezhilchelvan, S.K. Shrivastava, N.A. Speirs, S. Tao, 1996, Implementing Fail-Silent Nodes for Distributed Systems, IEEE Transactions on Computers, Vol. 45, Iss. 11, IEEE Computer Society, pp. 1226-1238, http://www.cs.ncl.ac.uk/research/pubs/articles/papers/146.pdf.