loading
Documents

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Ralph Weissnegger 1 ; Markus Pistauer 2 ; Christian Kreiner 3 ; Markus Schuß 3 ; Kay Römer 3 and Christian Steger 3

Affiliations: 1 Graz University of Technology (TU Graz) and CISC Semiconductor GmbH, Austria ; 2 CISC Semiconductor GmbH, Austria ; 3 Graz University of Technology (TU Graz), Austria

ISBN: 978-989-758-195-3

ISSN: 2184-2817

Keyword(s): Functional Safety, ISO26262, Simulation, Verification, UML, MARTE, Automotive.

Related Ontology Subjects/Areas/Topics: Biomedical Engineering ; Biomedical Signal Processing ; Real-Time Systems

Abstract: The increasing amount of new assistance features in today’s vehicles to ensure safe and reliable operations, imply increasingly complex systems. Since millions of test kilometers have to be driven to ensure a reliable system, simulation-based verification is becoming more important to reduce costs and time-to-market. Furthermore requirements, design and verification have to follow the stringent specifications from standards such as ISO26262 for functional safety. To overcome the complexity issues of safety-critical systems, a modelbased approach helps to unites all stakeholder, and helps non safety specialists to understand problems in the design. In this paper, we present a novel methodology to automatically generate testbenches for simulation based verification from a first safety analysis. Through early simulation with constraint random stimuli and parameters we are able to derive further requirements for real-time applications. Furthermore, these testbenches can be used through th e whole safety-lifecycle. Our approach allows a tight and seamless integration of requirements, design and verification into the safety-lifecycle of ISO26262. (More)

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 18.234.255.5

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Weissnegger, R.; Pistauer, M.; Kreiner, C.; Schuß, M.; Römer, K. and Steger, C. (2016). Automatic Testbench Generation for Simulation-based Verification of Safety-critical Systems in UML.In Proceedings of the 6th International Joint Conference on Pervasive and Embedded Computing and Communication Systems - Volume 1: PEC, (PECCS 2016) ISBN 978-989-758-195-3, ISSN 2184-2817, pages 70-75. DOI: 10.5220/0005997700700075

@conference{pec16,
author={Ralph Weissnegger. and Markus Pistauer. and Christian Kreiner. and Markus Schuß. and Kay Römer. and Christian Steger.},
title={Automatic Testbench Generation for Simulation-based Verification of Safety-critical Systems in UML},
booktitle={Proceedings of the 6th International Joint Conference on Pervasive and Embedded Computing and Communication Systems - Volume 1: PEC, (PECCS 2016)},
year={2016},
pages={70-75},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005997700700075},
isbn={978-989-758-195-3},
}

TY - CONF

JO - Proceedings of the 6th International Joint Conference on Pervasive and Embedded Computing and Communication Systems - Volume 1: PEC, (PECCS 2016)
TI - Automatic Testbench Generation for Simulation-based Verification of Safety-critical Systems in UML
SN - 978-989-758-195-3
AU - Weissnegger, R.
AU - Pistauer, M.
AU - Kreiner, C.
AU - Schuß, M.
AU - Römer, K.
AU - Steger, C.
PY - 2016
SP - 70
EP - 75
DO - 10.5220/0005997700700075

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.