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

Institut für Technische Informatik (4480)

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

Originalsprache	deutsch
Titel	Proceedings of the 6th International Conference on Pervasive and Embedded Computing and Communication Systems
Publikationsstatus	Veröffentlicht - 2016
Veranstaltung	PEC 2016 - International Conference on Pervasive and Embedded Computing - Lissabon, Portugal Dauer: 25 Juli 2016 → 27 Juli 2016

Konferenz

Konferenz	PEC 2016 - International Conference on Pervasive and Embedded Computing
Land/Gebiet	Portugal
Ort	Lissabon
Zeitraum	25/07/16 → 27/07/16

1 Abgeschlossen
1 Laufend

Industrial Informatics
Macher, G., Dobaj, J., Krug, T., Blažević, R. & Veledar, O.
1/09/12 → …
Projekt: Arbeitsgebiet
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
Projekt: Forschungsprojekt

Dieses zitieren

Automatic Testbench Generation for Simulation-based Verification of Safety- Critical Systems in UML. / Weissnegger, Ralph Peter; Schuß, Markus; Kreiner, Christian Josef et al.
Proceedings of the 6th International Conference on Pervasive and Embedded Computing and Communication Systems. 2016.

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

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

Konferenz

Projekte

Industrial Informatics

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

Dieses zitieren