A modular safety case for an IEC-61508 compliant generic COTS multicore processor

Proceedings - 15th IEEE International Conference on Computer and Information Technology, CIT 2015, 14th IEEE International Conference on Ubiquitous Computing and Communications, IUCC 2015, 13th IEEE International Conference on Dependable, Autonomic and Secure Computing, DASC 2015 and 13th IEEE International Conference on Pervasive Intelligence and Computing, PICom 2015

Volumn , Issue , 2015, Pages 1788-1795

  Larrucea, Asier ^a   Perez, Jon ^a   Obermaisser, Roman ^b  

^a IK4 IKERLAN   (Spain)

^b UNIVERSITY OF SIEGEN   (Germany)

Author keywords

COTS processor; IEC 61508; Mixed criticality; Modular certification; Multicore; Safety case

Indexed keywords

COMPUTER SOFTWARE REUSABILITY; CRITICALITY (NUCLEAR FISSION); REUSABILITY; SAFETY ENGINEERING; SAFETY FACTOR;

COTS PROCESSOR; IEC-61508; MIXED CRITICALITIES; MODULAR CERTIFICATION; MULTI CORE; SAFETY CASE;

UBIQUITOUS COMPUTING;

EID: 84964294661     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CIT/IUCC/DASC/PICOM.2015.269     Document Type: Conference Paper

References (38)

1. R. Hammett, "Flight-Critical Distributed Systems - Design Considerations [avionics]", Aerospace and Electronic System Magazine, IEEE, vol. 18, no. 6, pp. 30-36, 2003.
2. 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 11th International TÜV Rheinland Symposium "Functional Safety in Industrial Applications", 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. C. El Salloum, M. Elshuber, O. Hoftberger, H. Isakovic, and A. Wasicek, "The ACROSS MPSoC: A New Generation of Multi-Core Processors designed for Safety-Critical Embedded Systems", in Digital System Design (DSD), 15th Euromicro Conference on, Izmir, 2012, pp. 105-113.
7. F. Semiconductor, "P4080 Development System User's Guide", Freescale Semiconductor, Report, August 2010.
8. XILINX, "ZYNQ-7000 All Programmable SoC: Technical Reference Manual", XILINX, Report, September 2014.
9. T. Instruments, "Safety Manual for TMS570LS31x and TMS570LS21x Hercules ARM Safety Critical Microcontrollers - User Guide", Texas Instruments, Report, April 2013.
10. Freescale, "Safety Manual for Qorivva MPC5643L", Freescale, Report, April 2013.
11. IEC, "IEC 61508-1: Functional safety of electrical/electronic/programmable electronic safety-related systems: General requirements", April 2010.
12. H. Kopetz, Real-Time Systems: Design principles for distributed embedded applications. Springer, 2011.
13. 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.
14. H. Kopetz, "The complexity challenge in embedded system design", pp. 3-12, May 2008.
15. S. E. Toulmin, The Use of Argument. Cambridge University Press, 1958, no. 241, first publised.
16. Adelard, "Adelard safety case development manual (ASCAD)", Generic, 1998.
17. R. Bloomfield, "Claims. arguments and evidence (CAE)", 1998. [Online]. Available: http://www.adelard.com
18. R. Bloomfield and P. Bishop, "Safety and assurance cases: Past, present and possible future: an perspective", in Safety-Critical Systems Symposium, Proceedings of. Springer, Conference Proceedings, pp. 51-67.
19. L. Emmet and G. Cleland, "Graphical notation, narratives and persuasion: a pliant systems approach to hypertext tool design", in ACM Hypertext (HT), Proceedings of, College Park, Maryland, USA, June 2002, p. 10.
20. T. Kelly, "Modular certification: Acknowledgements to the industrial avionic working group (IAWG)", 2007.
21. T. Kelly and R. Weaver, "The goal structuring notation: A safety argument notation", in Assurance Cases, Proc. of Dependable Systems and Networks, Workshop on, 2004, Conference Proceedings.
22. R. Obermaisser and H. Kopetz, GENESYS: A candidate for an ARTEMIS Cross-Domain reference architecture for embedded systems. Sdwestdeutscher Verlag fr Hochschulschriften (SVH) Aktiengesellschaft & Co. KG, 2009, no. 202, FP7 ARTEMIS.
23. E. Schoitsch, E. Althammer, G. Sonneck, H. Eriksson, and J. Vinter, "Support for modular certification of safety-critical embedded systems in decos - the generic safety case", Industrial Informatics (IDIN), IEEE International Conference on, pp. 258-263, July 2008.
24. pSafeCer, "Safety certification of software-intensive systems with reusable components", 2014. [Online]. Available: http://safecer.eu/
25. RECOMP, "Reduced certification costs using trusted multi-core platforms", web, 2013. [Online]. Available: http://atcproyectos.ugr.es
26. EASA, "MULCORS - Use of MULticore proCessORs in airbone Systems", p. 164, December 2012. [Online]. Available: http://easa. europa.eu
27. IEC, "IEC 61508-2: Functional safety of electrical/electronic/programmable electronic safety-related systems: Requirements for electrical/electronic/programmable electronic safety-related systems", April 2010.
28. FP7 - DREAMS, "Distributed Real-Time Architecture for Mixed-Criticality Systems: Modular Safety Case for Hypervisor", January 2015.
29. IEC, "IEC 61508-3: Functional safety of electrical/electronical/programmable electronic safety-related systems: Software requirements", April 2010.
30. -, "IEC 61508-4: Functional safety of electrical/electronic/programmable electronic safety-related systems: Definitions and abbreviations", April 2010.
31. E. Hallett, "Developing Secure and Reliable Single Device Design with Xilinx 7 Series FPGAs or Zynq-7000 AP SoCs Using the Isolation Design Flow", Report, April 2014.
32. XILINX, "ZYNQ-7000 All Programmable SoC (Z-7010, Z-7015, and Z-7020): DC and AC Switching Characteristics", p. 71, February 2015.
33. -, "ZYNQ-7000 All Programmable SoC Software Developers Guide", XILINX, Software Developers Guide, June 13 2014.
34. XILINX, "Secure Boot in the ZYNQ-7000 All Programmable SoC", p. 10, April 2013.
35. ARM, "ARM Generic Interrupt Controller (GIC): Architecture Specification v1.0", Report, September 2008.
36. Y. Gosain and P. Palanichamy, "TrustZone Technology Support in Zynq-7000 All Programmable SoCs", Xilinx, Report, May 2014.
37. ARM, "TrustZone." [Online]. Available: http://www.arm.com/products/processors/technologies/trustzone/index.php
38. XILINX, "Xilinx All Programmable Functional Safety Design Flow Solution", XILINX, Report, July 2014.