View Consistency in Architectures for Cyber-Physical Systems

Current methods for modeling, analysis, and design of cyber-physical systems lack a unifying framework due to the complexity and heterogeneity of the constituent elements and their interactions. Our approach is to define relationships between system models at the architectural level, which captures the structural interdependencies and some semantic interdependencies between representations without attempting to comprehend all of the details of any particular modeling formalism. This paper addresses the issue of defining and evaluating consistency between architectural views imposed by various heterogeneous models and a base architecture (BA) for the complete system. This notion of structural consistency ensures that the model elements adhere to the cyber and physical types and the connections between components present in the BA, which serves as the unifying framework for model-based development. Consistency checking between a model and the underlying system architecture is formulated as a typed graph matching problem between the connectivity graphs of the corresponding architectural view and the system's BA. The usefulness of the approach to check system modeling assumptions is illustrated in the context of two heterogeneous views of a quad rotor air vehicle.

[1]  Gaurav Bhatia,et al.  Model-Based Development of Embedded Systems: The SysWeaver Approach , 2006, 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'06).

[2]  Albert Zündorf,et al.  Graph Pattern Matching in PROGRES , 1994, TAGT.

[3]  Murat Dogruel,et al.  Fuzzy plus integral control of the effluent turbidity in direct filtration , 2004, IEEE Transactions on Control Systems Technology.

[4]  Gregory D. Abowd,et al.  Formalizing style to understand descriptions of software architecture , 1995, TSEM.

[5]  Peter H. Feiler,et al.  Challenges in Validating Safety-Critical Embedded Systems , 2009 .

[6]  Gul A. Agha,et al.  Concurrent object-oriented programming , 1993, CACM.

[7]  Gabor Karsai,et al.  Model-Integrated Development of Cyber-Physical Systems , 2008, SEUS.

[8]  J.M.A. Scherpen,et al.  Multidomain modeling of nonlinear networks and systems , 2009, IEEE Control Systems.

[9]  David Garlan,et al.  Bridging the Gap between Systems Design and Space Systems Software , 2005 .

[10]  Manfred Nagl,et al.  Graph-Grammars and Their Application to Computer Science , 1982, Lecture Notes in Computer Science.

[11]  Kim Henrick,et al.  Common subgraph isomorphism detection by backtracking search , 2004, Softw. Pract. Exp..

[12]  Daniel Galin,et al.  Software Quality Assurance: From Theory to Implementation , 2003 .

[13]  Srini Srinivasan,et al.  NAOMI - An Experimental Platform for Multi-modeling , 2008, MoDELS.

[14]  David Garlan,et al.  Documenting software architectures: views and beyond , 2002, 25th International Conference on Software Engineering, 2003. Proceedings..

[15]  Pieter J. Mosterman,et al.  Computer automated multi-paradigm modeling in control system design , 2000, CACSD. Conference Proceedings. IEEE International Symposium on Computer-Aided Control System Design (Cat. No.00TH8537).

[16]  Eugene M. Luks,et al.  Isomorphism of graphs of bounded valence can be tested in polynomial time , 1980, 21st Annual Symposium on Foundations of Computer Science (sfcs 1980).

[17]  Luciano Lavagno,et al.  Uml for Real: Design Of Embedded Real-Time Systems , 2010 .

[18]  Ajinkya Bhave,et al.  Using parameters in architectural views to support heterogeneous design and verification , 2011, IEEE Conference on Decision and Control and European Control Conference.

[19]  Janos Sztipanovits,et al.  A semantic anchoring infrastructure for model-integrated computing , 2006 .

[20]  J. Willems.  The Behavioral Approach to Open and Interconnected Systems , 2007, IEEE Control Systems.

[21]  Richard N. Taylor,et al.  A Classification and Comparison Framework for Software Architecture Description Languages , 2000, IEEE Trans. Software Eng..

[22]  Sandeep Neema,et al.  Toward a semantic anchoring infrastructure for domain-specific modeling languages , 2005, EMSOFT.

[23]  Steven Lake Waslander,et al.  Multi-agent quadrotor testbed control design: integral sliding mode vs. reinforcement learning , 2005, 2005 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[24]  Mario Vento,et al.  Challenging Complexity of Maximum Common Subgraph Detection Algorithms: A Performance Analysis of Three Algorithms on a Wide Database of Graphs , 2007, J. Graph Algorithms Appl..

[25]  Jeff Magee,et al.  Concurrency - state models and Java programs , 2006 .

[26]  Jianlin Shi,et al.  Combined usage of UML and Simulink in the Design of Embedded Systems : Investigating Scenarios and Structural and Behavioural Mapping , 2007 .

[27]  Mario Vento,et al.  An Improved Algorithm for Matching Large Graphs , 2001 .

[28]  Glenn Reeves,et al.  Software architecture themes in JPL's Mission Data System , 1999, 2000 IEEE Aerospace Conference. Proceedings (Cat. No.00TH8484).

[29]  David Garlan,et al.  Architecture-driven modelling and analysis , 2007 .

[30]  David Garlan,et al.  Acme: architectural description of component-based systems , 2000 .

[31]  Mario Vento,et al.  Thirty Years Of Graph Matching In Pattern Recognition , 2004, Int. J. Pattern Recognit. Artif. Intell..

[32]  Jeff Magee,et al.  Concurrency - state models and Java programs (2. ed.) , 2006 .

[33]  P. Foggia,et al.  Performance evaluation of the VF graph matching algorithm , 1999, Proceedings 10th International Conference on Image Analysis and Processing.

[34]  Steve Vestal,et al.  Formal real-time architecture specification and analysis , 1993 .

[35]  David S. Johnson,et al.  Computers and In stractability: A Guide to the Theory of NP-Completeness. W. H Freeman, San Fran , 1979 .

[36]  Mary Shaw,et al.  Software architecture - perspectives on an emerging discipline , 1996 .

[37]  Lui Sha,et al.  Resource allocation contracts for Open Analytic Runtime models , 2011, 2011 Proceedings of the Ninth ACM International Conference on Embedded Software (EMSOFT).

[38]  Edward A. Lee,et al.  Ptolemy II, Heterogeneous Concurrent Modeling and Design in JAVA , 2001 .

[39]  Ajinkya Bhave,et al.  An Architectural Approach to the Design and Analysis of Cyber-Physical Systems , 2009, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

[40]  Danny Weyns,et al.  Characterizing Relations between Architectural Views , 2008, ECSA.

[41]  Alexander L. Wolf,et al.  Acm Sigsoft Software Engineering Notes Vol 17 No 4 Foundations for the Study of Software Architecture , 2022 .

[42]  Ajinkya Bhave,et al.  Multi-domain Modeling of Cyber-Physical Systems Using Architectural Views , 2010 .

[43]  Gabor Karsai,et al.  Smart Dust: communicating with a cubic-millimeter computer , 2001 .

[44]  Edward A. Lee,et al.  Heterogeneous Concurrent Modeling and Design in Java (Volume 3: Ptolemy II Domains) , 2008 .

[45]  Tom Holvoet,et al.  Composing Structural Views in xADL , 2007, EA@AOSD.

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

[47]  Eoin Woods,et al.  Software Systems Architecture: Working with Stakeholders Using Viewpoints and Perspectives , 2005 .

[48]  Peter H. Feiler,et al.  Aspects in the industry standard AADL , 2007 .

[49]  Gabor Karsai,et al.  An Experimental Model-Based Rapid Prototyping Environment for High-Confidence Embedded Software , 2009, 2009 IEEE/IFIP International Symposium on Rapid System Prototyping.

[50]  Barry Boehm,et al.  Heterogeneous view integration and its automation , 2000 .

[51]  Xiaolei Qian,et al.  Correct Architecture Refinement , 1995, IEEE Trans. Software Eng..

[52]  Rogério de Lemos,et al.  Architecting dependable systems , 2006, J. Syst. Softw..

[53]  David Garlan,et al.  A formal basis for architectural connection , 1997, TSEM.

[54]  Bradley R. Schmerl,et al.  Bridging the Gap between Systems Design , 2005, 29th Annual IEEE/NASA Software Engineering Workshop.

[55]  Jan F. Broenink,et al.  Multi-view methodology for the design of embedded mechatronic control systems , 2006, 2006 IEEE Conference on Computer Aided Control System Design, 2006 IEEE International Conference on Control Applications, 2006 IEEE International Symposium on Intelligent Control.

[56]  Bradley R. Schmerl,et al.  AcmeStudio: supporting style-centered architecture development , 2004, Proceedings. 26th International Conference on Software Engineering.

[57]  David Garlan,et al.  Analyzing architectural styles with alloy , 2006, ROSATEA '06.

[58]  Philippe Kruchten,et al.  The 4+1 View Model of Architecture , 1995, IEEE Softw..

[59]  Ajinkya Bhave,et al.  Augmenting Software Architectures with Physical Components , 2010 .

[60]  Christiaan J. J. Paredis,et al.  Towards Unified System Modeling and Simulation with ModelicaML: Modeling of Executable Behavior Using Graphical Notations , 2009 .

[61]  Claire J. Tomlin,et al.  Quadrotor Helicopter Trajectory Tracking Control , 2008 .