Model-Based System Verification: A Formal Framework for Relating Analyses, Requirements, and Tests

As modern systems become increasingly complex, there is a growing need to support the systems engineering process with a variety of formal models, such that the team of experts involved in the process can express and share knowledge precisely, succinctly and unambiguously. However, creating such formal models can be expensive and timeconsuming, making a broad exploration of different system architectures cost-prohibitive. In this paper, we investigate an approach for reducing such costs and hence enabling broader architecture space exploration-through the use of model transformations. Specifically, a method is presented for verifying design alternatives with respect to design requirements through automated generation of analyses from formal models of the systems engineering problem. Formal models are used to express the structure of design alternatives, the system requirements, and experiments to verify the requirements as well as the relationships between the models. These formal models are all represented in a common modeling language, the Object Management Group's Systems Modeling Language (OMG SysML™). To then translate descriptive models of system alternatives into a set of corresponding analysis models, a model transformation approach is used to combine knowledge from the experiment models with knowledge from reusable model libraries. This set of analysis models is subsequently transformed into executable simulations, which are used to guide the search for suitable system alternatives. To facilitate performing this search using commercially available optimization tools, the analyses are represented using the General Algebraic Modeling System (GAMS). The approach is demonstrated on the design of a hydraulic subsystem for a log splitter.

[1]  Knowledge Composition for Efficient Analysis Problem Formulation: Part 2 — Approach and Analysis Meta-Model , 2007 .

[2]  C.J.H. Mann,et al.  A Practical Guide to SysML: The Systems Modeling Language , 2009 .

[3]  Heather Fry,et al.  A user’s guide , 2003 .

[4]  Christiaan J. J. Paredis,et al.  Composable Models for Simulation-Based Design , 2001, Engineering with Computers.

[5]  Carlos José Pereira de Lucena,et al.  A Metamodel for Aspect-Oriented Modeling , 2002 .

[6]  Kristina Shea,et al.  A computational design method for MEMS using COMSOL , 2007 .

[7]  Aditya Arunkumar Shah,et al.  Combining mathematical programming and SysML for component sizing as applied to hydraulic systems , 2010 .

[8]  Gregor Kiczales,et al.  Aspect-oriented programming , 2001, ESEC/FSE-9.

[9]  M. F.,et al.  Bibliography , 1985, Experimental Gerontology.

[10]  Nikolaos V. Sahinidis,et al.  BARON: A general purpose global optimization software package , 1996, J. Glob. Optim..

[11]  Jonathan Michael Jobe Multi-aspect component models: enabling the reuse of engineering analysis models in SysML , 2008 .

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

[13]  Arend Rensink Model Driven Architecture - Foundations and Applications, 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings , 2009, ECMDA-FA.

[14]  Christiaan J. J. Paredis,et al.  Using Domain Specific Languages to Capture Design Synthesis Knowledge for Model-Based Systems Engineering , 2009 .

[15]  Albert Zündorf,et al.  Story Diagrams: A New Graph Rewrite Language Based on the Unified Modeling Language and Java , 1998, TAGT.

[16]  Cristina V. Lopes,et al.  Aspect-oriented programming , 1999, ECOOP Workshops.

[17]  Dock Bumpers,et al.  Volume 2 , 2005, Proceedings of the Ninth International Conference on Computer Supported Cooperative Work in Design, 2005..

[18]  David Kendrick,et al.  GAMS, a user's guide , 1988, SGNM.

[19]  Jerry Fisher,et al.  From the Editor: Model-Based Systems Engineering: A New Paradigm , 1998 .

[20]  Stephan Rudolph,et al.  On a Grammar-Based Design Language That Supports Automated Design Generation and Creativity , 2004 .

[21]  Tobias Rötschke,et al.  MOFLON: A Standard-Compliant Metamodeling Framework with Graph Transformations , 2006, ECMDA-FA.

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

[23]  Gregor Kiczales,et al.  Aspect-oriented programming , 1996, CSUR.

[24]  Kristina Shea,et al.  A Parallel Grammar for Simulation-Driven Mechanical Design Synthesis , 2005, DAC 2005.