Taxonomic Search: Prashant Ramachandra

4 results



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


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.