FORMAL VERIFICATION OF REAL-TIME SYSTEM REQUIREMENTS

Authors

  • Marcin Szpyrka AGH University of Science and Technology

DOI:

https://doi.org/10.7494/csci.2000.2.0.3582

Abstract

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

Download data is not yet available.

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

Downloads

Published

2020-01-02

How to Cite

Szpyrka, M. (2020). FORMAL VERIFICATION OF REAL-TIME SYSTEM REQUIREMENTS. Computer Science, 2. https://doi.org/10.7494/csci.2000.2.0.3582

Issue

Section

Articles