A novel simulation-based verification pattern for parallel executions in the cloud
| Autor: | Markus Schuß, Kay Römer, Markus Pistauer, Christian Steger, Martin Schachner, Ralph Weissnegger |
|---|---|
| Rok vydání: | 2016 |
| Předmět: |
High-level verification
Functional verification business.industry Computer science Distributed computing Runtime verification 020206 networking & telecommunications 02 engineering and technology Intelligent verification Universal Verification Methodology Embedded system 0202 electrical engineering electronic engineering information engineering Verification and validation of computer simulation models 020201 artificial intelligence & image processing Verification business Software verification |
| Zdroj: | EuroPLoP |
| DOI: | 10.1145/3011784.3011806 |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|