id: 06103215
dt: a
an: 06103215
au: André, Étienne; Fribourg, Laurent; Kühne, Ulrich; Soulat, Romain
ti: IMITATOR 2.5: a tool for analyzing robustness in scheduling problems.
so: Giannakopoulou, Dimitra (ed.) et al., FM 2012: Formal methods. 18th
    international symposium, Paris, France, August 27‒31, 2012.
    Proceedings. Berlin: Springer (ISBN 978-3-642-32758-2/pbk). Lecture
    Notes in Computer Science 7436, 33-36 (2012).
py: 2012
pu: Berlin: Springer
la: EN
cc: 
ut: real-time systems; parametric timed automata; stopwatches
ci: 
li: doi:10.1007/978-3-642-32759-9_6
ab: Summary: The tool Imitator implements the Inverse Method (IM) for Timed
    Automata (TAs). Given a TA $\mathcal{A}$ and a tuple $π_{0}$ of
    reference valuations for timings, IM synthesizes a constraint around
    $π_{0}$ where $\mathcal{A}$ behaves in the same discrete manner. This
    provides us with a quantitative measure of robustness of the behavior
    of $\mathcal{A}$ around $π_{0}$. The new version Imitator 2.5
    integrates the new features of stopwatches (in addition to standard
    clocks) and updates (in addition to standard clock resets), as well as
    powerful algorithmic improvements for state space reduction. These new
    features make the tool well-suited to analyze the robustness of
    solutions in several classes of preemptive scheduling problems.
rv: