ConData: A Tool for Automating Specification-Based Test Case Generation for Communication Systems
Software Quality Control
Synthesis and Implementation of Local Modular Supervisory Control for a Manufacturing Cell
WODES '02 Proceedings of the Sixth International Workshop on Discrete Event Systems (WODES'02)
Modelling and PLC-Based Implementation of Modular Supervisory Control
WODES '02 Proceedings of the Sixth International Workshop on Discrete Event Systems (WODES'02)
A generic framework for real-time discrete event simulation (DES) modelling
Proceedings of the 40th Conference on Winter Simulation
Supervisory control implementation into programmable logic controllers
ETFA'09 Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation
Software simulation and verification to increase the reliability of Intelligent Environments
Advances in Engineering Software
Hi-index | 0.00 |
This paper proposes a software architecture based on LabVIEW for controlling discrete event systems. The proposed architecture is an adaptation of the producer-consumer design pattern. This work uses the control software of a multifunctional robotic end-effector as a test-bed for analyzing the applicability of the software architecture and its limitations and advantages. This case study demonstrates the effectiveness of the architecture for dealing with the integration of multiple functionalities in the control system. For this case study, the validation of the architecture is performed using two verification techniques: (1) a formal verification using timed automata and the UPPAAL model checker and (2) the CoFI (Conformance and Fault Injection) method for defining the set of test cases to check the software product. Both verification techniques identified errors that were introduced into the control system during the programming phase.