Towards linux for the development of mixed-criticality embedded systems based on multi-core devices

Proceedings - 2019 15th European Dependable Computing Conference, EDCC 2019

Volumn , Issue , 2019, Pages 47-54

  Allende, Imanol ^a   Mc Guire, Nicholas ^b   Perez, Jon ^a   Monsalve, Lisandro Gabriel ^a   Uriarte, Nerea ^a   Obermaisser, Roman ^c  

^a IK4 IKERLAN   (Spain)

^b OpenTech EDV Research GmbH   (Austria)

^c UNIVERSITY OF SIEGEN   (Germany)

Author keywords

Complex systems; Diversity; Linux; Logical isolation; Safety

Indexed keywords

ACCIDENT PREVENTION; CRITICALITY (NUCLEAR FISSION); LARGE SCALE SYSTEMS; LINUX; OPEN SOURCE SOFTWARE; SAFETY ENGINEERING; SECURITY SYSTEMS;

AUTONOMOUS DRIVING; COMPLEX ALGORITHMS; DIVERSITY; HIGH PERFORMANCE SYSTEMS; LOGICAL ISOLATION; MIXED CRITICALITIES; MIXED-CRITICALITY SYSTEMS; SAFETY CRITICAL SYSTEMS;

EMBEDDED SYSTEMS;

EID: 85075630021     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/EDCC.2019.00020     Document Type: Conference Paper

References (23)

1. Berkeley Lab Checkpoint/Restart User's Guide -version 0.8.5, Jan 2013. [Online; accessed 5. Feb. 2019]
2. Coccinelle: A Program Matching and Transformation Tool for Systems Code, Jan 2019. [Online; accessed 31. Jan. 2019].
3. Real Time Linux, Feb 2019. [Online; accessed 13. Feb. 2019].
4. Irune Agirre, Mikel Azkarate-Askasua, Asier Larrucea, Jon Perez, Tullio Vardanega, and Francisco J Cazorla. A Safety Concept for a Railway Mixed-criticality Embedded System based on multicore partitioning. In IEEE International Conference on Dependable, Autonomic and Secure Computing (DASC), pages 1780-1787, 2015.
5. Irune Agirre Troncoso. Development and certification of mixedcriticality embedded systems based on probabilistic timing analysis. 2018.
6. Hamidreza Ahmadian, Roman Obermaisser, and Jon Perez. Distributed Real-Time Architecture for Mixed-Criticality Systems. Taylor & Francis Incorporated, 2018.
7. Lukas Bulwahn. Collaborate on Linux for Use in Safety-Critical Systems, Oct 2018.
8. Jonathan Corbet and Greg Kroah-Hartman. Linux Kernel Development Report, 2017.
9. IEC. IEC 61508 (1-7): Functional safety of Electrical/Electronic/Programmable Electronic safety-related systems (Second edition). International Electrotechnical Commission, 2010.
10. ISO. ISO 26262 (1-12): Road vehicles-Functional safety. International Standard ISO/FDiS, 2018.
11. Xavier Jean, Marc Gatti, Guy Berthon, and Marc Fumey. MULCORSUse of Multicore Processors in airborne systems. EASA, Tech. Rep., 2012.
12. Paul Kocher, Daniel Genkin, Daniel Gruss, Werner Haas, Mike Hamburg, Moritz Lipp, Stefan Mangard, Thomas Prescher, Michael Schwarz, and Yuval Yarom. Spectre attacks: Exploiting speculative execution. arXiv preprint arXiv:1801.01203, 2018.
13. Asier Larrucea, Jon Perez, and Roman Obermaisser. A modular safety case for an IEC 61508 compliant generic COTS processor. In Computer and Information Technology; Ubiquitous Computing and Communications; Dependable, Autonomic and Secure Computing; Pervasive Intelligence and Computing (CIT/IUCC/DASC/PICOM), IEEE International Conference on, pages 1788-1795, 2015.
14. Nicholas Mc Guire, Peter Okech, and Georg Schiesser. Analysis of inherent randomness of the Linux kernel. In Proc. 11th Real-Time Linux Workshop, 2009.
15. Nicholas Mc Guire and Andreas Platschek. Tailoring the Method Set in IEC 61508-3 Ed2. In 37th International Conference on Computer Safety, Reliability, & Security, 2018.
16. Peter Okech, Nicholas Mc Guire, and Christof Fetzer. Utilizing inherent diversity in complex software systems. In Proc. of The Australian System Safety Conference (ASSC2014). Australian Computer Society, Inc, 2014.
17. Open Source Automation Development Lab contributors. QA Farm Realtime: OSADL -Open Source Automation Development Lab eG, Feb 2019. [Online; accessed 13. Feb. 2019].
18. Open Source Automation Development Lab contributors. SIL2LinuxMP: OSADL -Open Source Automation Development Lab eG, Feb 2019. [Online; accessed 18. Feb. 2019].
19. Jon Perez, David Gonzalez, Carlos Fernando Nicolas, Ton Trapman, and Jose Miguel Garate. A safety certification strategy for IEC-61508 compliant industrial mixed-criticality systems based on multicore partitioning. In Digital System Design (DSD), 17th Euromicro Conference on, pages 394-400. IEEE, 2014.
20. Jon Perez, David Gonzalez, Salvador Trujillo, and Ton Trapman. A safety concept for an IEC-61508 compliant fail-safe wind power mixedcriticality system based on multicore and partitioning. In Ada-Europe International Conference on Reliable Software Technologies, pages 3-17. Springer, 2015.
21. Jon Perez, David Gonzalez, Salvador Trujillo, Ton Trapman, and Jose Miguel Garate. A safety concept for a wind power mixed-criticality embedded system based on multicore partitioning. In 11th International TUV Rheinland Symposium Functional Safety in Industrial Applications, 2014.
22. Andreas Platschek, Nicholas Mc Guire, and Lukas Bulwahn. Certifying Linux: Lessons Learned in Three Years of SIL2LinuxMP, 2018.
23. David Sehr, Robert Muth, Cliff Biffle, Victor Khimenko, Egor Pasko, Karl Schimpf, Bennet Yee, and Brad Chen. Adapting Software Fault Isolation to Contemporary CPU Architectures. In USENIX Security Symposium, pages 1-12, 2010.