Roméo is an integrated tool
environment for
modeling
A model is an informative representation of an object, person, or system. The term originally denoted the Plan_(drawing), plans of a building in late 16th-century English, and derived via French language, French and Italian language, Italian ult ...
, validation and verification of
real-time
Real-time, realtime, or real time may refer to:
Computing
* Real-time computing, hardware and software systems subject to a specified time constraint
* Real-time clock, a computer clock that keeps track of the current time
* Real-time Control Syst ...
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
(), or Centrale Nantes, is a grande école – a French engineering school – established in 1919 under the name of ''Institut Polytechnique de l'Ouest''. It provides Bachelor, Graduate, Master, Specialized Master, executive education and Ph ...
, University of Nantes
Nantes University () 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 and La Roche-sur-Yon. The university ...
, CNRS
The French National Centre for Scientific Research (, , CNRS) is the French state research organisation and is the largest fundamental science agency in Europe.
In 2016, it employed 31,637 staff, including 11,137 tenured researchers, 13,415 eng ...
) in Nantes
Nantes (, ; ; or ; ) is a city in the Loire-Atlantique department of France on the Loire, from the Atlantic Ocean, Atlantic coast. The city is the List of communes in France with over 20,000 inhabitants, sixth largest in France, with a pop ...
, France
France, officially the French Republic, is a country located primarily in Western Europe. Overseas France, Its overseas regions and territories include French Guiana in South America, Saint Pierre and Miquelon in the Atlantic Ocean#North Atlan ...
.
References
External links
Web page of Roméo Web page of LS2N lab
Model checkers
{{formalmethods-stub