480 search results - page 2 / 96 » On the verification of automotive protocols |
DATE
2008
IEEE
13 years 11 months ago
2008
IEEE
ICSE
2008
IEEE-ACM
14 years 5 months ago
2008
IEEE-ACM
Software is increasingly deployed in vehicles as demand for new functionality increases and cheaper and more powerful hardware becomes available. Likewise, emerging wireless commu...
DAC
1997
ACM
13 years 8 months ago
1997
ACM
We present our experiences with the formal verification of an automotive chip used to control the safety features in a car. We used a BDD based model checker in our work. We descr...
DAC
2007
ACM
13 years 8 months ago
2007
ACM
A growing number of networked applications is implemented on increasingly complex automotive platforms with several bus standards and gateways. Together, they challenge the automo...
ISICT
2003
13 years 6 months ago
2003
: Cryptographic protocols are used to achieve secure communication over insecure networks. Weaknesses in such protocols are hard to identify, as they can be the result of subtle de...