Romeo Model Checker
Encyclopedia
Roméo is an integrated tool
environment for modeling
, validation and verification of real-time
systems modeled as time Petri Nets or stopwtach Petri Nets, extended with parameters .
The tool has been developed by the Real-Time Systems group at IRCCyN lab (École centrale de Nantes
, University of Nantes
, CNRS) in Nantes
, France
.
Tool
A tool is a device that can be used to produce an item or achieve a task, but that is not consumed in the process. Informally the word is also used to describe a procedure or process with a specific purpose. Tools that are used in particular fields or activities may have different designations such...
environment for modeling
Model checking
In computer science, model checking refers to the following problem:Given a model of a system, test automatically whether this model meets a given specification....
, validation and verification of real-time
Real-time computing
In computer science, real-time computing , or reactive computing, is the study of hardware and software systems that are subject to a "real-time constraint"— e.g. operational deadlines from event to system response. Real-time programs must guarantee response within strict time constraints...
systems modeled as time Petri Nets or stopwtach Petri Nets, extended with parameters .
The tool has been developed by the Real-Time Systems group at IRCCyN lab (École centrale de Nantes
École Centrale de Nantes
École Centrale de Nantes is one of the French Grandes écoles of engineering.-Location:The Ecole Centrale de Nantes is located in Nantes, France . Nantes is only at two hours by train from Paris...
, University of Nantes
University of Nantes
The University of Nantes is a well-known French university, located in the city of Nantes. Currently, it is attended by approximately 34,000 students. 10% of them are international students coming from 110 countries.-History:...
, CNRS) in Nantes
Nantes
Nantes is a city in western France, located on the Loire River, from the Atlantic coast. The city is the 6th largest in France, while its metropolitan area ranks 8th with over 800,000 inhabitants....
, France
France
The French Republic , The French Republic , The French Republic , (commonly known as France , is a unitary semi-presidential republic in Western Europe with several overseas territories and islands located on other continents and in the Indian, Pacific, and Atlantic oceans. Metropolitan France...
.