Pragmatic verification and validation of industrial executable SysML models

[1]  Márton Elekes,et al.  Assessing the specification of modelling language semantics: a study on UML PSSM , 2023, Software Quality Journal.

[2]  É. André,et al.  Formalizing UML State Machines for Automated Verification – A Survey , 2023, ACM Computing Surveys.

[3]  Joshua Logan Grumbach,et al.  Systems integration implications of component reuse , 2022, Syst. Eng..

[4]  M. Snoeck,et al.  Practitioners’ experiences with model-driven engineering: a meta-review , 2022, Software and Systems Modeling.

[5]  S. Asundi,et al.  Model‐based systems engineering for a small‐lift launch facility , 2022, Syst. Eng..

[6]  Thomas H. Bradley,et al.  Comparative analysis of model‐based and traditional systems engineering approaches for simulating a robotic space system architecture through automatic knowledge processing , 2022, Syst. Eng..

[7]  Stefano Tonetta,et al.  Model-based analysis support for dependable complex systems in CHESS , 2020, MODELSWARD.

[8]  István Ráth,et al.  Model checking as a service: towards pragmatic hidden formal methods , 2020, MoDELS.

[9]  A. Bucchiarone,et al.  Grand challenges in model-driven engineering: an analysis of the state of the research , 2020, Software and Systems Modeling.

[10]  M. Wimmer,et al.  Thirteen years of SysML: a systematic mapping study , 2019, Software and Systems Modeling.

[11]  Ivan Stenius,et al.  State‐of‐practice survey of model‐based systems engineering , 2018, Syst. Eng..

[12]  Bran Selic,et al.  Execution of UML models: a systematic review of research and practice , 2018, Software & Systems Modeling.

[13]  Mario Gleirscher,et al.  Formal Methods: Oversold? Underused? A Survey , 2018, ArXiv.

[14]  Vahid Garousi,et al.  A survey on modeling and model-driven engineering practices in the embedded software industry , 2018, J. Syst. Archit..

[15]  Ákos Horváth,et al.  Incquery server for teamwork cloud: scalable query evaluation over collaborative model repositories , 2018, MoDELS.

[16]  Dániel Varró,et al.  The Gamma Statechart Composition Framework: Design, Verification and Code Generation for Component-Based Reactive Systems , 2018, 2018 IEEE/ACM 40th International Conference on Software Engineering: Companion (ICSE-Companion).

[17]  Azad M. Madni,et al.  Model‐based systems engineering: Motivation, current status, and research opportunities , 2018, Syst. Eng..

[18]  Sanford Friedenthal,et al.  REQUIREMENTS FOR THE NEXT GENERATION SYSTEMS MODELING LANGUAGE (SysML® v2) , 2018 .

[19]  Amir Rahmani,et al.  Mission modeling, planning, and execution module for teams of unmanned vehicles , 2017, Defense + Security.

[20]  Gábor Bergmann,et al.  Road to a reactive and incremental model transformation platform: three generations of the VIATRA framework , 2016, Software & Systems Modeling.

[21]  Mark Rouncefield,et al.  Model-driven engineering practices in industry: Social, organizational and managerial factors that lead to success or failure , 2014, Sci. Comput. Program..

[22]  Luigi Andolfato,et al.  Formal validation of fault management design solutions , 2014, SOEN.

[23]  Gerard J. Holzmann,et al.  Mars code , 2014, CACM.

[24]  Luigi Andolfato,et al.  Abstractions for Executable and Checkable Fault Management Models , 2014, CSER.

[25]  Matthew B. Dwyer,et al.  The hidden models of model checking , 2012, Software & Systems Modeling.

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

[27]  J. Fitzgerald,et al.  Formal methods: Practice and experience , 2009, CSUR.

[28]  Rik Eshuis,et al.  Reconciling statechart semantics , 2009, Sci. Comput. Program..

[29]  Sol M. Shatz,et al.  Explicit modeling of semantics associated with composite states in UML statecharts , 2006, Automated Software Engineering.

[30]  Michelle L. Crane,et al.  UML vs. classical vs. rhapsody statecharts: not all models are created equal , 2005, MoDELS'05.

[31]  Klaus Havelund,et al.  Model checking JAVA programs using JAVA PathFinder , 2000, International Journal on Software Tools for Technology Transfer.

[32]  Diego Latella,et al.  Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-checker , 1999, Formal Aspects of Computing.