Specification and Automated Verification of Dynamic Dataflow Networks

Jonatan Wiik, Pontus Boström

    Forskningsoutput: Kapitel i bok/konferenshandlingKonferensbidragVetenskapligPeer review

    1 Citeringar (Scopus)

    Sammanfattning

    Dataflow programming has received much recent attention within the signal processing domain as an efficient paradigm for exploiting parallelism. In dataflow programming, systems are modelled as a static network of actors connected through asynchronous order-preserving channels. In this paper we present an approach to contract-based specification and automated verification of dynamic dataflow networks. The verification technique is based on encoding the dataflow networks and contracts in the guarded command language Boogie.

    OriginalspråkOdefinierat/okänt
    Titel på gästpublikationSoftware Engineering and Formal Methods: 15th International Conference, SEFM 2017, Proceedings
    RedaktörerAlessandro Cimatti, Marjan Sirjani
    FörlagSpringer
    Sidor136–151
    ISBN (elektroniskt)978-3-319-66197-1
    ISBN (tryckt)978-3-319-66196-4
    DOI
    StatusPublicerad - 2017
    MoE-publikationstypA4 Artikel i en konferenspublikation
    EvenemangInternational Conference on Software Engineering and Formal Methods (SEFM) - 15th International Conference on Software Engineering and Formal Methods. SEFM 2017
    Varaktighet: 4 sep 20178 sep 2017

    Konferens

    KonferensInternational Conference on Software Engineering and Formal Methods (SEFM)
    Period04/09/1708/09/17

    Citera det här