Analysis for Embedded Systems: Experiments with Priced Timed Automata

Publication: Research - peer-reviewJournal article – Annual report year: 2010

Standard

Analysis for Embedded Systems: Experiments with Priced Timed Automata. / Ovatman, Tolga; Brekling, Aske Wiid; Hansen, Michael Reichhardt.

In: Electronic Notes in Theoretical Computer Science, Vol. 238, No. 6, 2010, p. 81-95.

Publication: Research - peer-reviewJournal article – Annual report year: 2010

Harvard

APA

CBE

MLA

Vancouver

Author

Ovatman, Tolga; Brekling, Aske Wiid; Hansen, Michael Reichhardt / Analysis for Embedded Systems: Experiments with Priced Timed Automata.

In: Electronic Notes in Theoretical Computer Science, Vol. 238, No. 6, 2010, p. 81-95.

Publication: Research - peer-reviewJournal article – Annual report year: 2010

Bibtex

@article{526eb8d1ef434fb98dce267aec798a7f,
title = "Analysis for Embedded Systems: Experiments with Priced Timed Automata",
publisher = "Elsevier BV",
author = "Tolga Ovatman and Brekling, {Aske Wiid} and Hansen, {Michael Reichhardt}",
year = "2010",
doi = "10.1016/j.entcs.2010.06.006",
volume = "238",
number = "6",
pages = "81--95",
journal = "Electronic Notes in Theoretical Computer Science",
issn = "1571-0661",

}

RIS

TY - JOUR

T1 - Analysis for Embedded Systems: Experiments with Priced Timed Automata

A1 - Ovatman,Tolga

A1 - Brekling,Aske Wiid

A1 - Hansen,Michael Reichhardt

AU - Ovatman,Tolga

AU - Brekling,Aske Wiid

AU - Hansen,Michael Reichhardt

PB - Elsevier BV

PY - 2010

Y1 - 2010

N2 - Analysis of resource consumption of embedded systems is a major challenge in the industry since the number of components that can be included in a single chip keeps getting bigger. In this paper, we consider simple models of embedded systems and the automated analysis about timing and memory access costs of those models. In order to achieve this, a basic model is built using priced timed automata and some resource consumption scenarios are verified. Even though the experiments are performed on small and basic models, we believe we have taken a basis step in showing that it is promising to use priced timed automata and Uppaal Cora as a model checking tool in reasoning about resource consumption of embedded systems.

AB - Analysis of resource consumption of embedded systems is a major challenge in the industry since the number of components that can be included in a single chip keeps getting bigger. In this paper, we consider simple models of embedded systems and the automated analysis about timing and memory access costs of those models. In order to achieve this, a basic model is built using priced timed automata and some resource consumption scenarios are verified. Even though the experiments are performed on small and basic models, we believe we have taken a basis step in showing that it is promising to use priced timed automata and Uppaal Cora as a model checking tool in reasoning about resource consumption of embedded systems.

U2 - 10.1016/j.entcs.2010.06.006

DO - 10.1016/j.entcs.2010.06.006

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

SN - 1571-0661

IS - 6

VL - 238

SP - 81

EP - 95

ER -