A safety certification strategy for IEC-61508 compliant industrial mixed-criticality systems based on multicore partitioning

Proceedings - 2014 17th Euromicro Conference on Digital System Design, DSD 2014

Volumn , Issue , 2014, Pages 394-400

  Perez, Jon ^a   Gonzalez, David ^a   Nicolas, Carlos Fernando ^a   Trapman, Ton ^b   Garate, Jose Miguel ^b  

^a IK4 IKERLAN   (Spain)

^b ALSTOM   (France)

Author keywords

Mixed criticality; Multicore; Partition; Safety

Indexed keywords

CRITICALITY (NUCLEAR FISSION); PARTITIONS (BUILDING); REAL TIME SYSTEMS;

CERTIFICATION AUTHORITIES; MIXED CRITICALITIES; MIXED-CRITICALITY SYSTEMS; MULTI CORE; NON REAL TIME; SAFETY CERTIFICATION; SAFETY CONCEPTS; WEIGHT REDUCTION;

ACCIDENT PREVENTION;

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

References (37)

1. H. Kopetz, "The complexity challenge in embedded system design," in 11th IEEE International Symposium on Object Oriented Real-Time Distributed Computing (ISORC), 2008, pp. 3-12.
2. J. Swingler and J. W. McBride, "The degradation of road tested automotive connectors," in Forty-Fifth IEEE Holm Conference on Electrical Contacts, 1999, pp. 146-152.
3. S. Häb and G. Bouwer, "Statement on the MultiPARTES wind power case-study safety concept," Tü V Rheinland, Report, 2014.
4. J. Perez, D. Gonzalez, S. Trujillo, A. Trapman, and J. M. Garate, "A safety concept for a wind power mixed-critically embedded system based on multicore partitioning," in 11th International Symposium-Functional Safety in Industrial Applications (TüV Rheinland), 2014.
5. IEC, "IEC 61508-1: Functional safety of electrical/electronic/programmable electronic safety-related systems part 1: General requirements," 2010.
6. -, "IEC 61508-2: Functional safety of electrical/electronic/programmable electronic safety-related systems part 2: Requirements for electrical / electronic / programmable electronic safety-related systems," 2010.
7. -, "IEC 61508-3: Functional safety of electrical/electronic/programmable electronic safety-related systems part 3: Software requirements," 2010.
8. "Mixed criticality systems," European Comission, Tech. Rep., February 3 2012.
9. "MULCORS-use of multicore processors in airborne systems (research project EASA.2011/6)," EASA, Tech. Rep., 16th December 2012.
10. EASA, "Certification memorandum-software aspects of certification-EASA CM SWCEH 002," Tech. Rep., 9th March 2013.
11. -, "Development assurance of airborne electronic hardware," 2011.
12. S. Balacco and C. Rommel, "Next generation embedded hardware architectures: Driving onset of project delays, costs overruns and software development challenges," Klockwork, Inc., Tech. Rep., September 2010.
13. "2013-embedded market study," UBM Tech, Tech. Rep., 2013.
14. M. S. Mollison, J. P. Erickson, J. H. Anderson, S. K. Baruah, and J. A. Scoredos, "Mixed-criticality real-time scheduling for multicore systems," pp. 1864-1871, 2010.
15. R. Ernst, "Certification of trusted MPSoC platforms," in MPSoC Forum, 2010.
16. H. Kopetz, R. Obermaisser, C. El Salloum, and B. Huber, "Automotive software development for a multi-core system-on-a-chip," in Fourth International Workshop on Software Engineering for Automotive Systems (ICSE Workshops SEAS), 2007, pp. 2-9.
17. D. Gonzalez, J. M. Garate, A. Trapman, L. Monsalve, and S. Trujillo, "Mixed-criticality in wind power: The MultiPARTES approach," in ESReDA Conference 2012, 2012, p. 9.
18. X. Jean, M. Gatti, G. VBerthon, and M. Fumey, "The use of multicore processors in airborne systems," Thales Avionics, Tech. Rep., 2011.
19. S. Trujillo, R. Obermaisser, K. Gruettner, F. Cazorla, and J. Perez, "European project cluster on mixed-criticality systems," in Design, Automation and Test in Europe (DATE) Workshop 3PMCES, 2014.
20. J. Schneider, M. Bohn, and R. Rbger, "Migration of automotive realtime software to multicore systems: First steps towards an automated solution," in 22nd EUROMICRO Conference on Real-Time Systems, 2010.
21. R. Fuchsen, "How to address certification for multi-core based IMA platforms: Current status and potential solutions," in IEEE/AIAA 29th Digital Avionics Systems Conference (DASC), 2010.
22. C. E. 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), 2012 15th Euromicro Conference on, 2012, pp. 105-113.
23. J. Abella, F. J. Cazorla, E. Quinones, A. Grasset, S. Yehia, P. Bonnot, D. Gizopoulos, R. Mariani, and G. Bernat, "Towards improved survivability in safety-critical systems," in IEEE 17th International On-Line Testing Symposium (IOLTS), 2011, pp. 240-245.
24. O. Kotaba, J. Nowotsch, M. Paulitsch, S. M. Petters, and H. Theilingx, "Multicore in real-time systems temporal isolation challenges due to shared resources," in Workshop on Industry-Driven Approaches for Cost-effective Certification of Safety-Critical, Mixed-Criticality Systems (WICERT), 2013.
25. R. Nevalainen, O. Slotosch, D. Truscan, U. Kremer, and V. Wong, "Impact of multicore platforms in hardware and software certification," in Workshop on Industry-Driven Approaches for Cost-effective Certification of Safety-Critical, Mixed-Criticality Systems (WICERT), 2013.
26. "RTCA DO-297 integrated modular avionics (IMA) development guidance and certification considerations," 2005.
27. X. Jean, D. Faura, M. Gatti, L. Pautet, and T. Robert, "Ensuring robust partitioning in multicore platforms for ima systems," in IEEE/AIAA 31st Digital Avionics Systems Conference (DASC), 2012, pp. 7A41-7A49.
28. J.-E. Kim, M.-K. Yoon, S. Im, R. Bradford, and L. Sha, "Optimized scheduling of multi-IMA partitions with exclusive region for synchronized real-time multi-core systems," pp. 970-975, 2013.
29. L. M. Kinnan, "Use of multicore processors in avionics and its potential impact on implementation and certification," SAE Technical Papers, 2009.
30. P. Huyck, "ARINC 653 and multi-core microprocessors-considerations and potential impacts," in IEEE/AIAA 31st Digital Avionics Systems Conference (DASC), 2012, pp. 6B41-6B47.
31. J. Nowotsch and M. Paulitsch, "Leveraging multi-core computing architectures in avionics," in Dependable Computing Conference (EDCC), 2012 Ninth European, 2012, pp. 132-143.
32. S. Fisher, "Certifying applications in a multi-core environment: A new approach gains success," SYSGO AG, Tech. Rep., 2013.
33. H. Kopetz, On the Fault Hypothesis for a Safety-Critical Real-Time System, ser. Lecture Notes in Computer Science. Springer Berlin Heidelberg, 2006, vol. 4147, ch. 3, pp. 31-42.
34. A. Crespo, I. Ripoll, and M. Masmano, "Partitioned embedded architecture based on hypervisor: The XtratuM approach," in European Dependable Computing Conference (EDCC), 2010, pp. 67-72.
35. IEC, "ISO 13849-1: Safety of machinery-safety-related parts of control systems ," p. 58, 2002.
36. C. Helpa and H. Isakovic, "D3.5-assesment of the MultiPARTES platform," TU Wien, Tech. Rep., 2013.
37. S. Trujillo, A. Crespo, and A. Alonso, "Multipartes: Multicore virtualization for mixed-criticality systems," in Euromicro Conference on Digital System Design (DSD), 2013, Conference Proceedings, pp. 260-265.