GI LogoGI Logo
  • Login
Digital Library
    • All of DSpace

      • Communities & Collections
      • Titles
      • Authors
      • By Issue Date
      • Subjects
    • This Collection

      • Titles
      • Authors
      • By Issue Date
      • Subjects
Digital Library Gesellschaft für Informatik e.V.
GI-DL
    • English
    • Deutsch
  • English 
    • English
    • Deutsch
View Item 
  •   DSpace Home
  • Lecture Notes in Informatics
  • Proceedings
  • Software Engineering
  • P184 - Software Engineering 2011 - Workshopband
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.
  •   DSpace Home
  • Lecture Notes in Informatics
  • Proceedings
  • Software Engineering
  • P184 - Software Engineering 2011 - Workshopband
  • View Item

A formal method to identify deficiencies of functional requirements for product lines of embedded systems

Author:
Markert, Florian [DBLP] ;
Oster, Sebastian [DBLP]
Abstract
Functional 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.
  • Citation
  • BibTeX
Markert, F. & Oster, S., (2011). A formal method to identify deficiencies of functional requirements for product lines of embedded systems. In: Reussner, R., Pretschner, A. & Jähnichen, S. (Hrsg.), Software Engineering 2011 – Workshopband. Bonn: Gesellschaft für Informatik e.V.. (S. 265-276).
@inproceedings{mci/Markert2011,
author = {Markert, Florian AND Oster, Sebastian},
title = {A formal method to identify deficiencies of functional requirements for product lines of embedded systems},
booktitle = {Software Engineering 2011 – Workshopband},
year = {2011},
editor = {Reussner, Ralf AND Pretschner, Alexander AND Jähnichen, Stefan} ,
pages = { 265-276 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}
DateienGroesseFormatAnzeige
265.pdf154.1Kb PDF View/Open

Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Send Feedback

More Info

ISBN: 978-3-88579-278-9
ISSN: 1617-5468
xmlui.MetaDataDisplay.field.date: 2011
Language: en (en)
Content Type: Text/Conference Paper
Collections
  • P184 - Software Engineering 2011 - Workshopband [35]

Show full item record


About uns | FAQ | Help | Imprint | Datenschutz

Gesellschaft für Informatik e.V. (GI), Kontakt: Geschäftsstelle der GI
Diese Digital Library basiert auf DSpace.

 

 


About uns | FAQ | Help | Imprint | Datenschutz

Gesellschaft für Informatik e.V. (GI), Kontakt: Geschäftsstelle der GI
Diese Digital Library basiert auf DSpace.