Theoretical Computer Science
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
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
The Definitive ANTLR Reference: Building Domain-Specific Languages
The Definitive ANTLR Reference: Building Domain-Specific Languages
Verification and Implementation of Dependable Controllers
DEPCOS-RELCOMEX '08 Proceedings of the 2008 Third International Conference on Dependability of Computer Systems DepCoS-RELCOMEX
PLC programming with signal interpreted Petri nets
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Translatable finite state time machine
SDL'07 Proceedings of the 13th international SDL Forum conference on Design for dependable systems
Automatic code generation for PLC controllers
SAFECOMP'05 Proceedings of the 24th international conference on Computer Safety, Reliability, and Security
Perceptual control architecture for cyber-physical systems in traffic incident management
Journal of Systems Architecture: the EUROMICRO Journal
Formal component-based modeling and synthesis for PLC systems
Computers in Industry
Hi-index | 0.00 |
Programmable logic controllers (PLCs) are complex cyber-physical systems which are widely used in industry. This paper presents a robust approach to design and implement PLC-based embedded systems. Timed automata are used to model the controller and its environment. We validate the design model with resort to model checking techniques. We propose an algorithm to generate PLC code from timed automata and implement this algorithm with a prototype tool. This method can condense the developing process and guarantee the correctness of PLC programs. A case study demonstrates the effectiveness of the method.