A Safety Certification Strategy for IEC-61508 Compliant Industrial Mixed-Criticality Systems Based on Multicore Partitioning

The development of mixed-criticality systems that integrate applications of different criticality levels (safety, security, real-time and non real-time) can provide multiple benefits such as product cost-size-weight reduction, reliability increase and scalability. However, the integration of applications with different criticality levels leads to several challenges with respect to safety certification standards. This paper defines a safety certification strategy for IEC-61508 compliant industrial mixed-criticality systems based on multicore partitioning. This approach is illustrated with a safety concept of a simplified IEC-61508 compliant wind-turbine mixed-criticality system, reviewed and approved by a certification authority.

[1]  J.W. McBride,et al.  The degradation of road tested automotive connectors , 1999, Electrical Contacts - 1999. Proceedings of the Forty-Fifth IEEE Holm Conference on Electrical Contacts (Cat. No.99CB36343).

[2]  R. Bell,et al.  IEC 61508: functional safety of electrical/electronic/ programme electronic safety-related systems: overview , 1999 .

[3]  Hermann Kopetz,et al.  On the Fault Hypothesis for a Safety-Critical Real-Time System , 2004, ASWSD.

[4]  Michael Bohn Migration of Automotive Real-Time Software to Multicore Systems: First Steps towards an Automated Solution , 2010 .

[5]  Francisco J. Cazorla,et al.  Towards improved survivability in safety-critical systems , 2011, 2011 IEEE 17th International On-Line Testing Symposium.

[6]  Rudolf Fuchsen How to address certification for multi-core based IMA platforms: Current status and potential solutions , 2010, 29th Digital Avionics Systems Conference.

[7]  Michael Paulitsch,et al.  Leveraging Multi-core Computing Architectures in Avionics , 2012, 2012 Ninth European Dependable Computing Conference.

[8]  Jon Perez,et al.  European Project Cluster on Mixed-Criticality Systems , 2014 .

[9]  Henrik Theiling,et al.  Multicore in Real-Time Systems – Temporal Isolation Challenges due to Shared Resources , 2013, DATE 2013.

[10]  P. Huyck ARINC 653 and multi-core microprocessors — Considerations and potential impacts , 2012, 2012 IEEE/AIAA 31st Digital Avionics Systems Conference (DASC).

[11]  Larry M. Kinnan,et al.  Use of multicore processors in avionics systems and its potential impact on implementation and certification , 2009, 2009 IEEE/AIAA 28th Digital Avionics Systems Conference.

[12]  Hermann Kopetz,et al.  The Complexity Challenge in Embedded System Design , 2008, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC).

[13]  Christian El Salloum,et al.  The ACROSS MPSoC -- A New Generation of Multi-core Processors Designed for Safety-Critical Embedded Systems , 2012, 2012 15th Euromicro Conference on Digital System Design.

[14]  Lui Sha,et al.  Optimized scheduling of multi-IMA partitions with exclusive region for synchronized real-time multi-core systems , 2013, 2013 Design, Automation & Test in Europe Conference & Exhibition (DATE).

[15]  Sanjoy K. Baruah,et al.  Mixed-Criticality Real-Time Scheduling for Multicore Systems , 2010, 2010 10th IEEE International Conference on Computer and Information Technology.

[16]  A Safety Concept for a Railway Mixed-Criticality Embedded System Based on Multicore Partitioning , 2015, 2015 IEEE International Conference on Computer and Information Technology; Ubiquitous Computing and Communications; Dependable, Autonomic and Secure Computing; Pervasive Intelligence and Computing.

[17]  Ismael Ripoll,et al.  Partitioned Embedded Architecture Based on Hypervisor: The XtratuM Approach , 2010, 2010 European Dependable Computing Conference.

[18]  H. Kopetz,et al.  Automotive Software Development for a Multi-Core System-on-a-Chip , 2007, Fourth International Workshop on Software Engineering for Automotive Systems (SEAS '07).

[19]  Alfons Crespo,et al.  MultiPARTES: Multicore Virtualization for Mixed-Criticality Systems , 2013, 2013 Euromicro Conference on Digital System Design.

[20]  M. Gatti,et al.  Ensuring robust partitioning in multicore platforms for IMA systems , 2012, 2012 IEEE/AIAA 31st Digital Avionics Systems Conference (DASC).