Service Communautaire d'Information sur la Recherche et le Développement - CORDIS

Omega UML kernel model

Define a subset of UML suitable for safety-critical applications, which is rich enough to express such modelling entities of UML used in real-time applications, as active objects, dynamic object creation and destruction, dynamically changing communication topologies, combinations of synchronous and asynchronous communication, and shared memory usage through object attributes. We provide an executable semantics suitable for the formal verification of temporal properties with existing model-checking tools.

For the OMEGA Kernel Model, we have chosen, like the considered CASE tools, a relatively complete subset of the operational part of UML, where the static structure of the system is described in terms of a class diagram with only a few restrictions, where associations between classes express inclusion or accessibility. In particular, like the standard profile, we distinguish between active and passive classes, but with a particular interpretation: the behaviour of an active class and all the classes owned or created by it, represent a mono-threaded behaviour, executing request in a run-to-completion fashion. This notion of activity group is also used in Rhapsody, and is similar to the notion of process in SDL or capsule in ROOM.

Communication between objects is either via asynchronous signals or via synchronous operation calls, where we distinguish between primitive operations, which are executed by the calling thread and normal operations which are scheduled by the active object of the activity group. The behaviour of the system is described by means of an explicit imperative action language, which can be used in combination with a form of state machine notation for describing transition systems extended with data, communication and object creation.

Informations connexes

Reported by

See on map