An Ontology-Based Approach to Heterogeneous Verification of Embedded Control Systems

Kumar, Rajesh; Krogh, Bruce H.; Feiler, Peter H.

doi:10.1007/978-3-540-31954-2_24

Cited by 7 publications

(1 citation statement)

References 21 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Lattice-based ontologies can be used to infer semantic relationships between elements of heterogeneous models [50]. Kumar et al proposed an ontology-based approach for managing knowledge gained from heterogeneous verification activities and for targeted knowledge acquisition [51]. Rather than treating verification activities as knowledge to be combined, we use logical combination of verification constructs to construct complex verification hierarchies.…”

Section: Analysis and Verificationmentioning

confidence: 99%

Supporting Heterogeneity in Cyber-Physical Systems Architectures

Rajhans

Bhave

Ruchkin

et al. 2014

IEEE Trans. Automat. Contr.

Self Cite

View full text Add to dashboard Cite

Cyber-physical systems (CPS) are heterogeneous, because they tightly couple computation, communication, and control along with physical dynamics, which are traditionally considered separately. Without a comprehensive modeling formalism, modelbased development of CPS involves using a multitude of models in a variety of formalisms that capture various aspects of the system design, such as software design, networking design, physical models, and protocol design. Without a rigorous unifying framework, system integration and integration of the analysis results for various models remains ad hoc. In this paper, we propose a multi-view architecture framework that treats models as views of the underlying system structure and uses structural and semantic mappings to ensure consistency and enable system-level verification in a hierarchical and compositional manner. Throughout the paper, the theoretical concepts are illustrated using two examples: a quadrotor and an automotive intersection collision avoidance system.

show abstract

Section: Analysis and Verificationmentioning

confidence: 99%