@InProceedings{Rajhans/2011/CPS,
AUTHOR = {Rajhans, Akshay and Bhave, Ajinkya Y. and Loos, Sarah and Krogh, Bruce and Platzer, Andre and Garlan, David},
TITLE = {Using Parameters in Architectural Views to Support Heterogeneous Design and Verification},
YEAR = {2011},
MONTH = {12-15 December},
BOOKTITLE = {50th IEEE Conference on Decision and Control (CDC) and European Control Conference (ECC)},
ADDRESS = {Orlando, FL},
PDF = {http://acme.able.cs.cmu.edu/pubs/uploads/pdf/RBL+_CDC11.pdf},
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}
}
|
|
