Extended variability modeling using system entity structure ontology within MATLAB/Simulink

Software product-lines are designed to tackle the development of systems that are characterized by a high degree of variability. They define variation points where different solutions can be derived for different products. Such variability mechanisms can be defined at different levels of abstraction, ranging from requirements specification to source code implementation. Several efforts have been made regarding variability modeling on the system model level, which have been mostly inspired by approaches that have been developed by the software engineering community. Regarding the rising synergy between the systems engineering and modeling and simulation, this paper presents an approach for variability modeling based on the System Entity Structure (SES) ontology. Several system configurations are specified using an SES or a set of SES's on a metamodel level, while configurable models are implemented as basic models; these are organized in a Model Base (MB). Pruning is then utilized to specify a particular system variant. We propose some general extensions of the baseline SES approach with a focus on a new concept called SESFunctions. The extensions have been implemented within an SES toolbox for the MATLAB/Simulink environment. The proposed approach is exemplified using an engineering example in order to present its applicability.

[1]  Bernhard Rumpe,et al.  First-class variability modeling in Matlab/Simulink , 2013, VaMoS.

[2]  Bernard P. Zeigler,et al.  Representing and constructing system specifications using the system entity structure concepts , 1993, WSC '93.

[3]  Thorsten Pawletta,et al.  Ontology-Assisted System Modeling and Simulation within MATLAB/Simulink , 2014, Simul. Notes Eur..

[4]  Kai Koskimies,et al.  A Model-Driven Approach to Variability Management in Product-Line Engineering , 2006, Nord. J. Comput..

[5]  Fernando J. Barros,et al.  The dynamic structure discrete event system specification formalism , 1996 .

[6]  Stefan Kowalewski,et al.  Managing complexity and variability of a model-based embedded software product line , 2011, Innovations in Systems and Software Engineering.

[7]  Bernard P. Zeigler,et al.  Modeling & Simulation-Based Data Engineering: Introducing Pragmatics into Ontologies for Net-Centric Information Exchange , 2007 .

[8]  Thorsten Pawletta,et al.  A DEVS-Based Approach for Modeling and Simulation of Hybrid Variable Structure Systems , 2002 .

[9]  Justyna Zander-Nowicka,et al.  Model-based Testing of Real-Time Embedded Systems in the Automotive Domain , 2009 .

[10]  Bernard P. Zeigler,et al.  Guide to Modeling and Simulation of Systems of Systems , 2012, SpringerBriefs in Computer Science.

[11]  Kyo Chul Kang,et al.  Feature-Oriented Domain Analysis (FODA) Feasibility Study , 1990 .

[12]  Laurent Capocchi,et al.  SES extension to integrate abstraction hierarchy into DEVS modeling and simulation , 2015, SpringSim.

[13]  Danilo Beuche.  Modeling and building software product lines with pure::variants , 2011, SPLC '11.

[14]  Florian Wartenberg,et al.  Model-Based Test Design of Product Lines: Raising Test Design to the Product Line Level , 2014, 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation.

[15]  Bernard P. Zeigler,et al.  Theory of modeling and simulation , 1976 .

[16]  Mamadou Kaba Traoré,et al.  Capturing the dual relationship between simulation models and their context , 2006, Simul. Model. Pract. Theory.

[17]  Thorsten Pawletta,et al.  Model-Based Testing for Objective Fidelity Evaluation of Engineering and Research Flight Simulators , 2015 .

[18]  Thorsten Pawletta,et al.  Flexible Task Oriented Robot Controls Using the System Entity Structure and Model Base Approach , 2012, Simul. Notes Eur..

[19]  Thorsten Pawletta,et al.  Model-based testing approach for MATLAB/simulink using system entity structure and experimental frames , 2015, SpringSim.

[20]  Matthias Zimmer,et al.  OverNight Testing - The Fully Automated Simulation Environment for Evaluation of Car Concepts ONT , 2014, Simul. Notes Eur..

[21]  Georg Rock,et al.  A Custom Approach for Variability Management in Automotive Applications , 2010, VaMoS.

[22]  Brian Henderson-Sellers,et al.  On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languages , 2012, SpringerBriefs in Computer Science.

[23]  Bernard P. Zeigler,et al.  Creating suites of models with system entity structure: global warming example , 2013, SpringSim.