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 contribution

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	Portugal
City	Lissabon
Period	25/07/16 → 27/07/16

1 Finished
1 Active

Industrial Informatics
Höller, A., Preschern, C., Kreiner, C. J., Raschke, W., Sporer, H., Iber, J., Kajtazovic, N., Krisper, M., Sinnhofer, A. D., Macher, G., Rauter, T., Quaritsch, M., Dobaj, J. & Krug, T.
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 contribution

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",

}

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

ER -

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

Conference

Industrial Informatics

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

Cite this