Title :
Issues for concurrent programming in real-time systems
Author :
Kaddour, N. Ould ; Courvoisier, M.
Author_Institution :
Université de Paul Sabatier de Toulouse, Toulouse, France
Abstract :
This paper addresses specification and implementation of software for F.M.S. It introduces, based on an example of Flexible Assembly Cell, the complementary use of a formal specification tool: Petri nets, a formal concurrent specification language recently developed : LCS, and widely used implementation language : Modula2.
Keywords :
Assembly systems; Cameras; Carbon capture and storage; Communication system control; Monitoring; Petri nets; Real time systems; Robot kinematics; Robot vision systems; Robotic assembly;
Conference_Titel :
Robotics and Automation. Proceedings. 1987 IEEE International Conference on
DOI :
10.1109/ROBOT.1987.1087874
