This content is not included in
your SAE MOBILUS subscription, or you are not logged in.
A Service-Based Modelling Approach to Ease the Certification of Multi-Core COTS Processors
Technical Paper
2019-01-1851
ISSN: 0148-7191, e-ISSN: 2688-3627
Annotation ability available
Sector:
Event:
AeroTech Europe
Language:
English
Abstract
The Phylog project aims at offering a model-based software-aided certification framework for aeronautical systems based on multi/many-core architectures. Certifying such platforms will entail fulfilling the high level objectives of the MCP-CRI / CAST-32A position paper. Among those, two types of analysis are required: interference and safety analyses. Because of the large size of the platforms and their complexity, those analyses can lead to combinatorial explosion and to some misinterpretation. To tackle these issues, we explore a service-based modelling approach that leads to a simplification of the analyses and to the highlighting of salient properties, making the adaptation of the certification argumentation efficient.
Recommended Content
Technical Paper | Virtualization for ECU Platform Software Testing in Automotive Embedded |
Technical Paper | Safety Analysis and Design for ISO 26262 - Model Based and Tool Supported |
Technical Paper | Distributed Safety Architecture for OSEK Control Units |
Authors
Citation
Boniol, F., Bouchebaba, Y., Brunel, J., Delmas, K. et al., "A Service-Based Modelling Approach to Ease the Certification of Multi-Core COTS Processors," SAE Technical Paper 2019-01-1851, 2019, https://doi.org/10.4271/2019-01-1851.Also In
References
- Bieber , P. , Boniol , F. , Bouchebaba , Y. , Brunel , J. , Pagetti , C. , Poitou , O. , Polacsek , T. , Santinelli , L. , and Sensfelder , N. A Model-Based Certification Approach for Multi/Many-Core Embedded Systems 9th European Congress on Embedded Real Time Software and Systems (ERTS 2018) 2018
- Boniol , F. , Bouchebaba , Y. , Brunel , J. , Delmas , K. , Pagetti , C. , Polacsek , T. , and Sensfelder , N. PHYLOG: A Model-Based Certification Framework 37th AIAA/IEEE Digital Avionics Systems Conference (DASC 2018) 2018
- Bieber , P. , Boniol , F. , Durrieu , G. , Poitou , O. , Polacsek , T. , Wiels , V. , and Martinez , G. MIMOSA: Towards a Model Driven Certification Process Proc. 8th Int. Congress on Embedded Real Time Software and Systems (ERTS’16) 2016
- Boniol , F. , Cassé , H. , Noulard , E. , and Pagetti , C. Deterministic Execution Model on Cots Hardware Proceedings of the 25th International Conference on Architecture of Computing Systems (ARCS’12) 98 110 2012
- Boniol , F. , Pagetti , C. , and Sensfelder , N. Identification of Multi-Core Interference Proceedings of the 19th IEEE High Assurance Systems Engineering Symposium (HASE’19) 2019
- Brindejonc , V. and Roger , A. Avoidance of Dysfunctional Behaviour of Complex Cots Used in an Aeronautical Context 19eme Congrès de Maîtrise des Risques et Sûreté de Fonctionnement 2014
- Bozzano , M. , Villafiorita , A. , Åkerlund , O. , Bieber , P. , Bougnol , C. , Böde , E. , Bretschneider , M. , Cavallo , A. , Castel , C. , Cifaldi , M. et al. Esacs: An Integrated Methodology for Design and Safety Analysis of Complex Systems Proc. ESREL 2003 237 245
- Certification Authorities Software Team November 2016
- Kalray Corporation The MPPA Hardware Architecture 2012
- Duffau , C. , Polacsek , T. , and Blay-Fornarino , M. Support of Justification Elicitation: Two Industrial Reports Advanced Information Systems Engineering - 30th International Conference, CAiSE 2018 Tallinn, Estonia 2018
- Delmas , K. , Pagetti , C. , and Cuenot , P. 2019
- EASA (European Aviation Safety Agency 2016
- EASA 2017
- Fiadeiro , J.L. and Lopes , A. An Interface Theory for Service-Oriented Design Theoretical Computer Science 503 1 30 2013
- Gamma , E. , Helm , R. , Johnson , R. , and Vlissides , J. Design Patterns: Elements of Reusable Object-Oriented Software Boston, MA Addison-Wesley Longman Publishing Co., Inc 1995
- Girbal , S. , Jean , X. , le Rhun , J. , Pérez , D.G. , and Gatti , M. Deterministic Platform Software for Hard Real-Time Systems Using Multi-Core COTS 34th Digital Avionics Systems Conference (DASC’15) 2015
- Girbal , S. , le Rhun , J. , and Saoud , H. METrICS: A Measurement Environment for Multi-Core Time Critical Systems 9th European Congress on Embedded Real Time Software and Systems (ERTS’18) 2018
- Michael Holloway , C. Explicate’78: Uncovering the Implicit Assurance Case in Do-178c 23rd Safety-Critical Systems Club (SCSC) Annual Symposium February 2015
- Jean , X. , Mutuel , L. , and Brindejonc , V. Assurance Methods for Cots Multi-Cores in Avionics 35th Digital Avionics Systems Conference (DASC’16) 2016
- Mutuel , L. , Jean , X. , and Brindejonc , V. Investigation of Error Types Associated with Failures in Multicore Processors 20eme Congrès de Maîtrise des Risques et Sûreté de Fonctionnement 2016
- Mutuel , L. , Jean , X. , Brindejonc , V. , Roger , A. , Megel , T. , and Alepins , E. 2017
- Masmano , M. , Ripoll , I. , Crespo , A. , Metge , J.-J. , and Arberet , P. Xtratum: An Open Source Hypervisor for TSP Embedded Systems in Aerospace DASIA 2009, DAta Systems in Aerospace Istanbul May 2009
- Pellizzoni , R. , Betti , E. , Bak , S. , Yao , G. , Criswell , J. , Caccamo , M. , and Kegley , R. A Predictable Execution Model for Cots-Based Embedded Systems 17th IEEE Real-Time and Embedded Technology and Applications Symposium RTAS 2011 2011 269 279
- Polacsek , T. Validation, Accreditation or Certification: A New Kind of Diagram to Provide Confidence IEEE Tenth International Conference on Research Challenges in Information Science (RCIS’16) 2016
- Prosvirnova , T. 2014
- RTCA, Inc. 2011
- Rushby , J. , Xu , X. , Rangarajan , M. , and Weaver , T.L. 2015
- Texas Instruments 2013
- Texas Instruments 2013
- Taylor , R.N. , Medvidovic , N. , and Dashofy , E. Software Architecture: Foundations, Theory, and Practice Wiley Publishing 2009
- Villemeur , A. Reliability, Availability, Maintainability and Safety Assessment John Wiley & Sons 1992
- Wenzel , I. , Kirner , R. , Rieder , B. , and Puschner , P. Measurement-Based Worst-Case Execution Time Analysis 3th Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS’05) 2005