On designing a framework for distributed real-time embedded control systems

Orlic, B. and Broenink, J.F. (2003) On designing a framework for distributed real-time embedded control systems. In: Book of Abstracts 22nd Benelux Meetings on Systems and Control, Heverlee, Belgie.

Preview

PDF
13Kb

Abstract:	Closed loop control systems are in essence parallel and distributed. But when implementing this parallelism in software, lot of obstacles concerning multithreading communication and synchronization issues arise. Using multithreading in safe and structured way is possible if the program is built such that it can be checked using some formal mathematical algebra (e.g. CSP). Fortunately, several formal checking tools and libraries implementing CSP based constructs are available for most widely used general purpose programming languages. One of those libraries is the CT library [1, 2], developed at University of Twente.
Item Type:	Conference or Workshop Item
Faculty:	Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:	Robotics and Mechatronics (CE)
Link to this item:	http://purl.utwente.nl/publications/45427
Export this item as:	BibTeX EndNote HTML Citation Reference Manager

Show download statistics for this publication

Repository Staff Only: item control page

Metis ID: 212274