A Novel Simulation-based Verification Pattern for Parallel Executions in the Cloud

Ralph Peter Weissnegger, Markus Schuß, Martin Schachner, Kay Uwe Römer, Markus Pistauer, Christian Steger

Publikation: KonferenzbeitragPaper

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.
Originalspracheenglisch
DOIs
PublikationsstatusVeröffentlicht - 2016
Veranstaltung21st European Conference on Pattern Languages of Programs, EuroPLoP 2016 - Kloster Irsee, Kaufbeuren, Deutschland
Dauer: 6 Jul 201610 Jul 2016

Konferenz

Konferenz21st European Conference on Pattern Languages of Programs, EuroPLoP 2016
LandDeutschland
OrtKaufbeuren
Zeitraum6/07/1610/07/16

Fingerprint Untersuchen Sie die Forschungsthemen von „A Novel Simulation-based Verification Pattern for Parallel Executions in the Cloud“. Zusammen bilden sie einen einzigartigen Fingerprint.

  • Projekte

    Hardware/Software-Codesign

    Pieber, T. W., Steger, C., Weiß, R., Ulz, T., Schachner, M., Kreiner, C. J., Plank, H., Troyer, M., Gressl, L. A., Seifert, C., Warmer, F., Rech, A., Erb, M., Scherr, F., Kammerer, M., Stelzer, P., Frewein, A., Strasser, A., Lindner, J., Ess, A., Feldbacher, M. & Weissteiner, H.

    1/01/95 → …

    Projekt: Arbeitsgebiet

    Dieses zitieren

    Weissnegger, R. P., Schuß, M., Schachner, M., Römer, K. U., Pistauer, M., & Steger, C. (2016). A Novel Simulation-based Verification Pattern for Parallel Executions in the Cloud. Beitrag in 21st European Conference on Pattern Languages of Programs, EuroPLoP 2016, Kaufbeuren, Deutschland. https://doi.org/10.1145/3011784.3011806