Logo des Repositoriums
 

Development of a car seat: A case study using AUTOFOCUS, DOORS, and the Validas Validator

dc.contributor.authorBraun, Peter
dc.contributor.authorSlotosch, Oscar
dc.contributor.editorHofmann, Peter P.
dc.contributor.editorSchürr, Andy
dc.date.accessioned2020-01-07T12:07:13Z
dc.date.available2020-01-07T12:07:13Z
dc.date.issued2001
dc.description.abstractIn this paper we describe the modeling process and the resulting model of a typical car seat. The requirements of this seat are documented in [Chr00] which are the input of our process. We used the tools AUTOFOCUS [AF-02], DOORS [Tel02], and Validas Validator [Val02]. Starting with requirements analysis we develop first model fragments. Afterwards the graphical, component oriented approach of AUTOFOCUS is used to model the system. Requirements management and tracing techniques ensure that all requirements are implemented. The model-based core of the development process helps very much for the requirements tracing. The model fragments of the earlier phases can be updated so that tracing information is consistent. Compared to traditional requirements tracing techniques less manual interaction is needed. Beside this the test management is also done based upon the requirements. For relevant requirements test cases are specified. This is done using the AUTOFOCUS notation of Extended Event Traces (EETs) a variant of Message Sequence Charts (MSCs). Afterwards the generated code of the model is tested based upon those test cases. Further validation techniques like simulation, consistency, and determinism checks of the Validas Validator have led to the detection of inconsistencies in the model and in the specification.en
dc.identifier.pissn1617-5468
dc.identifier.urihttps://dl.gi.de/handle/20.500.12116/30832
dc.language.isoen
dc.publisherGesellschaft für Informatik e. V.
dc.relation.ispartofOMER - Object-oriented Modeling of Embedded Real-Time Systems, GI-Workshops OMER-1 & OMER-2
dc.relation.ispartofseriesLecture Notes in Informatics (LNI) - Proceedings, Volume P-5
dc.titleDevelopment of a car seat: A case study using AUTOFOCUS, DOORS, and the Validas Validatoren
dc.typeText/Conference Paper
gi.citation.endPage66
gi.citation.publisherPlaceBonn
gi.citation.startPage51
gi.conference.dateMay 28/29, 1999 & May 10-12, 2001
gi.conference.locationHerrsching am Amersee
gi.conference.sessiontitleRegular Research Papers

Dateien

Originalbündel
1 - 1 von 1
Lade...
Vorschaubild
Name:
06.pdf
Größe:
166.02 KB
Format:
Adobe Portable Document Format