{"year":"2014","language":[{"iso":"eng"}],"_id":"20983","date_updated":"2022-01-06T06:54:42Z","status":"public","author":[{"last_name":"Brenner","full_name":"Brenner, Christian","first_name":"Christian"},{"last_name":"Greenyer","full_name":"Greenyer, Joel","first_name":"Joel"},{"first_name":"Jörg","id":"3875","orcid":"0000-0001-6141-4571","last_name":"Holtmann","full_name":"Holtmann, Jörg"},{"last_name":"Liebel","full_name":"Liebel, Grischa","first_name":"Grischa"},{"full_name":"Stieglbauer, Gerald","last_name":"Stieglbauer","first_name":"Gerald"},{"first_name":"Matthias","last_name":"Tichy","full_name":"Tichy, Matthias"}],"date_created":"2021-01-13T13:36:09Z","title":"ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study","publication":"Proceedings of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2014)","type":"conference","user_id":"5786","citation":{"short":"C. Brenner, J. Greenyer, J. Holtmann, G. Liebel, G. Stieglbauer, M. Tichy, in: Proceedings of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2014), 2014.","chicago":"Brenner, Christian, Joel Greenyer, Jörg Holtmann, Grischa Liebel, Gerald Stieglbauer, and Matthias Tichy. “ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study.” In <i>Proceedings of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2014)</i>, 2014.","ama":"Brenner C, Greenyer J, Holtmann J, Liebel G, Stieglbauer G, Tichy M. ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study. In: <i>Proceedings of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2014)</i>. ; 2014.","bibtex":"@inproceedings{Brenner_Greenyer_Holtmann_Liebel_Stieglbauer_Tichy_2014, title={ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study}, booktitle={Proceedings of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2014)}, author={Brenner, Christian and Greenyer, Joel and Holtmann, Jörg and Liebel, Grischa and Stieglbauer, Gerald and Tichy, Matthias}, year={2014} }","mla":"Brenner, Christian, et al. “ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study.” <i>Proceedings of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2014)</i>, 2014.","ieee":"C. Brenner, J. Greenyer, J. Holtmann, G. Liebel, G. Stieglbauer, and M. Tichy, “ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study,” 2014.","apa":"Brenner, C., Greenyer, J., Holtmann, J., Liebel, G., Stieglbauer, G., &#38; Tichy, M. (2014). ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study. <i>Proceedings of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2014)</i>."},"department":[{"_id":"76"},{"_id":"241"}],"abstract":[{"text":"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 in certain situations. MSDs can be executed via the play-out algorithm to investigate the behavior emerging from the interplay of multiple scenarios; we can also test if traces of the final product satisfy all scenarios. In this paper, we present the first tool supporting the play-out of MSDs with real-time constraints. As a case study, we modeled the requirements on gear shifts in an upcoming standard on vehicle testing and use our tool to validate externally generated gear shift sequences.","lang":"eng"}]}