An Architectural Approach to the Design and Analysis of Cyber-Physical Systems
Akshay Rajhans,
Shang-Wen Cheng,
Bradley Schmerl,
David Garlan, Bruce Krogh, Clarence Agbi and Ajinkya Y. Bhave.
In Electronic Communications of the EASST, Vol. 21: Multi-Paradigm Modeling, 2009.
Online links:   Plain Text
Abstract
| This paper presents an extension of existing software architecture tools to model physical systems, their interconnections, and the interactions between physical and cyber components. A new CPS architectural style is introduced to support the principled design and evaluation of alternative architectures for cyber-physical systems (CPSs). The implementation of the CPS architectural style in AcmeStudio includes behavioral annotations on components and connectors using either ?nite state processes (FSP) or linear hybrid automata (LHA) with plug-ins to perform behavior analysis using the Labeled Transition System Analyzer (LTSA) or Polyhedral Hybrid Automata Veri?er (PHAVer), respectively. The CPS architectural style and analysis plug-ins are illustrated with an example.
|
Keywords: Cyberphysical Systems.
|
|
