FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
Handbook of automated reasoning
Model Checking Embedded System Designs
WODES '02 Proceedings of the Sixth International Workshop on Discrete Event Systems (WODES'02)
Logic in Computer Science: Modelling and Reasoning about Systems
Logic in Computer Science: Modelling and Reasoning about Systems
Proposition of a Hard Real-Time MAC Protocol for Wireless Sensor Networks
MASCOTS '05 Proceedings of the 13th IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems
Model Checking Interrupt-Dependent Software
APSEC '05 Proceedings of the 12th Asia-Pacific Software Engineering Conference
Model-checking real-time control programs: verifying LEGO® MINDSTROMS™ system using UPPAL
Euromicro-RTS'00 Proceedings of the 12th Euromicro conference on Real-time systems
Computation platform for automatic analysis of embedded software systems using model based approach
ATVA'05 Proceedings of the Third international conference on Automated Technology for Verification and Analysis
Compensation for control packet dropout in networked control systems
Information Sciences: an International Journal
Relative simulation and model checking of real-time processes
ACSC '08 Proceedings of the thirty-first Australasian conference on Computer science - Volume 74
Dealing with network complexity in real-time networked control
International Journal of Computer Mathematics - COMPLEX NETWORKS
Networked control based on fuzzy logic: an application to a high-performance milling process
IWANN'07 Proceedings of the 9th international work conference on Artificial neural networks
| Hi-index | 0.00 |
Traditional real-time control systems are tightly integrated into the industrial processes they govern. Now, however, there is increasing interest in networked control systems. These provide greater flexibility and cost savings by allowing real-time controllers to interact with industrial processes over existing communications networks. New data packet queuing protocols are currently being developed to enable precise real-time control over a network with variable propagation delays. We show how one such protocol was formally modelled using timed automata, and how model checking was used to reveal subtle aspects of the control system's dynamic behaviour.