1054 search results - page 41 / 211 » Models for automatic generation of safety-critical real-time... |
CODES
2003
IEEE
15 years 5 months ago
2003
IEEE
Current methods cannot synthesize real-time embedded software applications when the global deadline of a task is shorter than the total of all local deadlines along a critical pat...
102
click to vote
IANDC
2007
14 years 11 months ago
2007
We present a model, task automata, for real time systems with non-uniformly recurring computation tasks. It is an extended version of timed automata with asynchronous processes th...
DAGSTUHL
2009
15 years 27 days ago
2009
Modelling architectural information is particularly important because of the acknowledged crucial role of software architecture in raising the level of abstraction during developme...
CLEIEJ
2002
14 years 11 months ago
2002
This paper presents a Component-based Framework Development Process, of the Cardiology Domain. The Framework, called FrameCardio, was developed in 4 steps: 1Problem Domain Definit...
101
click to vote
SAC
2008
ACM
14 years 11 months ago
2008
ACM
The basic theory of supervisory control of discrete-event systems is extended with the notion of templates, which simplifies the modeling of controllers since one can work with co...