Home   Research Publications Members Related Software
IndexBrowse   BibliographiesMy selection
 Search: in   (word length ≥ 3)
      Login
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

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.  
    Created: 2010-02-09 19:41:16     Modified: 2010-02-22 10:06:28
Feedback: ABLE Webmaster
Last modified: Tue June 20 2017 16:43:41
        BibAdmin