Name
Abstract | ||
|---|---|---|
Simulation-based verification is one of the most essential verification-methods in today's development of embedded systems. To ensure a reliable system, not only functional but also non-functional properties like timing, power, thermal or safety must be taken into account. These properties must also be verified concerning standards like the ISO26262 for functional safety in the automotive domain. Since millions of test kilometre have to be driven to ensure a reliable system, simulation is becoming more and more important, since the costs for physical tests cannot be handled anymore. One verification methods which has been established in the field of embedded systems is the Universal Verification Methodology (UVM). However, this method has the drawback of consuming too much time when executing thousands of simulations with varying parameters in a sequential manner. Therefore, it needs new methodologies to speed-up this verification process through parallelization. In this paper, we present a novel approach which extends the layered pattern of UVM with message patterns used in today's cloud computing. This helps design and verification engineers in the embedded system domain to gain their simulation results much faster. The result of this work is a complete verification environment, which uses the full potential of our newly defined verification pattern. |
Year | DOI | Venue |
|---|---|---|
2016 | 10.1145/3011784.3011806 | EuroPLoP |
Field | DocType | Citations |
Universal Verification Methodology,Verification and validation of computer simulation models,Functional verification,Systems engineering,Intelligent verification,Computer science,Verification,Runtime verification,High-level verification,Software verification,Distributed computing,Embedded system | Conference | 0 |
PageRank | References | Authors |
0.34 | 0 | 6 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Ralph Weissnegger | 1 | 5 | 3.22 |
| Markus Schuß | 2 | 0 | 0.34 |
| Martin Schachner | 3 | 0 | 0.68 |
| Kay Römer | 4 | 1270 | 137.16 |
| Christian Steger | 5 | 113 | 35.77 |
| Markus Pistauer | 6 | 29 | 8.14 |