Logo des Repositoriums
 

A pattern-based requirement specification language: mapping automotive specific timing requirements

dc.contributor.authorReinkemeier, Philipp
dc.contributor.authorStierand, Ingo
dc.contributor.authorRehkop, Philip
dc.contributor.authorHenkler, Stefan
dc.contributor.editorReussner, Ralf
dc.contributor.editorPretschner, Alexander
dc.contributor.editorJähnichen, Stefan
dc.date.accessioned2019-01-17T13:49:46Z
dc.date.available2019-01-17T13:49:46Z
dc.date.issued2011
dc.description.abstractToday most requirement specifications are documents written in natural language. Natural language however is abiguous. Thus computer-aided verification of system-models against such requirement specifications is generally impossible. In this paper we propose a textual requirement specification language (RSL), that is based on patterns, which have a formally defined semantics. RSL is able to express requirements from multiple aspects (e.g. real-time, safety, etc.) on a system. In order to apply RSL in the domain of automotive systems, it has to support timing requirements as the Timing Augmented Description Language (TADL). TADL is the comming standard for handling timing information in the automotive domain. In this paper, we present a mapping of TADL constraints to RSL patterns.en
dc.identifier.isbn978-3-88579-278-9
dc.identifier.pissn1617-5468
dc.identifier.urihttps://dl.gi.de/handle/20.500.12116/19877
dc.language.isoen
dc.publisherGesellschaft für Informatik e.V.
dc.relation.ispartofSoftware Engineering 2011 – Workshopband
dc.relation.ispartofseriesLecture Notes in Informatics (LNI) - Proceedings, Volume P-184
dc.titleA pattern-based requirement specification language: mapping automotive specific timing requirementsen
dc.typeText/Conference Paper
gi.citation.endPage108
gi.citation.publisherPlaceBonn
gi.citation.startPage99
gi.conference.date21.-25. Februar 2011
gi.conference.locationKarlsruhe
gi.conference.sessiontitleRegular Research Papers

Dateien

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