Carnegie Mellon University
Browse

Augmenting Software Architectures with Physical Components

Download (898.71 kB)
journal contribution
posted on 2010-05-01, 00:00 authored by Ajinkya Bhave, David Garlan, Bruce Krogh, Akshay H. Rajhans, Bradley Schmerl

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.

History

Date

2010-05-01

Usage metrics

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC