Arctis and Ramses

Arctis and Ramses are two complementary sets of tools for the development of reactive systems, created here at the Department of Telematics. Ramses is a more traditional tool for the creation of systems based on the notion of communicating state machines. System specifications are structured as components, similar to SDL. Arctis, in contrast, uses collaborations among several components as main specification units. During the development, Arctis generates state machines used by Ramses automatically. A brief overview is published here.

To learn more about Arctis, visit