Automatic Testbench Generation for Simulation-based Verification of Safety- Critical Systems in UML

Ralph Peter Weissnegger; Markus Schuß; Christian Josef Kreiner; Markus Pistauer; Kay Uwe Römer; Christian Steger

Automatic Testbench Generation for Simulation-based Verification of Safety- Critical Systems in UML

Ralph Peter Weissnegger, Markus Schuß, Christian Josef Kreiner, Markus Pistauer, Kay Uwe Römer, Christian Steger

Institute of Technical Informatics (4480)

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Original language	German
Title of host publication	Proceedings of the 6th International Conference on Pervasive and Embedded Computing and Communication Systems
Publication status	Published - 2016
Event	PEC 2016 - International Conference on Pervasive and Embedded Computing - Lissabon, Portugal Duration: 25 Jul 2016 → 27 Jul 2016

Conference

Conference	PEC 2016 - International Conference on Pervasive and Embedded Computing
Country/Territory	Portugal
City	Lissabon
Period	25/07/16 → 27/07/16

1 Finished
1 Active

Industrial Informatics
Krisper, M., Macher, G., Dobaj, J., Krug, T. & Seidl, M.
1/09/12 → …
Project: Research area
OpenES - Modeling and Co-simulation for Virtual Prototyping based on Architecture Models
Schuß, M., Steger, C. & Weissnegger, R. P.
1/01/14 → 31/07/16
Project: Research project

Cite this

Automatic Testbench Generation for Simulation-based Verification of Safety- Critical Systems in UML. / Weissnegger, Ralph Peter; Schuß, Markus; Kreiner, Christian Josef; Pistauer, Markus; Römer, Kay Uwe ; Steger, Christian.

Proceedings of the 6th International Conference on Pervasive and Embedded Computing and Communication Systems. 2016.

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Weissnegger, RP, Schuß, M, Kreiner, CJ, Pistauer, M, Römer, KU & Steger, C 2016, Automatic Testbench Generation for Simulation-based Verification of Safety- Critical Systems in UML. in Proceedings of the 6th International Conference on Pervasive and Embedded Computing and Communication Systems. PEC 2016 - International Conference on Pervasive and Embedded Computing, Lissabon, Portugal, 25/07/16.

@inproceedings{e35c8e8f5c0c407f99abc7ec4ad6b83a,

title = "Automatic Testbench Generation for Simulation-based Verification of Safety- Critical Systems in UML",

author = "Weissnegger, {Ralph Peter} and Markus Schu{\ss} and Kreiner, {Christian Josef} and Markus Pistauer and R{\"o}mer, {Kay Uwe} and Christian Steger",

year = "2016",

language = "deutsch",

booktitle = "Proceedings of the 6th International Conference on Pervasive and Embedded Computing and Communication Systems",

note = "PEC 2016 - International Conference on Pervasive and Embedded Computing ; Conference date: 25-07-2016 Through 27-07-2016",

}

TY - GEN

T1 - Automatic Testbench Generation for Simulation-based Verification of Safety- Critical Systems in UML

AU - Weissnegger, Ralph Peter

AU - Schuß, Markus

AU - Kreiner, Christian Josef

AU - Pistauer, Markus

AU - Römer, Kay Uwe

AU - Steger, Christian

PY - 2016

Y1 - 2016

M3 - Beitrag in einem Konferenzband

BT - Proceedings of the 6th International Conference on Pervasive and Embedded Computing and Communication Systems

T2 - PEC 2016 - International Conference on Pervasive and Embedded Computing

Y2 - 25 July 2016 through 27 July 2016

ER -

Automatic Testbench Generation for Simulation-based Verification of Safety- Critical Systems in UML

Conference

Projects

Industrial Informatics

OpenES - Modeling and Co-simulation for Virtual Prototyping based on Architecture Models

Cite this