Abstract
Finite-state machine-based scenario-aware dataflow (FSM-SADF) is a dynamic non-deterministic dataflow model of computation that combines streaming data and finite-state control. However, FSM-SADF in its current state cannot be used in applications involving modeling and analysis of systems whose behavior depends on explicit values of timestamp of events. In this work we propose a compositional semantics for FSM-SADF that enables FSM-SADF to be used in modeling and analysis of such systems. We base the semantics of the composition on standard composition of processes with conditional rendezvous communication at the control level and the compositions of SDF graphs at the dataflow level. We evaluate the approach on a case study from the multimedia domain in the context of first come, first served schedulers.
| Original language | English |
|---|---|
| Title of host publication | 2018 16th ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2018 |
| Place of Publication | Piscataway |
| Publisher | Institute of Electrical and Electronics Engineers |
| Number of pages | 11 |
| ISBN (Electronic) | 978-1-5386-6195-6 |
| ISBN (Print) | 978-1-5386-6196-3 |
| DOIs | |
| Publication status | Published - 3 Dec 2018 |
| Event | 16th ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2018 - Beijing, China Duration: 15 Oct 2018 → 18 Oct 2018 |
Conference
| Conference | 16th ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2018 |
|---|---|
| Country/Territory | China |
| City | Beijing |
| Period | 15/10/18 → 18/10/18 |
Funding
This work is supported by ITEA 3 project 14014 ASSUME.
Keywords
- (max,+) algebra
- compositions
- scenario-aware dataflow
- time-dependent