Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Odile Nasr"'
Publikováno v:
L'objet. 14:43-72
This paper proposes a methodology for specifying and verifying real time schedulers using the B method. It is based on the refinement mechanism. We introduce successively the notions of scheduling and time. After having specified time management thro
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c8d42227d44796fcfc4de0c2f0ff0dea
https://doi.org/10.3166/obj.14.4.43-72
https://doi.org/10.3166/obj.14.4.43-72
Publikováno v:
Journal Européen des Systèmes Automatisés. 42:1061-1084
The purpose ofthis paper is to present our timed B method for modelling real time reactive systems. It allows to specify and check functional and temporal properties of a system. In this method, we have extended the property and the substitution lang
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::03f43fa1ce36f48e26f31fe3658a8d5d
https://doi.org/10.3166/jesa.42.1061-1084
https://doi.org/10.3166/jesa.42.1061-1084
Publikováno v:
SAC
This paper proposes a methodology for specifying and verifying schedulers using the B method. It is based on the refinement mechanism. The specification must manage time through clocks, whereas the natural modeling of schedulers exploits only stopwat
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1608ddb27e921d896c7bfb7c9ecbfe42
https://doi.org/10.1145/1141277.1141700
https://doi.org/10.1145/1141277.1141700