A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study
2014
Electronic Communications of the EASST
In many areas, such as automotive, healthcare, or production, we find software-intensive systems with complex real-time requirements. To efficiently ensure the quality of these systems, engineers require automated tools for the validation of the requirements throughout the development. This, however, requires that the requirements are specified in an analyzable way. We propose modeling the specification using Modal Sequence Diagrams (MSDs), which express what a system may, must, or must not do
doi:10.14279/tuj.eceasst.67.948
dblp:journals/eceasst/BrennerGHLST14
fatcat:bo2us25xtjcgdibzuurgxoglfe