Add to ORKGAbstract. 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 schedulability analysis.
The goal of this paper is to present a tool for automation of designing of real-time embedded system...
We present a framework for the development of real-time embedded systems based on timed automata ext...
A specification theory combines notions of specifications and implementations with a satisfaction re...
This thesis presents a framework for design, analysis, and implementation of embedded systems. We ad...
This is the author (and extended) version of the manuscript of the same name published in the procee...
AbstractIn a formal approach to component specification, interfaces are usually described using pre-...
Timed languages are introduced as a class of languages that accepts timed words: sequences of events...
TIMESQUARE is a software environment for modeling and analysis of timed systems. It supports an impl...
We show that timed automata can be used to model and to analyze timeliness properties of embedded sy...
To date, many industrial embedded systems are very large, flexible, and highly configurable software...
In this paper, we present the Timed Abstract State Machine (TASM) language, which is a language for ...
Embedded systems are used in many technical products of today. The tendency also points to the fact ...
Abstract. We present a framework for the development of real-time embedded systems based on timed au...
this article, we introduce an event-triggered programming model -- timed multitasking (TM), which al...
With the increased use of powerful, performance-optimized hardware components in embedded systems, t...
The goal of this paper is to present a tool for automation of designing of real-time embedded system...
We present a framework for the development of real-time embedded systems based on timed automata ext...
A specification theory combines notions of specifications and implementations with a satisfaction re...
This thesis presents a framework for design, analysis, and implementation of embedded systems. We ad...
This is the author (and extended) version of the manuscript of the same name published in the procee...
AbstractIn a formal approach to component specification, interfaces are usually described using pre-...
Timed languages are introduced as a class of languages that accepts timed words: sequences of events...
TIMESQUARE is a software environment for modeling and analysis of timed systems. It supports an impl...
We show that timed automata can be used to model and to analyze timeliness properties of embedded sy...
To date, many industrial embedded systems are very large, flexible, and highly configurable software...
In this paper, we present the Timed Abstract State Machine (TASM) language, which is a language for ...
Embedded systems are used in many technical products of today. The tendency also points to the fact ...
Abstract. We present a framework for the development of real-time embedded systems based on timed au...
this article, we introduce an event-triggered programming model -- timed multitasking (TM), which al...
With the increased use of powerful, performance-optimized hardware components in embedded systems, t...
The goal of this paper is to present a tool for automation of designing of real-time embedded system...
We present a framework for the development of real-time embedded systems based on timed automata ext...
A specification theory combines notions of specifications and implementations with a satisfaction re...