IMITATOR 2.5: A tool for analyzing robustness in scheduling problems

Étienne André; Laurent Fribourg; Ulrich Kühne; Romain Soulat

doi:10.1007/978-3-642-32759-9_6

IMITATOR 2.5: A tool for analyzing robustness in scheduling problems

Étienne André, Laurent Fribourg, Ulrich Kühne, Romain Soulat

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Abstract

The tool Imitator implements the Inverse Method (IM) for Timed Automata (TAs). Given a TA and a tuple π ₀ of reference valuations for timings, IM synthesizes a constraint around π ₀ where behaves in the same discrete manner. This provides us with a quantitative measure of robustness of the behavior of around π ₀. 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.

Original language	English
Title of host publication	FM 2012
Subtitle of host publication	Formal Methods - 18th International Symposium, Proceedings
Pages	33-36
Number of pages	4
DOIs	https://doi.org/10.1007/978-3-642-32759-9_6
Publication status	Published - 13 Sept 2012
Externally published	Yes
Event	18th International Symposium on Formal Methods, FM 2012 - Paris, France Duration: 27 Aug 2012 → 31 Aug 2012

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	7436 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	18th International Symposium on Formal Methods, FM 2012
Country/Territory	France
City	Paris
Period	27/08/12 → 31/08/12

Keywords

Parametric Timed Automata
Real-Time Systems
Stopwatches

Access to Document

10.1007/978-3-642-32759-9_6

Cite this

André, É., Fribourg, L., Kühne, U., & Soulat, R. (2012). IMITATOR 2.5: A tool for analyzing robustness in scheduling problems. In FM 2012: Formal Methods - 18th International Symposium, Proceedings (pp. 33-36). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 7436 LNCS). https://doi.org/10.1007/978-3-642-32759-9_6

@inproceedings{244de577e17d4e78b639e29b69997727,

title = "IMITATOR 2.5: A tool for analyzing robustness in scheduling problems",

abstract = "The tool Imitator implements the Inverse Method (IM) for Timed Automata (TAs). Given a TA and a tuple π 0 of reference valuations for timings, IM synthesizes a constraint around π 0 where behaves in the same discrete manner. This provides us with a quantitative measure of robustness of the behavior of 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.",

keywords = "Parametric Timed Automata, Real-Time Systems, Stopwatches",

author = "{\'E}tienne Andr{\'e} and Laurent Fribourg and Ulrich K{\"u}hne and Romain Soulat",

year = "2012",

month = sep,

day = "13",

doi = "10.1007/978-3-642-32759-9\_6",

language = "English",

isbn = "9783642327582",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "33--36",

booktitle = "FM 2012",

note = "18th International Symposium on Formal Methods, FM 2012 ; Conference date: 27-08-2012 Through 31-08-2012",

}

André, É, Fribourg, L, Kühne, U & Soulat, R 2012, IMITATOR 2.5: A tool for analyzing robustness in scheduling problems. in FM 2012: Formal Methods - 18th International Symposium, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 7436 LNCS, pp. 33-36, 18th International Symposium on Formal Methods, FM 2012, Paris, France, 27/08/12. https://doi.org/10.1007/978-3-642-32759-9_6

IMITATOR 2.5: A tool for analyzing robustness in scheduling problems. / André, Étienne; Fribourg, Laurent; Kühne, Ulrich et al.
FM 2012: Formal Methods - 18th International Symposium, Proceedings. 2012. p. 33-36 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 7436 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - IMITATOR 2.5

T2 - 18th International Symposium on Formal Methods, FM 2012

AU - André, Étienne

AU - Fribourg, Laurent

AU - Kühne, Ulrich

AU - Soulat, Romain

PY - 2012/9/13

Y1 - 2012/9/13

N2 - The tool Imitator implements the Inverse Method (IM) for Timed Automata (TAs). Given a TA and a tuple π 0 of reference valuations for timings, IM synthesizes a constraint around π 0 where behaves in the same discrete manner. This provides us with a quantitative measure of robustness of the behavior of 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.

AB - The tool Imitator implements the Inverse Method (IM) for Timed Automata (TAs). Given a TA and a tuple π 0 of reference valuations for timings, IM synthesizes a constraint around π 0 where behaves in the same discrete manner. This provides us with a quantitative measure of robustness of the behavior of 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.

KW - Parametric Timed Automata

KW - Real-Time Systems

KW - Stopwatches

U2 - 10.1007/978-3-642-32759-9_6

DO - 10.1007/978-3-642-32759-9_6

M3 - Conference contribution

AN - SCOPUS:84866000742

SN - 9783642327582

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 33

EP - 36

BT - FM 2012

Y2 - 27 August 2012 through 31 August 2012

ER -

IMITATOR 2.5: A tool for analyzing robustness in scheduling problems

Abstract

Publication series

Conference

Keywords

Access to Document

Fingerprint

Cite this