Roméo est un atelier logiciel pour la validation et la vérification (Model-checking) de systèmes temps réel modélisés par des réseaux de Petri temporelsGardey, G ; Lime, D ; Magnin, M ; Roux, OH. "Roméo: A tool for analyzing time Petri nets". In 17th International Conference on Computer Aided Verification (CAV'05), volume 3576 of Lecture Notes in Computer Science, pages 418-423, Édimbourg, Écosse, UK, juillet 2005. Springer., à chronomètres ou paramétriques Lime, D ; Roux, OH ; Seidner, C ; Traonouez, LM. "Romeo: A parametric model-checker for Petri nets with stopwatches". In 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2009), volume 5505 of Lecture Notes in Computer Science, pages 54-57, York, Royaume-Uni, mars 2009. Springer..
Cet outil est développé par l'équipe Systèmes Temps Réel de l'LS2N (École centrale de Nantes, université de Nantes, CNRS) à Nantes, France. Roméo fonctionne sur les plates-formes Linux, Mac OS X et Windows.
Liens externes Web page of Roméo Web page of LS2N lab
Références
Catégorie:Méthode formelle Catégorie:Méthode de développement logiciel