Model‐based systems engineering: Motivation, current status, and research opportunities

[1]  Robert H. Kewley,et al.  Federated simulations for systems of systems integration , 2008, 2008 Winter Simulation Conference.

[2]  Jano Moreira de Souza,et al.  Data Warehouse Scripts Generation Through MDA Cartridge , 2012 .

[3]  Brian London,et al.  A model-based systems engineering framework for concept development , 2012 .

[4]  G. H. Fisher.  Model-based systems engineering of automotive systems , 1998, 17th DASC. AIAA/IEEE/SAE. Digital Avionics Systems Conference. Proceedings (Cat. No.98CH36267).

[5]  Shoumen Datta,et al.  Emergence of Digital Twins - Is this the march of reason? , 2017 .

[6]  John H. Miller,et al.  Active Nonlinear Tests (Ants) of Complex Simulation Models , 1998 .

[7]  Azad M. Madni.  Expanding Stakeholder Participation in Upfront System Engineering through Storytelling in Virtual Worlds , 2015, Syst. Eng..

[8]  Conrad E. Bock.  SysML and UML 2 support for activity modeling , 2006 .

[9]  Brian J. Sauser,et al.  Transitioning Systems Thinking to Model-Based Systems Engineering: Systemigrams to SysML Models , 2015, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[10]  Peter O. Denno,et al.  Using Semantic Web Technologies for Integrating Domain Specific Modeling and Analytical Tools , 2015, Complex Adaptive Systems.

[11]  Christiaan J. J. Paredis,et al.  Integrating Models and Simulations of Continuous Dynamics Into SysML , 2012, J. Comput. Inf. Sci. Eng..

[12]  Shahram Sarkani,et al.  Using model‐based systems engineering as a framework for improving test and evaluation activities , 2013, Syst. Eng..

[13]  Jaume Barceló,et al.  Model-Based Systems Engineering: An Emerging Approach for Modern Systems , 2012, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[14]  Sanford Friedenthal,et al.  Chapter 4 Applying SysML and a Model-Based Systems Engineering Approach to a Small Satellite Design , 2016 .

[15]  Jason E Bartolomei.  Qualitative knowledge construction for engineering systems : extending the design structure matrix methodology in scope and procedure , 2007 .

[16]  Yoram Reich,et al.  Managing the Dynamics of New Product Development Processes: A New Product Lifecycle Management Paradigm , 2011 .

[17]  Leon F. McGinnis,et al.  Visual Analytics for Early-Phase Complex Engineered System Design Support , 2015, IEEE Computer Graphics and Applications.

[18]  Raymond W. Jorgensen.  Defining Operational Concepts using SysML: System Definition from the Human Perspective , 2011 .

[19]  Nicolas Rouquette,et al.  Semantically-Rigorous Systems Engineering Modeling Using Sysml and OWL , 2012 .

[20]  Michel D. Ingham,et al.  Engineering Complex Embedded Systems with State Analysis and the Mission Data System , 2004, J. Aerosp. Comput. Inf. Commun..

[21]  Nadia A Tepper.  Exploring the use of Model-Based Systems Engineering (MBSE) to develop systems architectures in naval ship design , 2010 .

[22]  Azad M. Madni,et al.  Towards affordably adaptable and effective systems , 2013, Syst. Eng..

[23]  Robert Malone,et al.  Systems Engineering a Model Based Systems Engineering Tool Suite: The Boeing Approach , 2016 .

[24]  Andy Evans,et al.  Engineering Modelling Languages: A Precise Meta-Modelling Approach , 2002, FASE.

[25]  Christiaan J. J. Paredis,et al.  Dependency Modeling and Model Management in Mechatronic Design , 2012, J. Comput. Inf. Sci. Eng..

[26]  Azad M. Madni,et al.  Human System Integration Ontology: Enhancing Model Based Systems Engineering to Evaluate Human-system Performance , 2014, CSER.

[27]  Rajeev Alur,et al.  Model-checking for real-time systems , 1990, [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science.

[28]  Irem Y. Tumer,et al.  Model-Based Systems Engineering for the Design and Development of Complex Aerospace Systems , 2011 .

[29]  Natarajan Shankar,et al.  Subtypes for Specifications: Predicate Subtyping in PVS , 1998, IEEE Trans. Software Eng..

[30]  Christiaan J. J. Paredis,et al.  Translation of UML state machines to Modelica: Handling semantic issues , 2013, Simul..

[31]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[32]  Tyson R. Browning,et al.  Applying the design structure matrix to system decomposition and integration problems: a review and new directions , 2001, IEEE Trans. Engineering Management.

[33]  Sonia Bergamaschi,et al.  On taxonomic reasoning in conceptual design , 1992, TODS.

[34]  D. V. Steward,et al.  The design structure system: A method for managing the design of complex systems , 1981, IEEE Transactions on Engineering Management.

[35]  Kendall G. Young.  Defense Space Application of MBSE - Closing the Culture Chasms , 2015 .

[36]  Robert Cloutier,et al.  Applying the concept of patterns to systems architecture , 2007 .

[37]  M. M. Moshir,et al.  Model Based Systems Engineering on the Europa mission concept study , 2012 .

[38]  Sanjit A. Seshia.  Sciduction: Combining induction, deduction, and structure for verification and synthesis , 2012, DAC Design Automation Conference 2012.

[39]  Azad M. Madni,et al.  ProcessWeb/sup TM/: Web-enabled process support for planning the formation of a virtual enterprise , 1998, SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.98CH36218).

[40]  Bhuvan Unhelkar.  Verification and Validation for Quality of UML 2.0 Models , 2005 .

[41]  Mallory Lefland,et al.  Inheriting Curiosity: Leveraging MBSE to Build Mars2020 , 2015 .

[42]  David Jankowski,et al.  Computer-Aided Systems Engineering Methodology Support and Its Effect on the Output of Structured Analysis , 2004, Empirical Software Engineering.

[43]  L. C. van Ruijven.  Ontology for Systems Engineering as a base for MBSE , 2015 .

[44]  Jeffrey V. Zweber,et al.  Digital Thread and Twin for Systems Engineering: Requirements to Design , 2017 .

[45]  Azad M. Madni,et al.  IDEONTM: An extensible ontology for designing, integrating, and managing collaborative distributed enterprises , 2001 .