View Consistency in Architectures for Cyber-Physical Systems
- 1 April 2011
- conference paper
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 151-160
- https://doi.org/10.1109/iccps.2011.17
Abstract
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.Keywords
This publication has 10 references indexed in Scilit:
- Integrating Models and Simulations of Continuous Dynamics Into SysMLJournal of Computing and Information Science in Engineering, 2011
- Towards Unified System Modeling and Simulation with ModelicaML: Modeling of Executable Behavior Using Graphical NotationsPublished by Linkoping University Electronic Press ,2009
- An Experimental Model-Based Rapid Prototyping Environment for High-Confidence Embedded SoftwarePublished by Institute of Electrical and Electronics Engineers (IEEE) ,2009
- Quadrotor Helicopter Trajectory Tracking ControlPublished by American Institute of Aeronautics and Astronautics (AIAA) ,2008
- Model-Based Development of Embedded Systems: The SysWeaver ApproachPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2006
- Toward a semantic anchoring infrastructure for domain-specific modeling languagesPublished by Association for Computing Machinery (ACM) ,2005
- Multi-agent quadrotor testbed control design: integral sliding mode vs. reinforcement learningPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- AcmeStudio: supporting style-centered architecture developmentPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2004
- Performance evaluation of the VF graph matching algorithmPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1999
- Correct architecture refinementIEEE Transactions on Software Engineering, 1995