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

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

    9 Downloads (Pure)


    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
    Number of pages1
    ISBN (Print)90-73802-81-4
    Publication statusPublished - 19 Mar 2003
    Event22nd Benelux Meetings on Systems and Control 2003 - Lommel, Belgium
    Duration: 19 Mar 200321 Mar 2003
    Conference number: 22

    Publication series

    PublisherKath. Universiteit Leuven


    Conference22nd Benelux Meetings on Systems and Control 2003


    • METIS-212274
    • IR-45427

    Cite this