Automated extraction of scenario sequences from disciplined dataflow networks
Siyoum, Firew ; Geilen, Marc ; Eker, Johan LU
; Von Platen, Carl
and Corporaal, Henk
(2013)
11th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2013
In 11th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2013
p.47-56
- Abstract
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 properties at design-time. To that end, scenario-based dataflow techniques isolate the individual operating scenarios of a dynamic application and analyse the executions of the possible scenario sequences. These techniques have rigorous analytical methods to verify consistency and realtime constraints. To exploit these benefits, identification of all scenarios and scenario sequences is required. This is challenging because of the large number of possible scenarios in modern-day dynamic applications. Manual construction is generally... (More)
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 properties at design-time. To that end, scenario-based dataflow techniques isolate the individual operating scenarios of a dynamic application and analyse the executions of the possible scenario sequences. These techniques have rigorous analytical methods to verify consistency and realtime constraints. To exploit these benefits, identification of all scenarios and scenario sequences is required. This is challenging because of the large number of possible scenarios in modern-day dynamic applications. Manual construction is generally time-consuming and error-prone. In this paper, we address this challenge with an automated approach that extracts a scenario-based analysis model for a class of parallel implementations, which we call Disciplined Dataflow Network (DDN). DDN always guarantees construction of a scenario-based analysis model and enables automating the extraction process. The extraction process identifies all possible scenarios of a DDN and employs state-space enumeration to determine all possible sequences of executions of these scenarios. The approach is demonstrated for the CAL actor language and has been implemented in an openly available CAL compiler. Case studies are presented for the RVC-MPEG video decoder and WLAN 802.11a baseband processing. The case studies show the benefits of automated scenario extraction for efficient design-time analysis of dynamic streaming applications.
(Less)
- author
- Siyoum, Firew
; Geilen, Marc
; Eker, Johan
LU
; Von Platen, Carl
and Corporaal, Henk
- publishing date
- 2013
- type
- Chapter in Book/Report/Conference proceeding
- publication status
- published
- subject
- keywords
- actor language, CAL, design-time analysis, dynamism, process network, real-time, scenario, SDF
- host publication
- 11th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2013
- series title
- 11th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2013
- article number
- 6670940
- pages
- 10 pages
- publisher
- IEEE Computer Society
- conference name
- 11th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2013
- conference location
- Portland, OR, United States
- conference dates
- 2013-10-18 - 2013-10-20
- external identifiers
-
- scopus:84893461584
- ISBN
- 9781479909032
- project
- AORTA: Advanced Offloading for Real-Time Applications
- language
- English
- LU publication?
- no
- id
- ab3ba54a-ee33-4db8-9f93-eb1aafbfa1e2
- date added to LUP
- 2023-11-23 11:03:09
- date last changed
- 2023-12-04 13:02:24
@inproceedings{ab3ba54a-ee33-4db8-9f93-eb1aafbfa1e2,
abstract = {{<p>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 properties at design-time. To that end, scenario-based dataflow techniques isolate the individual operating scenarios of a dynamic application and analyse the executions of the possible scenario sequences. These techniques have rigorous analytical methods to verify consistency and realtime constraints. To exploit these benefits, identification of all scenarios and scenario sequences is required. This is challenging because of the large number of possible scenarios in modern-day dynamic applications. Manual construction is generally time-consuming and error-prone. In this paper, we address this challenge with an automated approach that extracts a scenario-based analysis model for a class of parallel implementations, which we call Disciplined Dataflow Network (DDN). DDN always guarantees construction of a scenario-based analysis model and enables automating the extraction process. The extraction process identifies all possible scenarios of a DDN and employs state-space enumeration to determine all possible sequences of executions of these scenarios. The approach is demonstrated for the CAL actor language and has been implemented in an openly available CAL compiler. Case studies are presented for the RVC-MPEG video decoder and WLAN 802.11a baseband processing. The case studies show the benefits of automated scenario extraction for efficient design-time analysis of dynamic streaming applications.</p>}},
author = {{Siyoum, Firew and Geilen, Marc and Eker, Johan and Von Platen, Carl and Corporaal, Henk}},
booktitle = {{11th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2013}},
isbn = {{9781479909032}},
keywords = {{actor language; CAL; design-time analysis; dynamism; process network; real-time; scenario; SDF}},
language = {{eng}},
pages = {{47--56}},
publisher = {{IEEE Computer Society}},
series = {{11th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2013}},
title = {{Automated extraction of scenario sequences from disciplined dataflow networks}},
year = {{2013}},
}