26 search results - page 3 / 6 » emsoft 2007 |
163
click to vote
EMSOFT
2007
Springer
15 years 10 months ago
2007
Springer
Synchronous reactive formalisms associate concurrent behaviors to precise schedules on global clock(s). This allows a non-ambiguous notion of "absent" signal, which can ...
197
click to vote
EMSOFT
2007
Springer
16 years 20 days ago
2007
Springer
We address the problem of mapping a set of processes which communicate synchronously on a distributed platform. The Time Triggered Architecture (TTA) proposed by Kopetz for the co...
208
click to vote
EMSOFT
2007
Springer
16 years 20 days ago
2007
Springer
In networked control systems the controller of a physicallydistributed plant is implemented as a collection of tightlyinteracting, concurrent processes running on a distributed ex...
175
click to vote
EMSOFT
2007
Springer
16 years 20 days ago
2007
Springer
Architecture description languages are used to describe both the hardware and software architecture of an application, at system-level. The basic software components are intended ...
177
click to vote
EMSOFT
2007
Springer
16 years 20 days ago
2007
Springer
We explain the design of the interpretation-based static analyzer Astr´ee and its use to prove the absence of run-time errors in safety-critical codes. Categories and Subject Des...