The International Conference on Embedded Software

Visible to the public Contract-Based Integration of Cyber-Physical Analyses

Abstract: Developing cyber-physical systems involves multiple engineering domains, e.g., timing, logical correctness, thermal resilience, and mechanical stress. In today's industrial practice, these domains rely on multiple analyses to obtain and verify critical system properties. Domain differences make the analyses abstract away interactions among themselves, potentially invalidating the results. Specifically, one challenge is to ensure that an analysis is never applied to a model that violates the assumptions of the analysis.


Visible to the public  EMSOFT 2014
Oct 12, 2014 8:00 am - Oct 17, 2014 6:00 pm +04

The International Conference on Embedded Software (EMSOFT) brings together researchers and developers from academia, industry, and government to advance the science, engineering, and technology of embedded software development. EMSOFT 2014 is part of the Embedded Systems Week.