Model-Based Software Engineering and Certification: Some Open Issues

Model-based software engineering methodologies, languages, standards, technologies, and tools are in place since many years. While they proved to be effective in several application sectors, e.g. for embedded systems, empirical studies show that their use in industries pursues a variety of goals and that often they are only partially applied, so it is still not clear to what extent they are actually adopted in the engineering practice and whether they achieve the claimed advantages. Notwithstanding this, model-based techniques are being increasingly advocated for use in critical systems engineering. As critical systems have to undergo certification, the question raised to what extent model-based engineering supports certification. While this is not a new issue, the literature is still at the beginning. We examine key aspects in this respect, and identify some open issues.

[1]  Hoyt Lougee,et al.  SOFTWARE CONSIDERATIONS IN AIRBORNE SYSTEMS AND EQUIPMENT CERTIFICATION , 2001 .

[2]  Stefania Gnesi,et al.  Lessons Learnt from the Adoption of Formal Model-Based Development , 2012, NASA Formal Methods.

[3]  Mats Per Erik Heimdahl,et al.  Safety and Software Intensive Systems: Challenges Old and New , 2007, Future of Software Engineering (FOSE '07).

[4]  Parastoo Mohagheghi,et al.  Where Is the Proof? - A Review of Experiences from Applying MDE in Industry , 2008, ECMDA-FA.

[5]  Jörgen Hansson,et al.  Model-based engineering in the embedded systems domain: an industrial survey on the state-of-practice , 2018, Software & Systems Modeling.

[6]  Mehrdad Sabetzadeh,et al.  Supporting the verification of compliance to safety standards via model-driven engineering: Approach, tool-support and empirical validation , 2013, Inf. Softw. Technol..

[7]  Mark Rouncefield,et al.  The State of Practice in Model-Driven Engineering , 2014, IEEE Software.

[8]  Tian Jia.  Systems Modeling Language (SysML) and Its Application in the DoDAF Products Description , 2008 .

[9]  Julie S. Fant,et al.  On the Needs and Challenges of Model-Based Engineering for Spaceflight Software Systems , 2014, 2014 IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing.

[10]  Stefano Russo,et al.  Engineering Air Traffic Control Systems with a Model-Driven Approach , 2013, IEEE Software.

[11]  Hardi Hungar,et al.  8 UML for Software Safety and Certification , 2007 .

[12]  Gregory Zoughbi,et al.  Modeling safety and airworthiness (RTCA DO-178B) information: conceptual model and UML profile , 2011, Software & Systems Modeling.

[13]  Darren D. Cofer,et al.  Software model checking takes off , 2010, Commun. ACM.

[14]  Stefano Russo,et al.  INTEGRATING FMEA IN A MODEL-DRIVEN METHODOLOGY , 2016 .

[15]  Benoît Combemale,et al.  The Relevance of Model-Driven Engineering Thirty Years from Now , 2014, MoDELS.

[16]  Douglas C. Schmidt,et al.  Guest Editor's Introduction: Model-Driven Engineering , 2006, Computer.

[17]  Sven Apel,et al.  Generating Qualifiable Avionics Software: An Experience Report (E) , 2015, 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE).

[18]  Stefano Marrone,et al.  Towards Model-Driven V&V assessment of railway control systems , 2014, International Journal on Software Tools for Technology Transfer.

[19]  Frederick P. Brooks,et al.  No Silver Bullet: Essence and Accidents of Software Engineering , 1987 .

[20]  Alessio Ferrari,et al.  An industrial application of formal model based development: the Metrô Rio ATP case , 2010, SERENE.

[21]  Hardi Hungar,et al.  UML for Software Safety and Certification - Model-Based Development of Safety-Critical Software-Intensive Systems , 2007, Model-Based Engineering of Embedded Real-Time Systems.

[22]  Mehrdad Sabetzadeh,et al.  An extended systematic literature review on provision of evidence for safety certification , 2014, Inf. Softw. Technol..

[23]  Stephen A. Jacklin.  Certification of Safety-Critical Software Under DO-178C and DO-278A , 2012, Infotech@Aerospace.

[24]  Stefano Russo,et al.  Model-driven engineering of a railway interlocking system , 2015, 2015 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD).

[25]  Luiz Alberto Vieira Dias,et al.  A Set of Rules for Production of Design Models Compliant with Standards DO-178C and DO-331 , 2014, 2014 11th International Conference on Information Technology: New Generations.

[26]  Stefano Russo,et al.  Finding a way in the Model Driven jungle: Invited Keynote Talk , 2016, ISEC.

[27]  J. Aagedal,et al.  UML Pro?le for Modeling Quality of Service and Fault Tolerance Characteristics and Mechanisms , 2004 .