Sökning: WFRF:(Liebel Grischa 1987) >
ScenarioTools real-...
ScenarioTools real-time play-out for test sequence validation in an automotive case study
-
- Brenner, Christian (författare)
- Padernborn University, Germany
-
- Greenyer, Joel (författare)
- University of Hanover, Germany
-
- Holtmann, Jörg (författare)
- Fraunhofer-Institut fur Produktionstechnologie
-
visa fler...
-
- Liebel, Grischa, 1987 (författare)
- Göteborgs universitet,University of Gothenburg,Chalmers tekniska högskola,Chalmers University of Technology
-
Stieglbauer, Gerald (författare)
-
- Tichy, Matthias, 1978 (författare)
- Gothenburg University,Göteborgs universitet,Institutionen för data- och informationsteknik (GU),Department of Computer Science and Engineering (GU)
-
visa färre...
-
(creator_code:org_t)
- 2014
- 2014
- Engelska.
-
Ingår i: Electronic Communications of the EASST. - 1863-2122. ; 67
- Relaterad länk:
-
https://research.cha... (primary) (free)
-
visa fler...
-
https://doi.org/10.1...
-
https://research.cha...
-
https://research.cha...
-
https://gup.ub.gu.se...
-
visa färre...
Abstract
Ämnesord
Stäng
- In many areas, such as automotive, healthcare, or production, we find softwareintensive 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.
Ämnesord
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik -- Inbäddad systemteknik (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering -- Embedded Systems (hsv//eng)
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik -- Datorsystem (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering -- Computer Systems (hsv//eng)
- NATURVETENSKAP -- Data- och informationsvetenskap -- Programvaruteknik (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Software Engineering (hsv//eng)
Nyckelord
- Testing
- Validation
- Simulation
- Reactive systems
- Embedded systems
- Automotive
- Scenario-based specification
Publikations- och innehållstyp
- art (ämneskategori)
- ref (ämneskategori)
Hitta via bibliotek
Till lärosätets databas