Abstract
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 time- consuming, 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 SysMLTM). 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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Sage, A., Armstrong, J.: Introduction to systems engineering. Wiley, Chichester (2000)
Fisher, J.: Model-Based Systems Engineering: A New Paradigm. INCOSE INSIGHT 1, 3–16 (1998)
Estefan, J.A.: Survey of model-based systems engineering (mbse) methodologies. Technical report, California Institute of Technology (2007)
OMG.: Systems Modeling Language v 1.1 (2008)
Alber, R., Rudolph, S.: On a grammar-based design language that supports automated design generation and creativity. In: Fifth Workshop on Knowledge Intensive CAD, vol. 19, Springer, Heidelberg (2004)
Bolognini, F., Seshia, A.A., Shea, A.K.: A computational design synthesis method for MEMS using COMSOL. In: COMSOL Users Conference (2007)
Starling, A.C., Street, T., Shea, K.: A parallel grammar for simulation-driven mechanical design synthesis. In: ASME IDETC, vol. 2, pp. 24–28 (2005)
Friedenthal, S., Moore, A., Steiner, R.: A Practical Guide to SysML: The Systems Modeling Language. Morgan Kaufmann, San Francisco (2008)
Jobe, J.M.: Multi-Aspect Component Models: Enabling the Reuse of Engineering Analysis Models in SysML. Masters, Georgia Institute of Technology (2008)
Irwin, J., Kickzales, G., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C., Loingtier, J.: Aspect-oriented programming. In: Proceedings of ECOOP, pp. 220–242. IEEE, Finland (1997)
Chavez, C., Lucena, C.: A metamodel for aspect-oriented modeling. In: Workshop on Aspect-Oriented Modeling with the UML at AOSD 2002, Citeseer (2002)
ISO/IEC: Unified Modeling Language Specification (2005)
Paredis, C., Diaz-Calderon, A., Sinha, R., Khosla, P.: Composable models for simulation-based design. Engineering with Computers 17(2), 112–128 (2001)
Brook, A., Kendrick, D., Meeraus, A.: Gams, a user’s guide. ACM SIGNUM Newsletter 23(3-4), 11 (1988)
Bajaj, M., Peak, R.S., Paredis, C.J.J.: Knowledge composition for efficient analysis problem formulation part 2: Approach and analysis meta-model. In: ASME IDETC & CIE (2007)
Fischer, T., Niere, J., Torunski, L., Zündorf, A.: Story Diagrams: A New Graph Rewrite Language Based on the Unified Modeling Language and Java. In: 6th International Workshop Theory and Application of Graph Transformations, November 16-20, 1998, vol. 1764, pp. 157–167. Springer, Heidelberg (2000)
Amelunxen, C., Königs, A., Rötschke, T., Schürr, A.: MOFLON: A standard-compliant metamodeling framework with graph transformations. In: Model Driven Architecture–Foundations and Applications, pp. 361–375. Springer, Heidelberg (2006)
Dirckze, R.: Java metadata interface (jmi) specification version 1.0. Unisys Corporation and Sun Microsystems 2002 (2002)
Shah, A.: Combining mathematical programming and sysml for component sizing as applied to hydraulic systems. Masters, Georgia Institute of Technology (2010)
Sahinidis, N.: BARON: A general purpose global optimization software package. Journal of Global Optimization 8(2), 201–205 (1996)
Malone, B., Papay, M.: ModelCenter: An Integration Environment for Simulation Based Design. In: Simulation Interoperability Workshop, Orlando, FL (1999)
Kerzhner, A.A., Paredis, C.J.J.: Using Domain Specific Languages to Capture Design Synthesis Knowledge for Model-Based Systems Engineering. In: ASME IDETC & CIE (2009)
Johnson, T., Paredis, C., Burkhart, R.: Integrating Models and Simulations of Continuous Dynamics into SysML. In: 6th International Modelica Conference, Modelica Association (2008)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kerzhner, A.A., Paredis, C.J.J. (2011). Model-Based System Verification: A Formal Framework for Relating Analyses, Requirements, and Tests. In: Dingel, J., Solberg, A. (eds) Models in Software Engineering. MODELS 2010. Lecture Notes in Computer Science, vol 6627. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-21210-9_27
Download citation
DOI: https://doi.org/10.1007/978-3-642-21210-9_27
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-21209-3
Online ISBN: 978-3-642-21210-9
eBook Packages: Computer ScienceComputer Science (R0)