Monitoring Dynamical Signals While Testing Timed Aspects of a System

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

3 Citationer (Scopus)

Abstract

We propose to combine timed automata and linear hybrid automata model checkers for formal testing and monitoring of embedded systems with a hybrid behavior, i.e., where the correctness of the system depends on discrete as well as continuous dynamics. System level testing is considered, where requirements capture abstract behavior and often include non-determinism due to parallelism, internal counters and subtle state of physical materials. The goal is achieved by integrating the tools Uppaal [2] and PHAVer [3], where the discrete and hard real-time aspects are driven and checked by Uppaal TRON and strict inclusion of dynamical trajectories is verified by PHAVer. We present the framework, the underlying theory, and our techniques for integrating the tools. We demonstrate the applicability on an industrial case study.
OriginalsprogEngelsk
BogserieLecture Notes in Computer Science
Vol/bind7019 LNCS
Sider (fra-til)115-130
Antal sider16
ISSN0302-9743
DOI
StatusUdgivet - 1 jan. 2011
Begivenhed23rd IFIP WG 6.1 International Conference on Testing Software and Systems - Paris, Frankrig
Varighed: 7 nov. 201110 nov. 2011

Konference

Konference23rd IFIP WG 6.1 International Conference on Testing Software and Systems
Land/OmrådeFrankrig
ByParis
Periode07/11/201110/11/2011

Bibliografisk note

Proceedings of the 23rd IFIP WG 6.1 International Conference on Testing Software and Systems. Wolff, B. & Zaïdi, F. (eds.)

Fingeraftryk

Dyk ned i forskningsemnerne om 'Monitoring Dynamical Signals While Testing Timed Aspects of a System'. Sammen danner de et unikt fingeraftryk.

Citationsformater