Highlighting the challenges of model-based engineering for spaceflight software systems

Spaceflight software continues to experience exponential growth as functionality migrates from hardware to software. The resulting complexity of these mission critical systems demands new approaches to software systems engineering in order to effectively manage the development efforts and ensure that reliability is not compromised. Model-based systems /software engineering (MBE) approaches present attractive solutions to address the size and complexity through abstraction and analytical models. However, there are many challenges that must be addressed before MBE approaches can be effectively adopted on a large scale across an entire system. In this position paper, we highlight some of the key challenges based on our experiences with flight software programs employing elements of MBE.

[1]  Lionel C. Briand,et al.  Experiences of applying UML/MARTE on three industrial projects , 2012, MODELS'12.

[2]  N. Kohtake,et al.  Model-based independent verification and validation for dependable flight software , 2009, 2009 IEEE Aerospace conference.

[3]  Daniel L. Dvorak,et al.  NASA Study on Flight Software Complexity , 2009 .

[4]  Jeff A. Estefan,et al.  of Model-Based Systems Engineering ( MBSE ) Methodologies , 2008 .

[5]  Vitruvius Pollio,et al.  Ten Books on Architecture , 2019 .

[6]  Jose Teixeira,et al.  From code centric to model centric software engineering: practical case study of MDD infusion in a systems integration company , 2006, Fourth Workshop on Model-Based Development of Computer-Based Systems and Third International Workshop on Model-Based Methodologies for Pervasive and Embedded Software (MBD-MOMPES'06).

[7]  冯振兴.  文献“Software Testing in Space Programs”点评 , 2008 .

[8]  Ronald Kirk Kandt.  Experiences in Improving Flight Software Development Processes , 2009, IEEE Software.

[9]  N. F. Noy,et al.  Ontology Development 101: A Guide to Creating Your First Ontology , 2001 .

[10]  Joel Henry,et al.  A model-based design and testing approach for Orion GN&C flight software development , 2010, 2010 IEEE Aerospace Conference.

[11]  Päivi Parviainen,et al.  Challenges in Deployment of Model Driven Development , 2009, 2009 Fourth International Conference on Software Engineering Advances.

[12]  Anneke Kleppe,et al.  MDA explained - the Model Driven Architecture: practice and promise , 2003, Addison Wesley object technology series.

[13]  Gabor Karsai,et al.  Model Based Analysis and Test Generation for Flight Software , 2009, 2009 Third IEEE International Conference on Space Mission Challenges for Information Technology.

[14]  W.A. Dos Santos,et al.  Exploring round-trip engineering capabilities for satellite flight software projects , 2005, 24th Digital Avionics Systems Conference.

[15]  De Laet,et al.  Morris Hicky Morgan, Vitruvius. The Ten Books on Architecture translated , 1960 .

[16]  Bran Selic,et al.  The Pragmatics of Model-Driven Development , 2003, IEEE Softw..

[17]  E. Benowitz,et al.  Auto-coding UML statecharts for flight software , 2006, 2nd IEEE International Conference on Space Mission Challenges for Information Technology (SMC-IT'06).

[18]  Steve Vestal,et al.  The SAE Architecture Analysis & Design Language (AADL) a standard for engineering performance critical systems , 2006, 2006 IEEE Conference on Computer Aided Control System Design, 2006 IEEE International Conference on Control Applications, 2006 IEEE International Symposium on Intelligent Control.

[19]  Mark Rouncefield,et al.  Model-driven engineering practices in industry , 2011, 2011 33rd International Conference on Software Engineering (ICSE).

[20]  Mark Rouncefield,et al.  Empirical assessment of MDE in industry , 2011, 2011 33rd International Conference on Software Engineering (ICSE).