480 search results - page 57 / 96 » On the verification of automotive protocols |
HSNMC
2003
Springer
15 years 3 months ago
2003
Springer
The provision of Quality of Service (QoS) in a seamless way over the dominating internetworking protocol of our times (IP), has been a challenge for many researchers in the past ye...
CODES
2003
IEEE
15 years 3 months ago
2003
IEEE
Distributed embedded systems implemented with mixed, eventtriggered and time-triggered task sets, which communicate over bus protocols consisting of both static and dynamic phases...
DFT
2003
IEEE
15 years 3 months ago
2003
IEEE
1 Today many safety-critical applications are based on distributed systems where several computing nodes exchange information via suitable network interconnections. An example of t...
ACSD
2006
IEEE
14 years 11 months ago
2006
IEEE
Reuse of IP blocks has been advocated as a means to conquer the complexity of today's system-on-chip (SoC) designs. Component integration and verification in such systems is ...
107
click to vote
APN
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. In this paper, we introduce a framework composed of a syntax and its compositional Petri net semantics, for the specification and verification of properties (like authent...