Times is a tool suite designed mainly for symbolic schedulability analysis and synthesis of
executable code with predictable behaviours for real-time systems. Given a system design …

This paper presents a technique and a tool for model-checking operational (design level)
UML models based on a mapping to a model of communicating extended timed automata …

The aim of this paper is to show, how a multitasking application running under a real-time
operating system compliant with an OSEK/VDX standard can be modeled by timed …

This paper describes an approach for real-time modelling in UML, focusing on analysis and
verification of time and scheduling-related properties. To this aim, a concrete UML profile …

In this paper, we address the problem of symbolically computing the region in the
parameter's space that guarantees a feasible schedule, given a set of real-time tasks …

In this thesis, we study executable behaviours of timed models. The focus is on synthesis of
executable code with predictable behaviours from high level abstract models. We assume …

We study schedulability problems of timed systems with non-uniformly recurring computation
tasks. Assume a set of real time tasks whose best and worst execution times, and deadlines …

In this paper, we propose a method for the verification of timed properties for real-time
systems featuring a preemptive scheduling policy: the system, modeled as a scheduling time …

This article presents the modeling of a distributed fault-tolerant real-time application by timed
automata. The application under consideration consists of several processors …

In off-line schedulability tests for real time systems, tasks are usually assumed to be periodic,
ie they are released with fixed rates. To relax the assumption of complete knowledge on …