Association for Computing Machinery (ACM) - Automated extraction of scenario sequences from disciplined dataflow networks

2013 Eleventh IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2013)

Author(s): Firew Siyoum ; Marc Geilen ; Johan Eker ; Carl von Platen ; Henk Corporaal
Publisher: Association for Computing Machinery (ACM)
Publication Date: 1 October 2013
Conference Location: Portland, OR, USA
Conference Date: 18 October 2013
Page(s): 47 - 56
ISBN (Electronic): 978-1-4799-0905-6
ISBN (Paper): 978-1-4799-0903-2

Analysing deadlock-freedom, boundedness and realtime constraints are crucial steps in the design of embedded streaming applications. Dataflow models of computation are often used to analyse such... View More