A modular safety case for an IEC-61508 compliant generic hypervisor

Proceedings - 18th Euromicro Conference on Digital System Design, DSD 2015

Volumn , Issue , 2015, Pages 571-574

  Larrucea, Asier ^a   Perez, Jon ^b   Agirre, Irune ^a   Brocal, Vicent ^b   Obermaisser, Roman ^c  

^a IK4 IKERLAN   (Spain)

^b Ciudad Politcnica de la Innovacin   (Spain)

^c UNIVERSITY OF SIEGEN   (Germany)

Author keywords

Hypervisor; IEC 61508; Mixed criticality; Modular certification; Safety case

Indexed keywords

COMPUTER SOFTWARE REUSABILITY; CRITICALITY (NUCLEAR FISSION); EMBEDDED SYSTEMS; REUSABILITY; SAFETY FACTOR; SYSTEMS ANALYSIS;

HYPERVISOR; IEC 61508; MIXED CRITICALITIES; MODULAR CERTIFICATION; SAFETY CASE;

SAFETY ENGINEERING;

EID: 84958214078     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DSD.2015.27     Document Type: Conference Paper

References (13)

1. J. Perez, D. Gonzalez, S. Trujillo, T. Trapman, and J. M. Garate, "A safety concept for a wind-power mixed-criticality embedded system based on multicore partitioning, " in Mixed-Criticality Systems, 1st Workshop on, Vancouver (Canada), 2013, p. 6
2. J. Perez, D. Gonzalez, C. F. Nicolas, T. Trapman, and J. M. Garate, "A safety certification strategy for iec-61508 compliant industrial mixedcriticality systems based on multicore partitioning, " in Digital System Design (DSD), Euromicro conference on, Verona, Italy, August 2014
3. S. Trujillo, A. Crespo, and A. Alonso, "Multipartes: Multicore virtualization for mixed-criticality systems, " pp. 260-265, September 2013
4. E. Comission, "Mixed criticality systems, " in Mixed Criticality Systems, Workshop on, vol. 41, Brussels, Belgium, 2012, p. 31
5. A. Wasicek, C. El Salloum, and H. Kopetz, "A system on a chip platform for mixed-criticality applications, " in Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), 2010 13th IEEE International Symposium on, Carmona, Seville, 2010, pp. 210-216
6. H. Kopetz, Real-Time Systems: Design principles for distributed embedded applications. Springer, 2011
7. P. Bishop and R. Bloomfield, "A methodology for safety case development, " in Industrial Perspectives of Safety-Critical Systems: Proceedings of the Sixth Safety-critical Systems Symposium, Conference Proceedings
8. IEC, "IEC 61508-1: Functional safety of electrical/electronic/programmable electronic safety-related systems-part 1: General requirements, " April 2010
9. IEC, "IEC 61508-2: Functional safety of electrical/electronic/programmable electronic safety-related systems-part 2: Requirements for electrical/electronic/programmable electronic safety-related systems, " April 2010
10. IEC, "IEC 61508-3: Functional safety of electrical/electronical/programmable electronic safety-related systems-part 3: Software requirements, " April 2010
11. Fent Innovative Software Solutions, "XtratuM Hypervisor for INTEL x86, " FentISS, Report, October 2013
12. ARINC, "Arinc specification 653, " October 16 2006
13. H. Kopetz, A. Ademaj, P. Grillinger, and K. Steinhammer, "The timetriggered ethernet (TTE) design, " IEEE, May 2005