EUROPAR
1997
Springer
13 years 8 months ago
1997
Springer
Abstract. A practical methodology for compilation of trustworthy realtime programs is introduced. It combines new program development and timing analysis techniques with traditiona...
ECRTS
2006
IEEE
13 years 10 months ago
2006
IEEE
FlexRay will very likely become the de-facto standard for in-vehicle communications. However, before it can be successfully used for safety-critical applications that require pred...
DAC
2009
ACM
14 years 5 months ago
2009
ACM
In this paper, a design method for automotive architectures is proposed. The two main technical contributions are (i) a novel hardware/software architecture encoding that unifies ...