Repository logo

Browsing by Subject "real-time system requirements"

Filter results by typing the first few letters
Now showing 1 - 1 of 1
  • thumbnail.journal.alt
    Item type:Article, Access status: Open Access ,
    Formalna weryfikacja wymagań systemów czasu rzeczywistego
    (Wydawnictwa AGH, 2000) Szpyrka, Marcin
    The methodology of system requirements verification presented in this paper is a proposition of a practical procedure for reducing some negatives of the specification of requirements. The main problem that is considered is to create a complete description of the system requirements without any negatives. Verification of the initially defined requirements is based on the coloured Petri nets. Those nets are useful for testing some properties of system requirements such as completeness, consistency and optimality. An example of the lift controller is presented.