On properties of modeling control software for embedded control applications with CSP/CT framework

D.S. Jovanovic, G.H. Hilderink, Johannes F. Broenink

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

    11 Downloads (Pure)

    Abstract

    This PROGRESS project (TES.5224) traces a design framework for implementing embedded real-time software for control applications by exploiting its natural concurrency. The paper illustrates the stage of yielded automation in the process of structuring complex control software architectures, modeling controlled mechatronic systems and designing corresponding control laws, simulating them, generating control code out of simulated control strategy and implementing the software system on a (embedded) computer. The gap between the development of control strategies and the procedures of implementing them on chosen hardware targets is going to be overcome.
    Original languageUndefined
    Title of host publicationProc. PROGRESS 2003
    EditorsF. Karelse
    Place of PublicationAmsterdam
    PublisherIOS Press
    Pages122-129
    Number of pages8
    ISBN (Print)90-73461-36-7
    Publication statusPublished - 22 Oct 2003
    Event4th PROGRESS Symposium on Embedded Systems 2003 - Nieuwegein, Netherlands
    Duration: 22 Oct 200322 Oct 2003
    Conference number: 4

    Publication series

    Name
    PublisherIOS Press

    Conference

    Conference4th PROGRESS Symposium on Embedded Systems 2003
    Abbreviated titlePROGRESS
    CountryNetherlands
    CityNieuwegein
    Period22/10/0322/10/03

    Keywords

    • IR-47181
    • METIS-217257

    Cite this

    Jovanovic, D. S., Hilderink, G. H., & Broenink, J. F. (2003). On properties of modeling control software for embedded control applications with CSP/CT framework. In F. Karelse (Ed.), Proc. PROGRESS 2003 (pp. 122-129). Amsterdam: IOS Press.
    Jovanovic, D.S. ; Hilderink, G.H. ; Broenink, Johannes F. / On properties of modeling control software for embedded control applications with CSP/CT framework. Proc. PROGRESS 2003. editor / F. Karelse. Amsterdam : IOS Press, 2003. pp. 122-129
    @inproceedings{1a2ce96b705d4757b6bf444a9315ae03,
    title = "On properties of modeling control software for embedded control applications with CSP/CT framework",
    abstract = "This PROGRESS project (TES.5224) traces a design framework for implementing embedded real-time software for control applications by exploiting its natural concurrency. The paper illustrates the stage of yielded automation in the process of structuring complex control software architectures, modeling controlled mechatronic systems and designing corresponding control laws, simulating them, generating control code out of simulated control strategy and implementing the software system on a (embedded) computer. The gap between the development of control strategies and the procedures of implementing them on chosen hardware targets is going to be overcome.",
    keywords = "IR-47181, METIS-217257",
    author = "D.S. Jovanovic and G.H. Hilderink and Broenink, {Johannes F.}",
    year = "2003",
    month = "10",
    day = "22",
    language = "Undefined",
    isbn = "90-73461-36-7",
    publisher = "IOS Press",
    pages = "122--129",
    editor = "F. Karelse",
    booktitle = "Proc. PROGRESS 2003",
    address = "Netherlands",

    }

    Jovanovic, DS, Hilderink, GH & Broenink, JF 2003, On properties of modeling control software for embedded control applications with CSP/CT framework. in F Karelse (ed.), Proc. PROGRESS 2003. IOS Press, Amsterdam, pp. 122-129, 4th PROGRESS Symposium on Embedded Systems 2003, Nieuwegein, Netherlands, 22/10/03.

    On properties of modeling control software for embedded control applications with CSP/CT framework. / Jovanovic, D.S.; Hilderink, G.H.; Broenink, Johannes F.

    Proc. PROGRESS 2003. ed. / F. Karelse. Amsterdam : IOS Press, 2003. p. 122-129.

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

    TY - GEN

    T1 - On properties of modeling control software for embedded control applications with CSP/CT framework

    AU - Jovanovic, D.S.

    AU - Hilderink, G.H.

    AU - Broenink, Johannes F.

    PY - 2003/10/22

    Y1 - 2003/10/22

    N2 - This PROGRESS project (TES.5224) traces a design framework for implementing embedded real-time software for control applications by exploiting its natural concurrency. The paper illustrates the stage of yielded automation in the process of structuring complex control software architectures, modeling controlled mechatronic systems and designing corresponding control laws, simulating them, generating control code out of simulated control strategy and implementing the software system on a (embedded) computer. The gap between the development of control strategies and the procedures of implementing them on chosen hardware targets is going to be overcome.

    AB - This PROGRESS project (TES.5224) traces a design framework for implementing embedded real-time software for control applications by exploiting its natural concurrency. The paper illustrates the stage of yielded automation in the process of structuring complex control software architectures, modeling controlled mechatronic systems and designing corresponding control laws, simulating them, generating control code out of simulated control strategy and implementing the software system on a (embedded) computer. The gap between the development of control strategies and the procedures of implementing them on chosen hardware targets is going to be overcome.

    KW - IR-47181

    KW - METIS-217257

    M3 - Conference contribution

    SN - 90-73461-36-7

    SP - 122

    EP - 129

    BT - Proc. PROGRESS 2003

    A2 - Karelse, F.

    PB - IOS Press

    CY - Amsterdam

    ER -

    Jovanovic DS, Hilderink GH, Broenink JF. On properties of modeling control software for embedded control applications with CSP/CT framework. In Karelse F, editor, Proc. PROGRESS 2003. Amsterdam: IOS Press. 2003. p. 122-129