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


Share/Save/Bookmark

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 (pp. p. 71).

open access
[img]
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:
Link to this item:http://purl.utwente.nl/publications/45427
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page

Metis ID: 212274