Skip to main content

4 Result(s)

within Leonid Mokrushin Remove this filter

and

  1. No Access

    Chapter and Conference Paper

    TIMES: A Tool for Schedulability Analysis and Code Generation of Real-Time Systems

    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 model consisting of (1) a se...

    Tobias Amnell, Elena Fersman… in Formal Modeling and Analysis of Timed Syst… (2004)

  2. No Access

    Chapter and Conference Paper

    Timed vs. Time-Triggered Automata

    To establish a semantic foundation for the synthesis of executable programs from timed models, we study in what sense the timed language (i.e. sequences of events with real-valued time-stamps) of a timed autom...

    Pavel Krčál, Leonid Mokrushin, P. S. Thiagarajan… in CONCUR 2004 - Concurrency Theory (2004)

  3. Chapter and Conference Paper

    Schedulability Analysis Using Two Clocks

    In classic scheduling theory, real-time tasks are usually assumed to be periodic, i.e. tasks arrive and compute with fixed rates periodically. To relax the stringent constraints on task arrival times, we propo...

    Elena Fersman, Leonid Mokrushin… in Tools and Algorithms for the Construction … (2003)

    Download PDF (824 KB)

  4. Chapter and Conference Paper

    TIMES b— A Tool for Modelling and Implementation of Embedded Systems

    Times is a modelling and schedulability analysis tool for embedded real-time systems, developed at Uppsala University in 2001. It is appropriate for systems that can be described as a set of preemptive or non-pre...

    Tobias Amnell, Elena Fersman… in Tools and Algorithms for the Construction … (2002)

    Download PDF (598 KB)