Modeling with logical time in UML for real-time embedded system design

Charles André (1) , Arnaud Cuccuru (1) , Robert de Simone (1) , Jean-Pierre Talpin (2)

1 AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints
2 ESPRESSO - Synchronous programming for the trusted component-based engineering of embedded systems and mission-critical systems

Design of real-time embedded systems requires particular attention to the careful scheduling of application onto execution platform. Precise cycle allocation is often requested to obtain full communication and computation throughput. Our objective is to provide a UML profile where events, actions, and objects can be annotated by ``logical'' clocks. Initially, clocks are not necessarily related. The goal of the scheduling process (and algorithms) is to regulate the data and control flows within predictable bounds. To this end it extracts clock relations that best map the application onto a desired execution platform. ``Clocks-as-schedules'' then act as activation conditions, driving these internal events and actions according to the desired activation patterns. Extra communication and buffering latencies can be introduced in the process. In the paper we describe the domain view of multiple time and logical clocks. We introduce a range of useful operations on them, and their use in various UML views.

Mots clés: UML; LOGICAL TIME; REAL-TIME EMBEDDED SYSTEMS

Domaines: Autre [cs.OH]

Charles André, Arnaud Cuccuru, Robert de Simone, Jean-Pierre Talpin. Modeling with logical time in UML for real-time embedded system design. [Research Report] RR-5895, INRIA. 2006. ⟨inria-00071373⟩