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

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

7 Downloads (Pure)

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.
Original languageUndefined
Title of host publicationBook of Abstracts 22nd Benelux Meetings on Systems and Control
EditorsJ. Swevers, C. Lauwerys
Place of PublicationHeverlee, België
PublisherKatholieke Universiteit Leuven
Pages71-71
Number of pages1
ISBN (Print)90-73802-81-4
Publication statusPublished - 19 Mar 2003

Publication series

Name
PublisherKath. Universiteit Leuven

Keywords

  • METIS-212274
  • IR-45427

Cite this

Orlic, B., & Broenink, J. F. (2003). On designing a framework for distributed real-time embedded control systems. In J. Swevers, & C. Lauwerys (Eds.), Book of Abstracts 22nd Benelux Meetings on Systems and Control (pp. 71-71). Heverlee, België: Katholieke Universiteit Leuven.
Orlic, B. ; Broenink, Johannes F. / On designing a framework for distributed real-time embedded control systems. Book of Abstracts 22nd Benelux Meetings on Systems and Control. editor / J. Swevers ; C. Lauwerys. Heverlee, België : Katholieke Universiteit Leuven, 2003. pp. 71-71
@inproceedings{bd024463209d444183dd816d65bc7d45,
title = "On designing a framework for distributed real-time embedded control systems",
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.",
keywords = "METIS-212274, IR-45427",
author = "B. Orlic and Broenink, {Johannes F.}",
year = "2003",
month = "3",
day = "19",
language = "Undefined",
isbn = "90-73802-81-4",
publisher = "Katholieke Universiteit Leuven",
pages = "71--71",
editor = "J. Swevers and C. Lauwerys",
booktitle = "Book of Abstracts 22nd Benelux Meetings on Systems and Control",

}

Orlic, B & Broenink, JF 2003, On designing a framework for distributed real-time embedded control systems. in J Swevers & C Lauwerys (eds), Book of Abstracts 22nd Benelux Meetings on Systems and Control. Katholieke Universiteit Leuven, Heverlee, België, pp. 71-71.

On designing a framework for distributed real-time embedded control systems. / Orlic, B.; Broenink, Johannes F.

Book of Abstracts 22nd Benelux Meetings on Systems and Control. ed. / J. Swevers; C. Lauwerys. Heverlee, België : Katholieke Universiteit Leuven, 2003. p. 71-71.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

TY - GEN

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

AU - Orlic, B.

AU - Broenink, Johannes F.

PY - 2003/3/19

Y1 - 2003/3/19

N2 - 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.

AB - 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.

KW - METIS-212274

KW - IR-45427

M3 - Conference contribution

SN - 90-73802-81-4

SP - 71

EP - 71

BT - Book of Abstracts 22nd Benelux Meetings on Systems and Control

A2 - Swevers, J.

A2 - Lauwerys, C.

PB - Katholieke Universiteit Leuven

CY - Heverlee, België

ER -

Orlic B, Broenink JF. On designing a framework for distributed real-time embedded control systems. In Swevers J, Lauwerys C, editors, Book of Abstracts 22nd Benelux Meetings on Systems and Control. Heverlee, België: Katholieke Universiteit Leuven. 2003. p. 71-71