Classifying Assumptions Made During Requirements Verification of Embedded Systems

J. Marincic, Angelika H. Mader, Roelf J. Wieringa

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    2 Citations (Scopus)

    Abstract

    We are investigating ways to improve the process of modelling of embedded systems for formal verification. In the modelling process, we make a mathematical model of the system software and its environment (the plant), and we prove that the requirement holds for the model. But we also want to have an argument that increases our confidence that the model represents the system correctly (with respect to the requirement). Therefore, we document some of the modelling decisions in form of a list of the system assumptions made while modelling. Identifying the assumptions and deciding which ones are relevant is a difficult task and it cannot be formalized. To support this process, we give a classification of assumptions. We show our approach on an example.
    Original languageUndefined
    Title of host publicationRequirements Engineering: Foundation for Software Quality, 14th International Working Conference, REFSQ 2008
    EditorsBarbara Paech, Colette Rolland
    Place of PublicationLondon
    PublisherSpringer
    Pages141-146
    Number of pages6
    ISBN (Print)978-3-540-69060-3
    DOIs
    Publication statusPublished - 2008
    Event14th International Working Conference on Requirements Engineering: Foundation for Software Quality 2008 - Montpellier, France
    Duration: 16 Jun 200817 Jun 2008
    Conference number: 14
    https://refsq.org/2008/

    Publication series

    NameLecture notes in computer science
    PublisherSpringer Verlag
    Number274
    Volume5025
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349

    Conference

    Conference14th International Working Conference on Requirements Engineering: Foundation for Software Quality 2008
    Abbreviated titleREFSQ 2008
    CountryFrance
    CityMontpellier
    Period16/06/0817/06/08
    Internet address

    Keywords

    • METIS-250984
    • IR-62311
    • SCS-Services
    • EWI-12765

    Cite this

    Marincic, J., Mader, A. H., & Wieringa, R. J. (2008). Classifying Assumptions Made During Requirements Verification of Embedded Systems. In B. Paech, & C. Rolland (Eds.), Requirements Engineering: Foundation for Software Quality, 14th International Working Conference, REFSQ 2008 (pp. 141-146). [10.1007/978-3-540-69062-7_14] (Lecture notes in computer science; Vol. 5025, No. 274). London: Springer. https://doi.org/10.1007/978-3-540-69062-7_14