Paper Info
Title
Simulation-based verification of the MOST NetInterface specification revision 3.0
Abstract
Design and specification errors are hard to find in the traditional automotive system design flow. Consequently, these errors may be detected very late e.g. in a hardware prototype or even worse in the final product. In order to allow the verification of distributed embedded systems in early design phases, this work proposes a flexible and efficient virtual prototyping approach in order to check the consistency of system specifications. Our virtual prototyping approach has been applied to the Media Oriented Systems Transport (MOST) specification revision 3.0 and verifies the influence of two newly specified algorithms, namely Ring Break Diagnosis and Sudden Signal Off detection, with respect to numerous network configurations. In total we have verified the specification using more than 105 automatically generated network configurations. The overall costs for network modelling and verification compared to cost-expensive error detection and correction at later design phases have been significantly reduced.
Year
DOI
Venue
2010
10.1109/DATE.2010.5457148
DATE
Keywords
Field
DocType
automotive engineering,embedded systems,formal specification,formal verification,virtual prototyping,MOST NetInterface specification revision 3.0,automotive system design flow,distributed embedded systems,media oriented systems transport,network configuration,network modelling,ring break diagnosis,simulation-based verification,specification errors,sudden signal off detection,virtual prototyping
Automatic test pattern generation,Functional verification,Algorithm design,Computer science,Real-time computing,Formal specification,Error detection and correction,Design flow,Formal verification,Virtual prototyping
Conference
ISSN
Citations 
PageRank 
1530-1591
2
0.39
References 
Authors
12
4
Name
Order
Citations
PageRank
Andreas Braun120.39
Oliver Bringmann258671.36
Djones Lettnin3397.68
Wolfgang Rosenstiel41462212.32