Keynotes

summary form only given. In many application domains, Simulink/Stateflow serves as a platform for model-based development of the reactive embedded code, that interacts with its environment in real-time fashion. The talk will present a model-based approach for testing Simulink/Stateflow code, based on its automated translation to input-output extended finite automaton (I/O-EFA), followed by automated test-generation, guaranteeing user-defined code as well as requirements coverage, and also support for automated test-execution and error-localization. While testing is useful for design-time error analysis, the talk will further discuss our model-based approach for run-time error monitoring, detection and localization. Monitoring at system level (as opposed to software level) is necessarily stochastic, and a more general I/O-Stochastic Hybrid Automaton (I/O-SHA) model is used, and condition is obtained for bounded-delay detectability, and achieving desired levels of false-positives/-negatives.