@inproceedings{db1f3808b57b4b7bb85d341b42f0265e,
title = "Modeling and analysis of data flow graphs using the digraph real-time task model",
abstract = "Data flow graphs are widely used for modeling and analysis of real-time streaming applications in which having a predictable and reliable implementation is an essential requirement. In this paper, we consider scheduling a set of data flow graphs such that liveness and boundedness properties are guaranteed, which leads to a predictable and correct behavior of the application. A formal translation method is proposed to map a given set of data flow graphs to a set of graph-based real time tasks. Additionally, sufficient conditions are derived under which the obtained task set provides a semantically correct implementation of the given data flow graphs. It is shown that the proposed approach provides a higher level of design flexibility compared to the existing methods which use a simpler, i.e. periodic, task model.",
keywords = "Buffer boundedness, Data flow graphs, Real-time task models, Schedulability analysis",
author = "Morteza Mohaqeqi and Jakaria Abdullah and Wang Yi",
note = "Publisher Copyright: {\textcopyright} Springer International Publishing Switzerland 2016.; 21st Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2016 ; Conference date: 13-06-2016 Through 17-06-2016",
year = "2016",
doi = "10.1007/978-3-319-39083-3\_2",
language = "英语",
isbn = "9783319390826",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "15--29",
editor = "Pinho, \{Lu{\'i}s Miguel\} and Eduardo Qui{\~n}ones and Marko Bertogna",
booktitle = "Reliable Software Technologies – Ada-Europe 2016 - 21st Ada-Europe International Conference on Reliable Software Technologies, Proceedings",
address = "德国",
}