Modern compiler implementation in Java
Modern compiler implementation in Java
Model checking
Systematic testing of the continuous behavior of automotive systems
Proceedings of the 2006 international workshop on Software engineering for automotive systems
Verification of Supervisory Control Software Using State Proximity and Merging
HSCC '08 Proceedings of the 11th international workshop on Hybrid Systems: Computation and Control
Modeling Property Based Stream Templates with TTCN-3
TestCom '08 / FATES '08 Proceedings of the 20th IFIP TC 6/WG 6.1 international conference on Testing of Software and Communicating Systems: 8th International Workshop
Systematic simulation using sensitivity analysis
HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control
On systematic simulation of open continuous systems
HSCC'03 Proceedings of the 6th international conference on Hybrid systems: computation and control
| Hi-index | 0.00 |
Systematic simulation is a technique related and motivated by the formal analysis of hybrid dynamic systems. It combines the exhaustive and conservative nature of traditional model checking with numerical simulation for providing efficient algorithms to manage simulations. Multi-branch simulation is the concept advancing simulation efficiency by reducing the number of state transitions. This paper introduces an approach to implement multi-branch simulation into a popular industrial modeling and simulation tool, Simulink®. The notion of simulation state which is distinctly different from the dynamic system state, is introduced for Simulink models. From this, a novel semantics based on transition systems is then developed. In a prototype implementation, these semantics are encoded in the current architecture of the Simulink engine and enable demonstrating the benefit of such type of a simulation by three case studies.