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

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

    9 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
    Event22nd Benelux Meetings on Systems and Control 2003 - Lommel, Belgium
    Duration: 19 Mar 200321 Mar 2003
    Conference number: 22

    Publication series

    Name
    PublisherKath. Universiteit Leuven

    Conference

    Conference22nd Benelux Meetings on Systems and Control 2003
    CountryBelgium
    CityLommel
    Period19/03/0321/03/03

    Keywords

    • METIS-212274
    • IR-45427

    Cite this