480 search results - page 5 / 96 » On the verification of automotive protocols |
DAC
2007
ACM
13 years 11 months ago
2007
ACM
In this paper, we describe several experiments designed to characterize jitter in an actual automotive application designed using FlexCAN, a CAN based communication architecture. ...
DATE
2003
IEEE
14 years 19 days ago
2003
IEEE
We propose a new approach to accelerate transaction level verification by raising the productivity of the verification suites including test patterns, protocol checker, and simula...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
Message Sequence Charts (MSCs) are an appealing visual formalism mainly used in the early stages of system design to capture the system requirements. However, if we move towards a...
ASWSD
2006
Springer
13 years 11 months ago
2006
Springer
Automotive software has become an important factor in the development of modern and innovative high-end vehicles. More and more functions can only be realized by the cooperation of...
DFT
2003
IEEE
14 years 19 days ago
2003
IEEE
In the last years, new requirements in terms of vehicle performance increased significantly the amount of on-board electronics, thus raising more concern about safety and fault to...