A model of noninterference for integrating mixed-criticality software components

Dependable Computing for Critical Applications 7

Volumn , Issue , 1999, Pages 301-316

  Dutertre, Bruno ^a   Stavridou, Victoria ^a  

^a SRI INTERNATIONAL   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; COMPUTER SCIENCE;

HARDWARE RESOURCES; INDEPENDENT COMPONENTS; INPUT-OUTPUT; MIXED CRITICALITIES; PERFORMANCE DEGRADATION; SOFTWARE COMPONENT;

CRITICALITY (NUCLEAR FISSION);

EID: 84969851569     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DCFTS.1999.814302     Document Type: Conference Paper

References (15)

1. Avionics Application Software Standard Interface. ARINC Specification 653, ARINC, Annapolis, Maryland, January 1997.
2. R.R. Biba. Integrity Considerations for Secure Computer Systems. Technical Report MTR-3135, Mitre Corporation, April 1977.
3. A. Brown, D.J. Carney, and M.D. McFalls. Proceedings of the SEI/MCC Symposium on the Use of COTS in Systems Integration. Technical Report CMU/SEI-95-SR-007, Software Engineering Insitute, June 1995.
4. Ben Di Vito. A Model of Cooperative Noninterference for Integrated Modular Avionics. In Dependable Computing for Critical Applications (DCCA-7), San Jose, CA, January 1999. This volume.
5. J.A. Goguen and J. Meseguer. Security Policies and Security Models. In Proceedings of the Symposium on Security and Privacy, pages 11-20, Oakland, CA, 1982.
6. J.A. Goguen and J. Meseguer. Unwinding and Inference Control. In Proceedings of the Symposium on Security and Privacy, pages 75-86, Oakland, CA, 1984.
7. M. Morgan. Integrated Modular Avionics for Next-Generation Commercial Airplanes. IEEE Aerospace and Electronic Systems, 6(8):9-12, August 1991.
8. A. Nadesakumar, R. Crowder, and C. Harris. Advanced system concepts for future civil aircraft - an overview of avionic architecture. Proceedings of the Institution of Mechanical Engineers. Part G: Journal of Aerospace Engineering, 209(G4), 1995.
9. S. Owre, J. Rushby, N. Shankar, and F. von Henke. Formal Verification for Fault-Tolerant Architectures: Prolegomena to the Design of PVS. IEEE Transactions on Software Engineering, 21(2):107-125, February 1995.
10. J. Rushby. Design and Verification of Secure Systems. In Proceedings of the 8th Symposium on Operating Systems Principles, ACM SIGOPS, volume 26, pages 54-60, November 1981.
11. J. Rushby. Partitioning in Avionics Architectures: Requirements, Mechanisms, and Assurance. Draft technical report, Computer Science Laboratory, SRI International, October 1998.
12. J. Rushby and B. Randell. A Distributed Secure System. IEEE Computer, 16(7):55-67, July 1983.
13. E. Totel, J.-P. Blanquart, Y. Deswarte, and D. Powell. Supporting Multiple Levels of Criticality. In FTCS-28, The 28th Annual Fault Tolerant Computing Symposium, pages 70-79, Munich, Germany, June 1998.
14. M.R Vigder, W.M. Gentleman, and J. Dean. COTS Software Integration: State of the Art. Technical Report 39198, National Research Council of Canada, January 1996.
15. M. Wilding, D. Hardin, and D. Greve. Invariant Performance: A Statement of Task Isolation Useful for Embedded Application Integration. In Dependable Computing for Critical Applications, DCCA-7, San Jose, CA, January 1999. This volume.