Non-interference analysis for mixed criticality code in avionics systems

Proceedings ASE 2000: 15th IEEE International Conference on Automated Software Engineering

Volumn , Issue , 2000, Pages 257-260

  Hill, M G ^a   Lake, T W ^b  

^a DEFENCE SCIENCE AND TECHNOLOGY LABORATORY   (United Kingdom)

^b InterGlossa Ltd   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COST EFFECTIVENESS; EMBEDDED SYSTEMS; HARDWARE; RECONFIGURABLE HARDWARE; SAFETY ENGINEERING;

AIRCRAFT SYSTEMS; ANALYSIS APPROACH; AVIONICS SYSTEMS; HARDWARE PARTITIONING; MIXED CRITICALITIES; MODULAR ARCHITECTURES; NON INTERFERENCE; SOFTWARE PARTITIONING;

SOFTWARE ENGINEERING;

EID: 84903185766     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2000.873672     Document Type: Conference Paper

References (10)

1. P. Cousot and R. Cousot. Abstract interpretation, a unified lattice model for static analysis of programs by construction of approximation of fixpoints. In 4th ACM Symposium on Principles of Programming Languages, 1977.
2. B. Di Vito. A formal model of partitioning for integrated modular avionics. Technical Report NASA/CR-1998-208703, NASA Langley Research Centre, August 1998.
3. J. Goguen and J. Meseguer. Security policies and security models. In Proceedings of the Symposium on Security and Privacy. IEEE Computer Society, April 1982.
4. D. Marsh. Evaluation of realtime operating systems - the role of standards. Technical report, Avionic Systems Standardisation Committee Processing Working Group, March 1997.
5. F. Nielson, H. Nielson, and C. Hankin. Principles of Program Analysis. Springer, 1999.
6. OSF. ANDF, application portability and open systems. Technical report, Open Software Foundation, 11 Cambridge Centre, Cambridge, MA, USA, 1991.
7. J. Rushby. Partitioning in avionics architectures: Requirements, mechanisms and assurance. Technical report, SRI International, March 1999.
8. C. Sennett and M. Hill. A semantic basis for pointer analysis. Technical Report DERA/CIS/CIS3/TR980136/1.0, DERA UK.
9. I. S. techniques Study Team. Integrated modular avionics software techniques study, work package 6, final report. Technical Report 17395, LS.DE., February 1998. Restricted.
10. R. Wahbe, S. Lucco, T. Anderson, and S. Graham. Efficient software based fault isolation. In Proceedings of the Symposium on Operating System Principles, 1993.