Smart certification of mixed criticality systems

Lecture Notes in Computer Science

Volumn 3555, Issue , 2005, Pages 144-155

  Amey, Peter ^a   Chapman, Rod ^a   White, Neil ^a  

^a Praxis High Integrity Systems   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (STANDARDS); COSTS; ROBUSTNESS (CONTROL SYSTEMS);

NON-CRITICAL USAGE; ROBUST SEGREGATION; SECURITY CRITICAL FUNCTIONS; SOFTWARE COMPONENTS;

SECURITY OF DATA;

EID: 26444486458     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11499909_12     Document Type: Conference Paper

References (11)

1. RTCA-EUROCAE: Software Considerations in Airborne Systems and Equipment Certification. DO-178B/ED-12B. 1992.
2. Ministry of Defence: Requirements for Safety Related Software in Defence Equipment, Defence Standard 00-55. August 1997.
3. Barnes, John: High Integrity Software - the SPARK Approach to Safety and Security. Addison Wesley Longman, ISBN 0-321-13616-0. 2003.
4. 5.
5. 6.
6. 6.
7. 5, pp37-61.
8. 6.
9. 6.
10. Chapman, Rod; Hilton, Adrian: Enforcing Security and Safety Models with an Information Flow Analysis Tool. Proceedings of ACM SIGAda 2004.
11. Hammond, Jonathan: Specification of SPARK Total Correctness Proofs. Praxis HIS, S.P0468.41.5. October 2004.