Home   Research Publications Members Related Software
IndexBrowse   BibliographiesMy selection
 Search: in   (word length ≥ 3)
Publication no #308   Download bibtex file Type :   Html | Bib | Both
Add to my selection
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: PDF   Bibtex entry   Plain Text

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.  
    Created: 2010-02-09 19:41:16     Modified: 2010-02-22 10:06:28
Feedback: ABLE Webmaster
Last modified: Mon February 12 2018 11:21:51