Sprawdzanie modelu Romeo
| Deweloperzy | LS2N |
|---|---|
| Pierwsze wydanie | 2001 |
| Wersja stabilna | 2.9.0 / 18 stycznia 2022 r
|
| Napisane w | C++ i GUI w tcl/tk |
| System operacyjny |
Linux Mac OS X Microsoft Windows |
| Dostępne w | język angielski |
| Typ | Sprawdzenie modelu |
| Strona internetowa | http://romeo.rts-software.org/ |
Roméo to zintegrowane środowisko narzędziowe do modelowania , walidacji i weryfikacji systemów czasu rzeczywistego modelowanych jako czasowe sieci Petriego lub stopery sieci Petriego, rozszerzone o parametry.
Narzędzie zostało opracowane przez grupę Real-Time Systems w laboratorium LS2N ( École centrale de Nantes , University of Nantes , CNRS ) w Nantes we Francji .
- Bibliografia _ wapno, D ; Magnin, M; Roux, O.O. „Romeo: narzędzie do analizy sieci Petriego w czasie”. W 17th International Conference on Computer Aided Verification (CAV'05), tom 3576 Lecture Notes in Computer Science, strony 418-423, Edynburg, Szkocja, Wielka Brytania, lipiec 2005. Springer.
- Bibliografia _ _ Roux, Ohio ; Seidner, C.; Traonouez, LM. „Romeo: parametryczny kontroler modeli dla sieci Petriego ze stoperami”. W 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2009), tom 5505 Lecture Notes in Computer Science, strony 54-57, York, Wielka Brytania, marzec 2009. Springer.
Linki zewnętrzne
Kategorie: