Leveraging Variability Modeling Techniques for Architecture Trade Studies and Analysis

Increasing complexity in modern systems, as well as cost and schedule constraints, require a new paradigm of Systems Engineering to fulfill stakeholder needs. Challenges facing efficient trade studies include poor tool interoperability, lack of simulation coordination design parameters, and requirements flow down. A recent trend toward Model Based Systems Engineering MBSE includes flexible architecture definition, program documentation, requirements traceability, and Systems Engineering reuse. As a rapidly evolving practice, MBSE still lacks governing standards and commonly accepted frameworks. This paper proposes a framework for efficient architecture definition using MBSE in conjunction with domain specific simulation to evaluate alternatives. Variant modeling techniques are introduced as an extension to capturing parameterized architecture options. Initial exploration applies such variant modeling techniques to design for adaptability trade study criteria, as a means to evaluate candidate architecture configurations against multiple requirement sets. A general framework is provided, followed with a specific example including a method for designing a trade study, defining candidate architectures, planning simulations to fulfill requirements, and designing a weighted decision analysis to optimize system objectives.

[1]  Stephanie M. White Modeling a system of systems to analyze requirements , 2009, 2009 3rd Annual IEEE Systems Conference.

[2]  Christopher L. Delp,et al.  Update - concept of operations for Integrated Model-Centric Engineering at JPL , 2011, 2011 Aerospace Conference.

[3]  Joyce Smith Cooper,et al.  Life-cycle modeling for adaptive and variant design. Part 1: Methodology , 2005 .

[4]  Abhijit Sanyal,et al.  A Requirement Framework for Automatic Generation of Domain Model to Physical Level Implementation , 2011 .

[5]  Krzysztof Czarnecki,et al.  Feature-based survey of model transformation approaches , 2006, IBM Syst. J..

[6]  David G. Ullman,et al.  Trade Studies with Uncertain Information , 2006 .

[7]  Alexander Kossiakoff,et al.  Systems Engineering Principles and Practice: Kossiakoff/Systems Engineering 2E , 2011 .

[8]  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).

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

[10]  Da He,et al.  Closing the gap between UML-based modeling, simulation and synthesis of combined HW/SW systems , 2010, 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010).

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

[12]  Dov Dori,et al.  The Application-Based Domain Analysis Approach and its Object-Process Methodology Implementation , 2008, Int. J. Softw. Eng. Knowl. Eng..

[13]  J. Palmer,et al.  Illuminator of Opportunity Bistatic Radar research at DSTO , 2008, 2008 International Conference on Radar.

[14]  Dov Dori,et al.  Object-process methodology - a holistic systems paradigm , 2013 .

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

[16]  Z. Mrozek,et al.  Design of the mechatronic system with help of UML diagrams , 2002, Proceedings of the Third International Workshop on Robot Motion and Control, 2002. RoMoCo '02..

[17]  A. Terry Bahill,et al.  Comparison of dynamic system modeling methods , 2009 .

[18]  Leonard E. Miller,et al.  NASA systems engineering handbook , 1995 .

[19]  Stuart Pugh,et al.  Total Design: Integrated Methods for Successful Product Engineering , 1991 .

[20]  Kim Lauenroth,et al.  Why is it not Sufficient to Model Requirements Variability with Feature Models? 1 , 2004 .

[21]  Brice Morin,et al.  Weaving variability into domain metamodels , 2010, Software & Systems Modeling.

[22]  Thomas Alex Johnson,et al.  Integrating models and simulations of continuous dynamic system behavior into SysML , 2008 .

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

[24]  Jakob Axelsson Model based systems engineering using a continuous-time extension of the Unified Modeling Language (UML) , 2002 .

[25]  Olivier Barais,et al.  Managing variability in multi-views engineering : A live demo , 2010 .

[26]  Carl During,et al.  Designing mechatronic systems, a model-based perspective, an attempt to achieve SysML-Matlab/Simulink model integration , 2009, 2009 IEEE/ASME International Conference on Advanced Intelligent Mechatronics.

[27]  T. Saaty How to Make a Decision: The Analytic Hierarchy Process , 1990 .

[28]  Erik Herzog,et al.  Experience from introducing Unified Modeling Language/Systems Modeling Language at Saab Aerosystems , 2010, Syst. Eng..

[29]  Forrest Shull,et al.  Using the ISO/IEC 9126 product quality model to classify defects: A controlled experiment , 2012, EASE.

[30]  Lianping Chen,et al.  Variability management in software product lines: a systematic review , 2009, SPLC.

[31]  Michel D. Ingham,et al.  Application of State Analysis and Goal-Based Operations to a MER Mission Scenario , 2006 .

[32]  Dov Dori,et al.  Generating SysML views from an OPM model: Design and evaluation , 2011, Syst. Eng..

[33]  D. Dvorak,et al.  Achieving control and interoperability through unified model-based systems and software engineering , 2005 .

[34]  Birger Møller-Pedersen,et al.  Using Variability Models to Reduce Verification Effort of Train Station Models , 2011, 2011 18th Asia-Pacific Software Engineering Conference.

[35]  Safaai Deris,et al.  Requirements Identification and Representation in Software Product Line , 2009, 2009 16th Asia-Pacific Software Engineering Conference.

[36]  Sanford Friedenthal,et al.  OMG Systems Modeling Language (OMG SysML™) Tutorial , 2008 .

[37]  Michal Antkiewicz,et al.  Mapping features to models: a template approach based on superimposed variants , 2005, GPCE'05.

[38]  Christiaan J. J. Paredis,et al.  OVERVIEW OF ARCHITECTURE FRAMEWORKS AND MODELING LANGUAGES FOR MODEL-BASED SYSTEMS ENGINEERING , 2011 .

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

[40]  Jyrki Wallenius,et al.  Bibliometric Analysis of Multiple Criteria Decision Making/Multiattribute Utility Theory , 2008, MCDM.

[41]  Dov Dori,et al.  COIM: An object‐process based method for analyzing architectures of complex, interconnected, large‐scale socio‐technical systems , 2011, Syst. Eng..

[42]  Elyse Fosse Model-Based Systems Engineering (MBSE) 101 , 2012 .

[43]  Lawrence Chung,et al.  Adaptable architecture generation for embedded systems , 2004, J. Syst. Softw..

[44]  Jos L. M. Vrancken,et al.  Model-Driven User Requirements Specification using SysML , 2008, J. Softw..

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

[46]  Hans‐Peter Hoffmann,et al.  5.3.3 SysML‐Based Systems Engineering Using a Model‐Driven Development Approach , 2006 .

[47]  Safaai Deris,et al.  Mapping Architectural Concepts to SysML Profile for Product Line Architecture Modeling , 2011, ICSEA 2011.

[48]  R. Karban,et al.  An ontology for State Analysis: Formalizing the mapping to SysML , 2012, 2012 IEEE Aerospace Conference.

[49]  Sanford Friedenthal,et al.  A Practical Guide to SysML: The Systems Modeling Language , 2008 .

[50]  Brice Morin,et al.  An Aspect-Oriented and Model-Driven Approach for Managing Dynamic Variability , 2008, MoDELS.

[51]  Matthew Hause The Unified Profile for DoDAF/MODAF (UPDM) enabling systems of systems on many levels , 2010, 2010 IEEE International Systems Conference.

[52]  Jeffrey O. Grady Universal Architecture Description Framework , 2009 .

[53]  Christiaan J. J. Paredis,et al.  Using OMG’S SYSML to support simulation , 2008, 2008 Winter Simulation Conference.

[54]  Ching-Wei Wesley Chang System level investigations of television based bistatic radar , 2005 .

[55]  Conrad Bock,et al.  SysML and UML 2 support for activity modeling , 2006, Syst. Eng..

[56]  John D. McGregor,et al.  SysML-based domain-specific executable workflows , 2010, 2010 IEEE International Systems Conference.

[57]  Dov Dori,et al.  Model-Based Design Structure Matrix: Deriving a DSM from an Object-Process Model , 2009 .

[58]  Anne Marsden,et al.  International Organization for Standardization , 2014 .

[59]  Christiaan J. J. Paredis,et al.  Multi-view Modeling to Support Embedded Systems Engineering in SysML , 2010, Graph Transformations and Model-Driven Engineering.

[60]  Dolev Dotan,et al.  Verification of embedded system's specification using collaborative simulation of SysML and simulink models , 2009, 2009 International Conference on Model-Based Systems Engineering.

[61]  P. E. Howland,et al.  FM radio based bistatic radar , 2005 .

[62]  Scott W. Ambler,et al.  A Manager's Introduction to The Rational Unified Process (RUP) , 2005 .

[63]  Jean-Marc Jézéquel,et al.  Towards a UML Profile for Software Product Lines , 2003, PFE.

[64]  Chris Piaszczyk,et al.  Model Based Systems Engineering with Department of Defense Architectural Framework , 2011, Syst. Eng..

[65]  Birger Møller-Pedersen,et al.  Adding Standardized Variability to Domain Specific Languages , 2008, 2008 12th International Software Product Line Conference.

[66]  A Y C Nee,et al.  Adaptable design: Concepts, methods, and applications , 2009 .

[67]  Dennis Postlethwaite,et al.  Development of Life Cycle Assessment (LCA) , 1994, Environmental science and pollution research international.

[68]  Tyson R. Browning,et al.  Designing systems for adaptability by means of architecture options , 2008 .

[69]  Ingmar Ögren Possible tailoring of the UML for systems engineering purposes , 2000 .

[70]  Mihai Fonoage,et al.  Framework for Requirements-Driven System Design Automation , 2007, 2007 1st Annual IEEE Systems Conference.

[71]  E. Fosse,et al.  Applying Model Based Systems Engineering (MBSE) to a standard CubeSat , 2012, 2012 IEEE Aerospace Conference.

[72]  Fredrik Abbors,et al.  MATERA - An Integrated Framework for Model-Based Testing , 2010, 2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems.

[73]  J.M. Loomis Army Radar Requirements for the 21st Century , 2007, 2007 IEEE Radar Conference.

[74]  U. Walter,et al.  Dynamic system simulation of small satellite projects , 2009 .

[75]  Christiaan J. J. Paredis,et al.  COMPOSING TRADEOFF MODELS FOR MULTI-ATTRIBUTE SYSTEM-LEVEL DECISION MAKING , 2008 .

[76]  S. K. Dixit,et al.  Modeling Theories and Model Transformation Scenario for Complex System Development , 2012 .

[77]  M. Jakovijevic Modular Open System Approach (Mosa) and Ttp-Based Platforms for Aerospace Control Systems , 2006, 2006 ieee/aiaa 25TH Digital Avionics Systems Conference.

[78]  Dov Dori,et al.  Object-Process Methodology for Structure-Behavior Co-Design , 2011, Handbook of Conceptual Modeling.

[79]  Liming Zhu Model-Driven Architecture , 2011 .

[80]  Brian N. Bershad,et al.  Extensibility safety and performance in the SPIN operating system , 1995, SOSP.