IST-2001-33522 OMEGA

Correct Development of Real-Time Embedded Systems

The OMEGA toolset

The OMEGA toolset
     Timed system verification
     Untimed system verification
     PVS tools
     LSC tools
The OMEGA UML profile
Case studies
Publications and bibliography
Download documents
Partners & Persons
Related links

The OMEGA toolset depicted below is formed of four components linked by the common semantics of the OMEGA UML profile and by the use of the XMI format.
Click on the image below to access more detailed information and other resources for each component.

You are currently authenticated as omegapublic (level 0)
For comments about this site please contact the webmaster