DocumentCode
2539766
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
Volume
4
fYear
1987
fDate
31837
Firstpage
1469
Lastpage
1474
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Robotics and Automation. Proceedings. 1987 IEEE International Conference on
Type
conf
DOI
10.1109/ROBOT.1987.1087874
Filename
1087874
Link To Document