A Contract-Based Approach to Scheduling and Verification of Dynamic Dataflow Networks

A4 Conference proceedings

Internal Authors/Editors

Publication Details

List of Authors: Jonatan Wiik, Johan Ersfolk, Marina Waldén
Editors: Derler Patricia, Gao Sicun
Publication year: 2018
Publisher: IEEE
Book title: 2018 16th ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE 2018)
Start page: 1
End page: 10
ISBN: 978-1-5386-6196-3
eISBN: 978-1-5386-6195-6


Restricted dataflow models of computation have gained widespread adoption in the safety-critical and real-time domains. As more complex functionality is being incorporated in embedded systems, there is a need for more expressive languages while maintaining high analysability. We present a contract-based approach to specification, scheduling and verification of dynamic dataflow networks. The approach is based on finding static schedules based on contracts and utilising this information in the verification process to reduce the number of invariant annotations needed. Moreover, we show that contracts can be used to make compile-time scheduling decisions, hence, improving runtime performance.


Dataflow programming, Design-by-Contract, Formal verification, Quasi-static scheduling

Last updated on 2020-24-02 at 03:13