A pattern-based requirement specification language: mapping automotive specific timing requirements
dc.contributor.author | Reinkemeier, Philipp | |
dc.contributor.author | Stierand, Ingo | |
dc.contributor.author | Rehkop, Philip | |
dc.contributor.author | Henkler, Stefan | |
dc.contributor.editor | Reussner, Ralf | |
dc.contributor.editor | Pretschner, Alexander | |
dc.contributor.editor | Jähnichen, Stefan | |
dc.date.accessioned | 2019-01-17T13:49:46Z | |
dc.date.available | 2019-01-17T13:49:46Z | |
dc.date.issued | 2011 | |
dc.description.abstract | Today 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.isbn | 978-3-88579-278-9 | |
dc.identifier.pissn | 1617-5468 | |
dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/19877 | |
dc.language.iso | en | |
dc.publisher | Gesellschaft für Informatik e.V. | |
dc.relation.ispartof | Software Engineering 2011 – Workshopband | |
dc.relation.ispartofseries | Lecture Notes in Informatics (LNI) - Proceedings, Volume P-184 | |
dc.title | A pattern-based requirement specification language: mapping automotive specific timing requirements | en |
dc.type | Text/Conference Paper | |
gi.citation.endPage | 108 | |
gi.citation.publisherPlace | Bonn | |
gi.citation.startPage | 99 | |
gi.conference.date | 21.-25. Februar 2011 | |
gi.conference.location | Karlsruhe | |
gi.conference.sessiontitle | Regular Research Papers |
Dateien
Originalbündel
1 - 1 von 1