Abstract: The objective of this research is an injection of new modeling techniques into the area of Cyber-Physical Systems (CPSs). The approach is to design new architectures for domain- specific modeling tools in order to permit feedback from analysis, validation, and verification engines to influence how CPSs are designed. This project outlines new research into the integration of existing, heterogeneous modeling languages in order to address problems in CPS design, rather than a single language used to design any CPS.

Abstract: Combining simulations with formal analysis can improve the design, verification, and validation processes for embedded and cyberphysical systems. In this poster presentation, I will present an overview of the algorithms we have developed to derive bounded-time formal guarantees from numerical simulations and static analysis of models. These algorithms are targeted for hybrid models of distributed and cyberphysical systems and they require either implicit or explicit annotations.