Searching for authors named "Tobias Amnell" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

7 documents found, showing 1 through 7.

Code synthesis for timed automata
by Tobias Amnell, Tobias Amnell, Tobias Amnell — 2003 — Nordic Journal of Computing
…ii In this thesis, we study executable behaviours of timed models. The focus is on synthesis of executable code with predictable behaviours from high level abstract models. We assume that a timed system consists of two parts: the control software and the plant (i.e. the environment to be controlled)…
Cited by 12 (4 self) – Add To MetaCart

A Real-Time Animator for Hybrid Systems
by Tobias Amnell, Alexandre David, Re David, Wang Yi — 1985 — of Lecture Notes in Computer Science
…In this paper, we present a real time animator for dynamical systems that can be modeled as hybrid automata i.e. standard finite automata extended with differential equations. We describe its semantic foundation and its implementation in Java and C using CVODE, a software package for solving ordinar…
Cited by 1 (0 self) – Add To MetaCart

TIMES: a Tool for Schedulability Analysis and Code Generation of Real-Time Systems
by Tobias Amnell, Elena Fersman, Leonid Mokrushin, Paul Pettersson, Wang Yi — 2003 — In Proc. of FORMATS’03, number 2791 in LNCS
…Times is a tool suite designed mainly for symbolic schedulability analysis and synthesis of executable code with predictable behaviours for real-time systems. Given a system design model consisting of (1) a set of application tasks whose executions may be required to meet mixed timing, precedenc…
Cited by 21 (1 self) – Add To MetaCart

Tools for Real-Time UML: Formal Verification and Code Synthesis
by Tobias Amnell, Alexandre David, Elena Fersman, M. Oliver Möller, Paul Petterson, Wang Yi — 2001
…We present a real-time extension of UML statecharts to enable modelling and verification of real-timed constraints. For clarity, we shall consider a reasonable subset of the rich UML statechart model and extend it with real-time constructs (clocks, timed guards, invariants and real-time tasks). W…
Cited by 2 (1 self) – Add To MetaCart

TIMES - A Tool for Modelling and Implementation of
by Embedded Systems Tobias, Tobias Amnell, Elena Fersman, Leonid Mokrushin, Paul Pettersson, Wang Yi — 2002
…Times is a new modelling, scheduling, and code-generation tool for embedded real-time systems modelled as timed automata extended with sporadic, periodic, non-preemptive, or preemptive asynchronous processes. It provides a graphical interface for editing and simulation, and an engine for schedula…
Add To MetaCart

Nordic Journal of Computing
by Code Synthesis For, Tobias Amnell, Elena Fersman, Paul Pettersson, Hongyan Sun, Wang Yi
…We present a framework for the development of real-time embedded systems based on timed automata extended with a notion of real-time tasks. It has been shown previously that reachability and schedulability for such automata can be checked eectively using model checking techniques. In this paper, we …
Add To MetaCart

UPPAAL - Now, Next, and Future
by Tobias Amnell, Gerd Behrmann, Johan Bengtsson, Pedro R. D'Argenio, Alexandre David, Ansgar Fehnker, Thomas Hune, Bertrand Jeannet, Kim G. Larsen, M. Oliver Möller, Paul Pettersson, Carsten Weise, Wang Yi — 2001 — In Proc. MOVEP’00, LNCS 2067
…Uppaal is a tool for modeling, simulation and verification of real-time systems, developed jointly by BRICS at Aalborg University and the Department of Computer Systems at Uppsala University. The tool is appropriate for systems that can be modeled as a collection of non-deterministic processes with …
Cited by 4 (0 self) – Add To MetaCart

Showing 1 through 7.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB