Une extension temporisée de la méthode B pour la spécification et la vérification des systèmes temps-réel
| Autor: | Mamoun Filali, Miloud Rached, Odile Nasr, Jean-Paul Bodeveix |
|---|---|
| Rok vydání: | 2008 |
| Předmět: |
Programming language
Property (programming) Computer science B-Method Substitution (logic) computer.software_genre Formal methods Industrial and Manufacturing Engineering Abstract machine Computer Science Applications Control and Systems Engineering Temporal logic Electrical and Electronic Engineering computer Algorithm Real-time operating system Reactive system |
| Zdroj: | Journal Européen des Systèmes Automatisés. 42:1061-1084 |
| ISSN: | 1269-6935 |
| DOI: | 10.3166/jesa.42.1061-1084 |
| Popis: | 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 languages of classic B. In the former, we introduce a variant of a timed logic incorporating events and high level predicates. In the latter, we add a new substitution to express time progression. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|