Code Synthesis for Timed Automata

Amnell, Tobias (författare)

Fersman, Elena (författare)

Pettersson, Paul (författare)

Department of Information Technology, Uppsala University, 2002
Engelska.
Serie: Technical report / Department of Information Technology, Uppsala University, 1404-3203 ; 2002-020

Relaterad länk:: https://uu.diva-port... (primary) (Raw object); visa fler...; https://urn.kb.se/re...; visa färre...

Abstract Ämnesord

Stäng

We present a framework for development of real-time embedded systems based on the recently presented model of timed automata extended with real-time tasks. It has been shown previously that design problems such as reachability and schedulability are decidable for the model of timed automata with tasks. In this paper we describe how to automatically synthesise executable code with predictable timing behaviour, which is guaranteed to meet constraints (timing and other) imposed on the design model. To demonstrate the applicability of the framework, implemented in the Times tool, we present a case-study of a well known production cell, built in LEGO and controlled by a Hitachi H8 based LEGO Mindstorm control brick.

Av författaren/redakt...: Amnell, Tobias; Fersman, Elena; Pettersson, Paul; Sun, Hongyan; Yi, Wang

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.