Home   Research Publications Members Related Software
IndexBrowse   BibliographiesMy selection
 Search: in   (word length ≥ 3)
      Login
Publication no #331   Download bibtex file Type :   Html | Bib | Both
Add to my selection
Using Parameters in Architectural Views to Support Heterogeneous Design and Verification

Akshay Rajhans, Ajinkya Y. Bhave, Sarah Loos, Bruce Krogh, Andre Platzer and David Garlan.


In 50th IEEE Conference on Decision and Control (CDC) and European Control Conference (ECC), Orlando, FL, 12-15 December 2011.

Online links: PDF   Bibtex entry   Plain Text

Abstract
Current methods for designing cyber-physical systems lack a unifying framework due to the heterogeneous nature of the constituent models and their respective analysis and verification tools. There is a need for a formal representation of the relationships between the different models. Our approach is to define these relationships at the architectural level, associating with each model a particular view of the overall system base architecture. This architectural framework captures critical structural and semantic information without including all the details of the various modeling formalisms. This paper introduces the use of logical constraints over parameters in the architectural views to represent the conditions under which the specifications verified for each model are true and imply the system-level specification. Interdependencies and connections between the constraints in the architectural views are managed in the base architecture using first-order logic of real arithmetic to ensure consistency and correct reasoning. The approach is illustrated in the context of heterogeneous verification of a leader-follower vehicle scenario.

Keywords: Architecture View Consistency, Cyberphysical Systems.  
    Created: 2011-03-23 13:08:25     Modified: 2012-01-23 12:04:23
Feedback: ABLE Webmaster
Last modified: Sat October 12 2019 16:15:32
        BibAdmin