Roméo is an integrated tool
environment
Environment most often refers to:
__NOTOC__
* Natural environment, all living and non-living things occurring naturally
* Biophysical environment, the physical and biological factors along with their chemical interactions that affect an organism or ...
for
modeling, validation and verification of
real-time
Real-time or real time describes various operations in computing or other processes that must guarantee response times within a specified time (deadline), usually a relatively short time. A real-time process is generally one that happens in defined ...
systems modeled as time Petri Nets or stopwatch Petri Nets, extended with parameters.
Lime, D
; 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, United Kingdom, March 2009. Springer.
The tool has been developed by the Real-Time Systems group at LS2N lab ( École centrale de Nantes, University of Nantes
The University of Nantes (french: Université de Nantes) is a public university located in the city of Nantes, France. In addition to the several campuses scattered in the city of Nantes, there are two satellite campuses located in Saint-Nazaire a ...
, CNRS
The French National Centre for Scientific Research (french: link=no, Centre national de la recherche scientifique, CNRS) is the French state research organisation and is the largest fundamental science agency in Europe.
In 2016, it employed 31,637 ...
) in Nantes
Nantes (, , ; Gallo: or ; ) is a city in Loire-Atlantique on the Loire, from the Atlantic coast. The city is the sixth largest in France, with a population of 314,138 in Nantes proper and a metropolitan area of nearly 1 million inhabita ...
, France
France (), officially the French Republic ( ), is a country primarily located in Western Europe. It also comprises of Overseas France, overseas regions and territories in the Americas and the Atlantic Ocean, Atlantic, Pacific Ocean, Pac ...
.
References
External links
Web page of Roméo Web page of LS2N lab
Model checkers
{{formalmethods-stub