Projects per year
Abstract
Due to the combination of discrete events and continuous behavior the validation of hybrid systems is a challenging task. Nevertheless, as for other systems the correctness of such hybrid systems is a major concern. In this paper we present a new approach for verifying the input-output conformance of two hybrid systems. This approach can be used to generate mutation-based test cases. We specify a hybrid system within the framework of Qualitative Action Systems. Here, besides conventional discrete actions, the continuous dynamics of hybrid systems is described with so called qualitative actions. This paper then shows how labeled transition systems can be used to describe the trace semantics of Qualitative Action Systems. The labeled transition systems are used to verify the conformance between two Qualitative Action Systems. Finally, we present first experimental results on a water tank system.
Original language | English |
---|---|
Title of host publication | 10th International Conference on Quality Software |
Publisher | IEEE Reliability Society |
Pages | 3-12 |
DOIs | |
Publication status | Published - 2010 |
Event | QSIC 2010: QSIC 2010 - Zhangjiajie, China Duration: 14 Jul 2010 → 15 Jul 2010 |
Conference
Conference | QSIC 2010 |
---|---|
Country/Territory | China |
City | Zhangjiajie |
Period | 14/07/10 → 15/07/10 |
Treatment code (Nähere Zuordnung)
- Theoretical
Fingerprint
Dive into the research topics of 'Automated Conformance Verification of Hybrid Systems'. Together they form a unique fingerprint.Projects
- 1 Finished
-
EU-MOGENTES - Model-based Generation of Tests for Dependable Embedded Systems
Brandl, H., Krenn, W. K. & Aichernig, B.
1/01/08 → 31/12/10
Project: Research project