NDLI: A novel simulation-based verification pattern for parallel executions in the cloud

Please wait, while we are loading the content...

Patterns for designing configurability into domain-specific language elements

Quality attestation: an open source pattern

Experience paper about application of enterprise integration patterns in an industry context

A pattern language for RESTful conversations

Internet of things patterns

The task-oriented occurrence pattern

API patterns in C

The star pattern: representing domain concepts in a uniform way

What makes a design pattern language?: value system and organizing principle

The innovation-driven hackathon: one means for accelerating innovation

Knowledge profiles of employees

A pattern collection for knowledge processing system architecture

Patterns to establish a secure communication channel

Static and dynamic integrity properties patterns

A collection of patterns for prime generation

Risk-based authenticator for web applications

A pattern language for building an infrastructure of a digital knowledge base

A time sort filing system pattern

Pattern-oriented approaches for design-based research in collaborative research projects: a knowledge maturing perspective

A novel simulation-based verification pattern for parallel executions in the cloud

The magic 5 of innovation: judgement patterns

Student's choice of assessment

Process patterns for requirement consistency analysis

Towards a pattern language for construction and maintenance of software architecture traceability links

Describing binding time in software design patterns

From requirement to design patterns for ubiquitous computing applications

A reference architecture for web browsers: part II, a pattern for web browser content renderer

Design patterns for helping students to learn to represent math problems in online learning systems

Generator patterns: a pattern language for collaborative inquiry

Major variants of the SIS architecture pattern for collective intelligence systems

Patterns for identification of trust concerns and specification of trustworthiness requirements

Video assessment patterns: designing video player for integrated assessment

An analytical study of security patterns

Is there a need for a programming language adapted for implementation of design patterns?

Buying software: focus group summary

A novel simulation-based verification pattern for parallel executions in the cloud

Content Provider	ACM Digital Library
Author	Römer, Kay Schachner, Martin Weissnegger, Ralph Steger, Christian Pistauer, Markus Schuß, Markus
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.
Starting Page	1
Ending Page	9
Page Count	9
File Format	PDF
ISBN	9781450340748
DOI	10.1145/3011784.3011806
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2016-07-06
Publisher Place	New York
Access Restriction	Subscribed
Subject Keyword	Message patterns Iso26262 Uml Cyber-physical systems Functional safety Verification Uvm
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

UVM BASED REUSABLE VERIFICATION IP FOR WISHBONE COMPLIANT SPI MASTER CORE

Tools and methods for validation and verification as requested by iso26262.

DecompositionJ: Parallel and Deterministic Simulation of Concurrent Java Executions in Cyber-Physical Systems

Practical Use of Formal Verification for Safety Critical Cyber-Physical Systems: A Case Study

Delft University of Technology Efficient Methodology for ISO26262 Functional Safety Verification

Metronomy: a function-architecture co-simulation framework for timing verification of cyber-physical systems

FUNCTIONAL VERIFICATION OF A SAFETY CLASS CONTROLLER FOR NPPS USING A UVM REGISTER MODEL

Ensuring functional safety compliance for ISO 26262

Toward autonomous vehicle safety verification from mobile cyber-physical systems perspective

A novel simulation-based verification pattern for parallel executions in the cloud

Similar Documents

UVM BASED REUSABLE VERIFICATION IP FOR WISHBONE COMPLIANT SPI MASTER CORE

Tools and methods for validation and verification as requested by iso26262.

DecompositionJ: Parallel and Deterministic Simulation of Concurrent Java Executions in Cyber-Physical Systems

Practical Use of Formal Verification for Safety Critical Cyber-Physical Systems: A Case Study

Delft University of Technology Efficient Methodology for ISO26262 Functional Safety Verification

Metronomy: a function-architecture co-simulation framework for timing verification of cyber-physical systems

FUNCTIONAL VERIFICATION OF A SAFETY CLASS CONTROLLER FOR NPPS USING A UVM REGISTER MODEL

Ensuring functional safety compliance for ISO 26262

Toward autonomous vehicle safety verification from mobile cyber-physical systems perspective

A novel simulation-based verification pattern for parallel executions in the cloud