Show simple item record

dc.contributor.authorMarkert, Florian
dc.contributor.authorOster, Sebastian
dc.contributor.editorReussner, Ralf
dc.contributor.editorPretschner, Alexander
dc.contributor.editorJähnichen, Stefan
dc.date.accessioned2019-01-17T13:49:48Z
dc.date.available2019-01-17T13:49:48Z
dc.date.issued2011
dc.identifier.isbn978-3-88579-278-9
dc.identifier.issn1617-5468
dc.identifier.urihttp://dl.gi.de/handle/20.500.12116/19895
dc.description.abstractFunctional requirements that were stated in cooperation with the stakeholders have to be analyzed and reviewed. Deficiencies like incompleteness, contradictions and redundancy within the requirements may lead to an extended development effort. Identifying and resolving these deficiencies in an existing or evolving set of functional requirements for embedded systems is of major importance. Especially, if the requirements describe a set of possible products. Formal methods provide a powerful way to review the requirements automatically. This paper proposes a method adopted from the formal verification of hardware components to uncover the deficiencies within a given set of requirements. The basis of this approach is built by safety properties represented as Linear Temporal Logic (LTL) formulas which are extracted from the requirements. The presented process is evaluated by means of the specification of a car seat.en
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 formal method to identify deficiencies of functional requirements for product lines of embedded systemsen
dc.typeText/Conference Paper
dc.pubPlaceBonn
mci.reference.pages265-276
mci.conference.sessiontitleRegular Research Papers
mci.conference.locationKarlsruhe
mci.conference.date21.-25. Februar 2011


Files in this item

Thumbnail

Show simple item record