Taxonomic Search: Bruce H. Krogh

8 results

Results

file

Visible to the public An Architectural Approach to Heterogeneous Modeling and Verification of CPS

Abstract:

Current methods for design and verification of cyber-physical systems (CPS) lack a unifying framework due to the complexity and heterogeneity of the constituent elements and their interactions. Heterogeneous models describe different aspects of a CPS at varying levels of abstraction and using different formal languages. This prevents engineers from detecting inconsistencies among models and reasoning at the system level to verify specifications at design time.