DocumentCode :
565198
Title :
A hybrid approach to cyber-physical systems verification
Author :
Kumar, Pratyush ; Goswami, Dip ; Chakraborty, Samarjit ; Annaswamy, Anuradha ; Lampka, Kai ; Thiele, Lothar
fYear :
2012
fDate :
3-7 June 2012
Firstpage :
688
Lastpage :
696
Abstract :
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.
Keywords :
control engineering computing; control system synthesis; controller area networks; delays; distributed control; formal verification; functional analysis; parallel architectures; CAN buses; ECU; FlexRay buses; automotive domain; control loops; control messages; controller design; cyber-physical system verification; delay-frequency interface; distributed architecture; electronic control units; frequency bound; functional analysis techniques; hybrid approach; industrial automation domain; model checking; multiple processors; performance verification technique; worst-case end-to-end message delay estimation; Computer architecture; Delay; Sensors; Stability analysis; Switches; Cyber-Physical Systems; Frequency-Delay Metric; Real-Time Calculus; Stability; Timed-Automata;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Design Automation Conference (DAC), 2012 49th ACM/EDAC/IEEE
Conference_Location :
San Francisco, CA
ISSN :
0738-100X
Print_ISBN :
978-1-4503-1199-1
Type :
conf
Filename :
6241580
Link To Document :
بازگشت