Paper Info
Title
Heterogeneous verification of cyber-physical systems using behavior relations
Abstract
Today's complex cyber-physical systems are being built increasingly using model-based development (MBD), where mathematical models for the system behavior are checked against design specifications using analysis tools. Different types of models and analysis tools are used to address different aspects of the system. While the use of heterogeneous formalisms supports a divide-and-conquer approach to complexity and allows engineers with different types of expertise to work on various aspects of the design, system integration problems can arise due to the lack of an underlying unifying formalism. In this paper, we introduce the notion of behavior relations to address the problem of heterogeneity and propose constraints over parameters as a mechanism to manage inter-model dependencies and ensure consistency. In addition, we present structured constructs of nested conjunctive and disjunctive analyses to enable multi-model heterogeneous verification. The theoretical concepts are illustrated using an example of a cooperative intersection collision avoidance system (CICAS).
Year
DOI
Venue
2012
10.1145/2185632.2185641
HSCC
Keywords
Field
DocType
different aspect,heterogeneous formalisms,analysis tool,system integration problem,behavior relation,heterogeneous verification,design specification,system behavior,disjunctive analysis,different type,complex cyber-physical system,divide and conquer,model based development,cyber physical systems,mathematical model,system integration
Analysis tools,Functional verification,Computer science,Theoretical computer science,Cyber-physical system,Formalism (philosophy),Collision avoidance system,Mathematical model,Rotation formalisms in three dimensions,System integration
Conference
Citations 
PageRank 
References 
6
0.53
16
Authors
2
Name
Order
Citations
PageRank
Akshay Rajhans1856.34
Bruce H. Krogh21932292.48