WUppaal: A web-service for the Uppaal model-checker

Peter Fogh, Thomas Cano Hald, Brian Nielsen

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

1 Citationer (Scopus)

Abstrakt

Model checking tools for complex cyber-physical systems are increasingly being invoked online and incrementally in machine-to-machine scenarios, and executed on remote large scale compute resources. To support these scenarios in a uniform and standardized way, we present the web service WUppaal that provides formal verification of timed automata using the Uppaal model-checker. WUppaal provides easy access to a large amount of resources through a RESTful API. Through a machine-to-machine use case on a job shop scheduling application, we show the practical use of WUPPAAL. Our benchmark shows that the web service can handle the expected load, but a stress test shows that the service can handle more than expected in case of peak hour.
OriginalsprogEngelsk
Titel2016 2nd International Workshop on Modelling, Analysis, and Control of Complex CPS (CPS Data)
Antal sider6
ForlagIEEE
Publikationsdato11 apr. 2016
Sider1-6
ISBN (Elektronisk)978-1-5090-1154-4
DOI
StatusUdgivet - 11 apr. 2016
Begivenhed2nd International Workshop on Modelling, Analysis, and Control of Complex CPS - Wien, Østrig
Varighed: 11 apr. 2016 → …
Konferencens nummer: 2

Konference

Konference2nd International Workshop on Modelling, Analysis, and Control of Complex CPS
Nummer2
Land/OmrådeØstrig
ByWien
Periode11/04/2016 → …

Fingeraftryk

Dyk ned i forskningsemnerne om 'WUppaal: A web-service for the Uppaal model-checker'. Sammen danner de et unikt fingeraftryk.

Citationsformater