Formal verification of distributed controllers using time-stamped event count automata

Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC

Volumn , Issue , 2013, Pages 411-416

  Kauer, Matthias ^a   Steinhorst, Sebastian ^a   Goswami, Dip ^b   Schneider, Reinhard ^b   Lukasiewycz, Martin ^a   Chakraborty, Samarjit ^b  

^a TUM CREATE   (Singapore)

^b TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CONTROL PERFORMANCE; CONTROLLER DESIGNS; DISTRIBUTED ARCHITECTURE; DISTRIBUTED CONTROLLER; ELECTRONIC CONTROL UNITS; FORMAL VERIFICATIONS; LINEAR TEMPORAL LOGIC; SYSTEM VERIFICATIONS;

ACTUATORS; AUTOMATA THEORY; COMPUTER AIDED DESIGN; COMPUTER ARCHITECTURE; INTEGRATION TESTING; NETWORK ARCHITECTURE; SENSORS; TEMPORAL LOGIC;

CONTROLLERS;

EID: 84877771625     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASPDAC.2013.6509631     Document Type: Conference Paper

References (15)

1. G. C. Walsh, H. Ye, and L. G. Bushnell, "Stability Analysis of Networked Control Systems," IEEE Transactions on Control Systems Technology, vol. 10, no. 3, pp. 438-446, May 2002.
2. Y. Xu and J. Hespanha, "Optimal Communication Logics in Networked Control Systems," in CDC, 2004.
3. R. Schneider, D. Goswami, S. Zafar, M. Lukasiewycz, and S. Chakraborty, "Constraint-Driven Synthesis and Tool-Support for FlexRay-Based Automotive Control Systems," in CODES+ISSS, 2011.
4. F. Zhang, K. Szwaykowska, W. Wolf, and V. J. Mooney, "Task Scheduling for Control Oriented Requirements for Cyber-Physical Systems," in RTSS, 2008.
5. R. Castane, P. Mart, M. Velasco, and A. Cervin, "Resource Management for Control Tasks Based on the Transient Dynamics of Closed-Loop Systems," in ECRTS, 2006.
6. S. Samii, P. Eles, Z. Peng, P. Tabuada, and A. Cervin, "Dynamic Scheduling and Control-Quality Optimization of Self-Triggered Control Applications," in RTSS, 2010.
7. A. A. Martinez, R. Majumdar, I. Saha, and P. Tabuada, "Automatic Verification of Control System Implementations," in EMSOFT, 2010.
8. E. Feron and F. Alegre, "Control Software Analysis, Part I Open-Loop Properties," CoRR, vol. abs/0809.4812, 2008.
9. G. Weiss and R. Alur, "Automata Based Interfaces for Control and Scheduling," HSCC, 2007.
10. P. Kumar, D. Goswami, S. Chakraborty, A. Annaswamy, K. Lampka, and L. Thiele, "A Hybrid Approach to Cyber-Physical Systems Verification," in DAC, 2012.
11. S. Chakraborty, L. Phan, and P. Thiagarajan, "Event Count Automata: a State-Based Model for Stream Processing Systems," in RTSS, 2005.
12. R. Alur and G.Weiss, "Regular Specifications of Resource Requirements for Embedded Control Software," in RTAS, 2008.
13. M. Dwyer, G. Avrunin, and J. Corbett, "Patterns in Property Specifications for Finite-State Verification," in ICSE, 1999.
14. L. de Moura, S. Owre, H. Rue, J. Rushby, N. Shankar, M. Sorea, and A. Tiwari, "SAL 2," in Computer Aided Verification, ser. Lecture Notes in Computer Science. Springer Berlin/Heidelberg, 2004, vol. 3114, pp. 251-254.
15. E. Wandeler and L. Thiele, "Real-Time Calculus (RTC) Toolbox," http://www.mpa.ethz.ch/Rtctoolbox.