Home   Research Publications Members Related Software
IndexBrowse   BibliographiesMy selection
 Search: in   (word length ≥ 3)
      Login
Publication no #310   Download bibtex file Type :   Html | Bib | Both
Add to my selection
Augmenting Software Architectures with Physical Components

Ajinkya Y. Bhave, David Garlan, Bruce Krogh, Akshay Rajhans and Bradley Schmerl.


In Proceedings of the Embedded Real Time Software and Systems Conference (ERTS^2 2010), 19-21 May 2010.

Online links: PDF

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. We introduce a new cyber-physical system (CPS) architectural style to support the construction of architectural descriptions of complete systems and to serve as the reference context for analysis and evaluation of design alternatives using existing model-based tools. The implementation of the CPS architectural style in AcmeStudio includes behavioral annotations on components and connectors using either finite state processes (FSP) or linear hybrid automata (LHA) with plug-ins to perform behavior analysis. The application of the CPS architectural style is illustrated for the STARMAC quadrotor.

Keywords: Cyberphysical Systems.  
@InProceedings{Bhave/ERTS2010,
      AUTHOR = {Bhave, Ajinkya Y. and Garlan, David and Krogh, Bruce and Rajhans, Akshay and Schmerl, Bradley},
      TITLE = {Augmenting Software Architectures with Physical Components},
      YEAR = {2010},
      MONTH = {19-21 May},
      BOOKTITLE = {Proceedings of the Embedded Real Time Software and Systems Conference (ERTS^2 2010)},
      PDF = {http://acme.able.cs.cmu.edu/pubs/uploads/pdf/ERTS2_2010.pdf},
      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. We introduce a new cyber-physical system (CPS) architectural style to support the construction of architectural descriptions of complete systems and to serve as the reference context for analysis and evaluation of design alternatives using existing model-based tools. The implementation of the CPS architectural style in AcmeStudio includes behavioral annotations on components and connectors using either finite state processes (FSP) or linear hybrid automata (LHA) with plug-ins to perform behavior analysis. The application of the CPS architectural style is illustrated for the STARMAC quadrotor.},
      KEYWORDS = {Cyberphysical Systems}
}
    Created: 2010-03-26 13:14:35     Modified: 2010-06-16 15:30:59
Feedback: ABLE Webmaster
Last modified: Sat October 12 2019 16:15:32
        BibAdmin