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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Heisel, M., Souquières, J.: A method for requirements elicitation and formal specification. In: Akoka, J., Bouzeghoub, M., Comyn-Wattiau, I., Métais, E. (eds.) ER 1999. LNCS, vol. 1728, pp. 309–325. Springer, Heidelberg (1999)
Zave, P., Jackson, M.: Four dark corners of requirements engineering. ACM Trans. Softw. Eng. Methodol. 6(1), 1–30 (1997)
Jackson, M.: Problem Frames: Analysing and Structuring Software Development Problems. Addison-Wesley, Reading (2000)
MOCA project - ongoing work, http://moca.ewi.utwente.nl/WORK.html/
Marincic, J., Wupper, H., Mader, A., Wieringa, R.: Obtaining formal models through non-monotonic refinement. Technical report TR-CTIT-07-33, CTIT, Univ. of Twente, The Netherlands (2007)
Marincic, J., Mader, A., Wieringa, R.: Capturing assumptions while designing a verification model for embedded systems. Technical report TR-CTIT-07-03, CTIT, Univ. of Twente, The Netherlands (2007)
Seater, R., Jackson, D., Gheyi, R.: Requirement progression in problem frames: deriving specifications from requirements. Requir. Eng. 12(2), 77–102 (2007)
Hall, J.G., Rapanotti, L., Jackson, M.: Problem oriented software engineering: A design-theoretic framework for software engineering. sefm 0, 15–24 (2007)
Dardenne, A., Fickas, S., van Lamsweerde, A.: Goal-directed concept acquisition in requirements elicitation. In: Procs of IWSSD 1991, pp. 14–21. IEEE Computer Society Press, Los Alamitos (1991)
Giorgini, P., Mylopoulos, J., Sebastiani, R.: Goal-oriented requirements analysis and reasoning in the tropos methodology. Engineering Applications of Artifcial Intelligence 18/2 (2005)
Choppy, C., Reggio, G.: Towards a formally grounded software development method. Technical Report DISI-TR-03-35, Universita di Genova, Italy (2003)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Marinčić, J., Mader, A., Wieringa, R. (2008). Classifying Assumptions Made during Requirements Verification of Embedded Systems. In: Paech, B., Rolland, C. (eds) Requirements Engineering: Foundation for Software Quality. REFSQ 2008. Lecture Notes in Computer Science, vol 5025. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-69062-7_14
Download citation
DOI: https://doi.org/10.1007/978-3-540-69062-7_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-69060-3
Online ISBN: 978-3-540-69062-7
eBook Packages: Computer ScienceComputer Science (R0)