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

B. Orlic; Johannes F. Broenink

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

B. Orlic
, Johannes F. Broenink

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

75 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 language	Undefined
Title of host publication	Book of Abstracts 22nd Benelux Meetings on Systems and Control
Editors	J. Swevers, C. Lauwerys
Place of Publication	Heverlee, België
Publisher	Katholieke Universiteit Leuven
Pages	71-71
Number of pages	1
ISBN (Print)	90-73802-81-4
Publication status	Published - 19 Mar 2003
Event	22nd Benelux Meetings on Systems and Control 2003 - Lommel, Belgium Duration: 19 Mar 2003 → 21 Mar 2003 Conference number: 22

Publication series

Name
Publisher	Kath. Universiteit Leuven

Conference

Conference	22nd Benelux Meetings on Systems and Control 2003
Country/Territory	Belgium
City	Lommel
Period	19/03/03 → 21/03/03

Keywords

METIS-212274
IR-45427

Access to Document

orlic03designing

Cite this

@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 = mar,

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",

note = "22nd Benelux Meetings on Systems and Control 2003 ; Conference date: 19-03-2003 Through 21-03-2003",

}

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 proceeding › Conference contribution › Academic › peer-review

TY - GEN

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

AU - Orlic, B.

AU - Broenink, Johannes F.

N1 - Conference code: 22

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ë

T2 - 22nd Benelux Meetings on Systems and Control 2003

Y2 - 19 March 2003 through 21 March 2003

ER -