Home   Research Publications Members Related Software
IndexBrowse   BibliographiesMy selection
 Search: in   (word length ≥ 3)
      Login
Publication no #433   Download bibtex file Type :   Html | Bib | Both
Add to my selection
Architectural Abstractions for Hybrid Programs

Ivan Ruchkin, Bradley Schmerl and David Garlan.


In Proceedings of the 18th International ACM Sigsoft Symposium on Component-Based Software Engineering (CBSE 2015), Montreal, QC, Canada, 4-8 May 2015. CBSE Best Paper Award.

Online links: PDF   Bibtex entry   Plain Text

Abstract
Modern cyber-physical systems interact closely with continuous physical processes like kinematic movement. Software component frameworks do not provide an explicit way to represent or reason about these processes. Meanwhile, hybrid program models have been successful in proving critical properties of discrete-continuous systems. These programs deal with diverse aspects of a cyber-physical system such as controller decisions, component communication protocols, and mechanical dynamics, requiring several programs to address the variation. However, currently these aspects are often intertwined in mostly monolithic hybrid programs, which are difficult to understand, change, and organize. These issues can be addressed by component-based engineering, making hybrid modeling more practical. This paper lays the foundation for using architectural models to provide component-based benefits to developing hybrid programs. We build formal architectural abstractions of hybrid programs and formulas, enabling analysis of hybrid programs at the component level, reusing parts of hybrid programs, and automatic transformation from views into hybrid programs and formulas. Our approach is evaluated in the context of a robotic collision avoidance case study.

Keywords: Architecture View Consistency, Cyberphysical Systems, Landmark, Software Architecture.  
    Created: 2015-01-12 14:15:35     Modified: 2017-04-17 17:44:23
Feedback: ABLE Webmaster
Last modified: Tue June 20 2017 16:43:41
        BibAdmin