12 search results - page 1 / 3 » Challenges in the Verification of Electronic Control Units |
FTRTFT
2000
Springer
13 years 8 months ago
2000
Springer
ENTCS
2006
13 years 4 months ago
2006
The Web poses novel and interesting problems for both programming language design and verification--and their intersection. This paper provides a personal outline of one thread of...
BIRTHDAY
2006
Springer
13 years 8 months ago
2006
Springer
We describe a gate level design of a FlexRay-like bus interface. An electronic control unit (ECU) is obtained by integrating this interface into the design of the verified VAMP pro...
ICN
2009
Springer
13 years 11 months ago
2009
Springer
— Automotive theft has been a persisting problem around the world and greater challenge comes from professional thieves. In this paper, we present an automotive security system t...
AOSD
2008
ACM
13 years 6 months ago
2008
ACM
e instantiation is the transformation of abstract test cases cutable test scripts. Abstract test cases are either created during model based test case generation or are manually d...