SwePub - search: WFRF:(Amnell Tobias)

Enumeration	Reference	Cover	Find
1.	Amnell, Tobias, et al. (author) Code Synthesis for Timed Automata 2002 In: Nordic Journal of Computing. - 1236-6064. ; 9:4, s. 269-300 Journal article (peer-reviewed)
2.	Amnell, Tobias, et al. (author) Code Synthesis for Timed Automata 2002 Reports (other academic/artistic)abstract 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.
3.	Amnell, Tobias, et al. (author) Times : A Tool for Modelling and Implementation of Embedded Systems 2002 In: Tools and Algorithms for the Construction and Analysis of Systems. - Berlin : Springer-Verlag. - 3540434194 ; , s. 460-464 Conference paper (peer-reviewed)

Skapa referenser, mejla, bekava och länka

Träfflista för sökning "WFRF:(Amnell Tobias) srt2:(2002)"