Functional Specification of Real-Time and Hybrid Systems
HART '97 Proceedings of the International Workshop on Hybrid and Real-Time Systems
ARTS '97 Proceedings of the 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software: Transformation-Based Reactive Systems Development
Proceedings of the Real-Time: Theory in Practice, REX Workshop
Systematic management of simulation state for multi-branch simulations in simulink
Proceedings of the Symposium on Theory of Modeling & Simulation - DEVS Integrative M&S Symposium
Hi-index | 0.00 |
In this paper, we introduce a new test method that enables the systematic definition of executable test cases for testing the continuous behavior of automotive embedded systems. This method is based on a graphical notation for test cases that is not only easy to understand but also powerful enough to express very complex, fully automated tests as well as reactive tests. This new approach is already in use in several production-vehicle development projects at DaimlerChrysler and at some suppliers.