Classifying Assumptions Made During Requirements Verification of Embedded Systems

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

doi:10.1007/978-3-540-69062-7_14

Classifying Assumptions Made During Requirements Verification of Embedded Systems

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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

2 Citations (Scopus)

2 Downloads (Pure)

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 language	Undefined
Title of host publication	Requirements Engineering: Foundation for Software Quality, 14th International Working Conference, REFSQ 2008
Editors	Barbara Paech, Colette Rolland
Place of Publication	London
Publisher	Springer
Pages	141-146
Number of pages	6
ISBN (Print)	978-3-540-69060-3
DOIs	https://doi.org/10.1007/978-3-540-69062-7_14
Publication status	Published - 2008
Event	14th International Working Conference on Requirements Engineering: Foundation for Software Quality 2008 - Montpellier, France Duration: 16 Jun 2008 → 17 Jun 2008 Conference number: 14 https://refsq.org/2008/

Publication series

Name	Lecture notes in computer science
Publisher	Springer Verlag
Number	274
Volume	5025
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	14th International Working Conference on Requirements Engineering: Foundation for Software Quality 2008
Abbreviated title	REFSQ 2008
Country/Territory	France
City	Montpellier
Period	16/06/08 → 17/06/08
Internet address	https://refsq.org/2008/

Keywords

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

Access to Document

10.1007/978-3-540-69062-7_14

http://eprints.eemcs.utwente.nl/secure2/12765/01/50250141.pdf

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). Article 10.1007/978-3-540-69062-7_14 (Lecture notes in computer science; Vol. 5025, No. 274). Springer. https://doi.org/10.1007/978-3-540-69062-7_14

Marincic, J. ; Mader, Angelika H. ; Wieringa, Roelf J. / Classifying Assumptions Made During Requirements Verification of Embedded Systems. Requirements Engineering: Foundation for Software Quality, 14th International Working Conference, REFSQ 2008. editor / Barbara Paech ; Colette Rolland. London : Springer, 2008. pp. 141-146 (Lecture notes in computer science; 274).

@inproceedings{7778f6f403e147e7a074f28373fcd583,

title = "Classifying Assumptions Made During Requirements Verification of Embedded Systems",

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.",

keywords = "METIS-250984, IR-62311, SCS-Services, EWI-12765",

author = "J. Marincic and Mader, {Angelika H.} and Wieringa, {Roelf J.}",

note = "10.1007/978-3-540-69062-7_14 ; 14th International Working Conference on Requirements Engineering: Foundation for Software Quality 2008 ; Conference date: 16-06-2008 Through 17-06-2008",

year = "2008",

doi = "10.1007/978-3-540-69062-7_14",

language = "Undefined",

isbn = "978-3-540-69060-3",

series = "Lecture notes in computer science",

publisher = "Springer",

number = "274",

pages = "141--146",

editor = "Barbara Paech and Colette Rolland",

booktitle = "Requirements Engineering: Foundation for Software Quality, 14th International Working Conference, REFSQ 2008",

address = "Germany",

url = "https://refsq.org/2008/",

}

Marincic, J, Mader, AH & Wieringa, RJ 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., 10.1007/978-3-540-69062-7_14, Lecture notes in computer science, no. 274, vol. 5025, Springer, London, pp. 141-146, 14th International Working Conference on Requirements Engineering: Foundation for Software Quality 2008, Montpellier, France, 16/06/08. https://doi.org/10.1007/978-3-540-69062-7_14

Classifying Assumptions Made During Requirements Verification of Embedded Systems. / Marincic, J.; Mader, Angelika H.; Wieringa, Roelf J.
Requirements Engineering: Foundation for Software Quality, 14th International Working Conference, REFSQ 2008. ed. / Barbara Paech; Colette Rolland. London: Springer, 2008. p. 141-146 10.1007/978-3-540-69062-7_14 (Lecture notes in computer science; Vol. 5025, No. 274).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Classifying Assumptions Made During Requirements Verification of Embedded Systems

AU - Marincic, J.

AU - Mader, Angelika H.

AU - Wieringa, Roelf J.

N1 - Conference code: 14

PY - 2008

Y1 - 2008

N2 - 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.

AB - 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.

KW - METIS-250984

KW - IR-62311

KW - SCS-Services

KW - EWI-12765

U2 - 10.1007/978-3-540-69062-7_14

DO - 10.1007/978-3-540-69062-7_14

M3 - Conference contribution

SN - 978-3-540-69060-3

T3 - Lecture notes in computer science

SP - 141

EP - 146

BT - Requirements Engineering: Foundation for Software Quality, 14th International Working Conference, REFSQ 2008

A2 - Paech, Barbara

A2 - Rolland, Colette

PB - Springer

CY - London

T2 - 14th International Working Conference on Requirements Engineering: Foundation for Software Quality 2008

Y2 - 16 June 2008 through 17 June 2008

ER -

Marincic J, Mader AH, Wieringa RJ. Classifying Assumptions Made During Requirements Verification of Embedded Systems. In Paech B, Rolland C, editors, Requirements Engineering: Foundation for Software Quality, 14th International Working Conference, REFSQ 2008. London: Springer. 2008. p. 141-146. 10.1007/978-3-540-69062-7_14. (Lecture notes in computer science; 274). doi: 10.1007/978-3-540-69062-7_14