A hybrid approach to cyber-physical systems verification

Pratyush Kumar, Dip Goswami, Samarjit Chakraborty, Anuradha M. Annaswamy, Kai Lampka, Lothar Thiele

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

54 Citaten (Scopus)


We propose a performance verification technique for cyber-physical systems that consist of multiple control loops implemented on a distributed architecture. The architectures we consider are fairly generic and arise in domains such as automotive and industrial automation; they are multiple processors or electronic control units (ECUs) communicating over buses like FlexRay and CAN. Current practice involves analyzing the architecture to estimate worst-case end-to-end message delays and using these delays to design the control applications. This involves a significant amount of pessimism since the worst-case delays often occur very rarely. We show how to combine functional analysis techniques with model checking in order to derive a delay-frequency interface that quantifies the interleavings between messages with worst-case delays and those with smaller delays. In other words, we bound the frequency with which control messages might suffer the worst-case delay. We show that such a delay-frequency interface enables us to verify much tigher control performance properties compared to what would be possible with only worst-case delay bounds.
Originele taal-2Engels
TitelDAC Design Automation Conference 2012
Plaats van productiePiscataway
UitgeverijInstitute of Electrical and Electronics Engineers
Aantal pagina's9
ISBN van elektronische versie978-1-4503-1199-1
ISBN van geprinte versie978-1-4503-1199-1
StatusGepubliceerd - 2012
Extern gepubliceerdJa
EvenementDAC Design Automation Conference 2012 - San Francisco, Verenigde Staten van Amerika
Duur: 3 jun 20127 jun 2012


CongresDAC Design Automation Conference 2012
LandVerenigde Staten van Amerika
StadSan Francisco
AnderDAC 2012

Vingerafdruk Duik in de onderzoeksthema's van 'A hybrid approach to cyber-physical systems verification'. Samen vormen ze een unieke vingerafdruk.

Citeer dit