SwePub - sökning: WFRF:(Amnell Tobias)

Numrering	Referens	Omslagsbild	Hitta
1.	Amnell, Tobias, et al. (författare) Code Synthesis for Timed Automata 2002 Ingår i: Nordic Journal of Computing. - 1236-6064. ; 9:4, s. 269-300 Tidskriftsartikel (refereegranskat)
2.	Amnell, Tobias, et al. (författare) Code Synthesis for Timed Automata 2002 Rapport (övrigt vetenskapligt/konstnärligt)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. (författare) Times : A Tool for Modelling and Implementation of Embedded Systems 2002 Ingår i: Tools and Algorithms for the Construction and Analysis of Systems. - Berlin : Springer-Verlag. - 3540434194 ; , s. 460-464 Konferensbidrag (refereegranskat)

Skapa referenser, mejla, bekava och länka

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