Design Support and Tooling for Dependable Embedded Control Systems

J.F. Broenink, P.G. Larsen, M. Verhoef, C. Kleijn, D.S. Jovanovic, K. Pierce

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

    14 Citations (Scopus)
    1 Downloads (Pure)

    Abstract

    The efficient design of resilient embedded systems is hampered by the separation of engineering disciplines in current development approaches. We describe a new project entitled “Design Support and Tooling for Embedded Control Software" (DESTECS), which aims to develop a methodology and open tools platform for collaborative and multidisciplinary development of dependable embedded real-time control systems. We also present some initial results from a small co-simulation case study. The DESTECS methodology combines continuous-time and discrete-event modelling via co-simulation, allowing explicit modelling of faults and fault-tolerance mechanisms from the outset. Continuous-time models are expressed using differential equations, which we represent using the wellknown bond graph notation, supported by the 20-sim tool. We model discrete-event controllers using the Vienna Development Method (VDM), supported by the Overture tools. An open, extensible tools platform will be developed, populated with plug-ins to support static analysis, co-simulation, testing and fault analysis. Trials will be conducted on industrial case studies from several domains, including document handling, inertial measurement and personal transportation.
    Original languageEnglish
    Title of host publicationSERENE '10
    Subtitle of host publicationProceedings of the 2nd International Workshop on Software Engineering for Resilient Systems
    EditorsJ.S. Fitzgerald
    PublisherAssociation for Computing Machinery (ACM)
    Number of pages6
    ISBN (Print)978-1-4503-0289-0
    DOIs
    Publication statusPublished - 15 Apr 2010
    Event2nd International Workshop on Software Engineering for Resilient Systems, SERENE 2010 - London, United Kingdom
    Duration: 13 Apr 201016 Apr 2010
    Conference number: 2

    Workshop

    Workshop2nd International Workshop on Software Engineering for Resilient Systems, SERENE 2010
    Abbreviated titleSERENE
    CountryUnited Kingdom
    CityLondon
    Period13/04/1016/04/10

      Fingerprint

    Keywords

    • Embedded systems
    • Fault tolerance
    • Formal methods
    • EC Grant Agreement nr.: FP7/248134
    • Resilience
    • Co-simulation

    Cite this

    Broenink, J. F., Larsen, P. G., Verhoef, M., Kleijn, C., Jovanovic, D. S., & Pierce, K. (2010). Design Support and Tooling for Dependable Embedded Control Systems. In J. S. Fitzgerald (Ed.), SERENE '10: Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems Association for Computing Machinery (ACM). https://doi.org/10.1145/2401736.2401745