FORMAL VERIFICATION OF REAL-TIME SYSTEM REQUIREMENTS
DOI:
https://doi.org/10.7494/csci.2000.2.0.3582Abstract
The methodology of system reąuirements verification presented in this paper is a proposition of a practical procedurę for reducing some negatives of the specification of reąuirements. The main problem that is considered is to create a complete description o f the system reąuirements without any negatives. Verification of the initially deftned reąuirements is based on the coloured Pctri nets. Those nets are useful for testing some properties of system reąuirements such as complete- ness, consistency and optimality. An example of the lift controller is presented.
Downloads
References
Alford M.: ŚREM at the Age of Eight; The Distributed Computing Design System. Computer, Vol. 18, 1985, No 4, 36-46
Braek R., Haugen O.: Engineering Real-Time Systems. Prentice Hall 1993
Coad P., Yourdon E.: Analiza obiektowa. Warszawa, Oficyna Wydawnicza Read Me
Davis A.M.: A Comparison o f Techniąues For the Specification o f External Systems
Behaviour. Communication of the ACM Vol. 31, No 9,1988, 1098-1115
Jensen K.: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical
Use. Vol.l, 2 & 3. New York, Springer Verlag 1996
Macaulay L.A.: Reąuirements Engineering. Springer Verlag 1996
Sacha K.: Projektowanie oprogramowania systemów wbudowanych. Prace Naukowe
Politechniki Warszawskiej z. 115, Warszawa, Oficyna Wydawnicza Politechniki
Warszawskiej 1996
Szmuc T.: Problemy tworzenia oprogramowania systemów czasu rzeczywistego. Ra
port z Pierwszej Krajowej Konferencji: Systemy i metody komputerowe w badaniach
naukowych i projektowaniu in ynierskim, rozdział 5, s.1-20, 1997
Ward P.T., Mellor S.J.: Structured Development for Real-Time Systems. Prentice
Hall, Yourdon Press 1985
Yourdon E.: Modern Structured Analysis. Tłum. na jęz. polski: Współczesna Analiza
Strukturalna. Prentice Hall 1988, Warszawa, WNT 1996