5239 search results - page 176 / 1048 » Model-Integrated Embedded Systems |
DATE
2007
IEEE
15 years 8 months ago
2007
IEEE
FlexRay will very likely become the de-facto standard for in-vehicle communications. Its main advantage is the combination of high speed static and dynamic transmission of message...
126
Voted
DELTA
2006
IEEE
15 years 8 months ago
2006
IEEE
We present an approach to the synthesis of fault-tolerant hard real-time systems for safety-critical applications. We use checkpointing with rollback recovery and active replicati...
96
Voted
CODES
2000
IEEE
15 years 6 months ago
2000
IEEE
This paper describes the functional specification and verification portions of El Greco, a system for high-level, heterogeneous functional specification, efficient compiled si...
108
click to vote
IPPS
2000
IEEE
15 years 6 months ago
2000
IEEE
This paper describes a framework for parametric analysis of real-time systems based on process algebra. The Algebra of Communicating Shared Resources ACSR has been extended to AC...
109
Voted
CODES
1997
IEEE
15 years 6 months ago
1997
IEEE
The Pia hardware-software co-simulator provides substantial speedups over traditional co-simulation methods by permitting dynamic changes in the level of detail when simulating co...