Sökning: onr:"swepub:oai:DiVA.org:kth-265202" >
Modeling and Simula...
Modeling and Simulation of Dynamic Applications Using Scenario-Aware Dataflow
-
- Bonna, Ricardo (författare)
- Univ Estadual Campinas, UNICAMP, Adv Comp Control & Embedded Syst Lab FEM, BR-13083860 Campinas, SP, Brazil.
-
- Loubach, Denis S. (författare)
- Aeronaut Inst Technol ITA, Dept Comp Syst, BR-12228900 Sao Jose Dos Campos, SP, Brazil.
-
- Ungureanu, George (författare)
- KTH,Elektronik och inbyggda system
-
visa fler...
-
- Sander, Ingo, Professor, 1964- (författare)
- KTH,Elektronik och inbyggda system
-
visa färre...
-
Univ Estadual Campinas, UNICAMP, Adv Comp Control & Embedded Syst Lab FEM, BR-13083860 Campinas, SP, Brazil Aeronaut Inst Technol ITA, Dept Comp Syst, BR-12228900 Sao Jose Dos Campos, SP, Brazil. (creator_code:org_t)
- 2019-08-21
- 2019
- Engelska.
-
Ingår i: ACM Transactions on Design Automation of Electronic Systems. - : ASSOC COMPUTING MACHINERY. - 1084-4309 .- 1557-7309. ; 24:5
- Relaterad länk:
-
https://urn.kb.se/re...
-
visa fler...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- The tradeoff between analyzability and expressiveness is a key factor when choosing a suitable dataflow model of computation (MoC) for designing, modeling, and simulating applications considering a formal base. A large number of techniques and analysis tools exist for static dataflow models, such as synchronous dataflow. However, they cannot express the dynamic behavior required for more dynamic applications in signal streaming or to model runtime reconfigurable systems. On the other hand, dynamic dataflow models like Kahn process networks sacrifice analyzability for expressiveness. Scenario-aware dataflow (SADF) is an excellent tradeoff providing sufficient expressiveness for dynamic systems, while still giving access to powerful analysis methods. In spite of an increasing interest in SADF methods, there is a lack of formally-defined functional models for describing and simulating SADF systems. This article overcomes the current situation by introducing a functional model for the SADF MoC, as well as a set of abstract operations for simulating it. We present the first modeling and simulation tool for SADF so far, implemented as an open source library in the functional framework ForSyDe. We demonstrate the capabilities of the functional model through a comprehensive tutorial-style example of a RISC processor described as an SADF application, and a traditional streaming application where we model an MPEG-4 simple profile decoder. We also present a couple of alternative approaches for functionally modeling SADF on different languages and paradigms. One of such approaches is used in a performance comparison with our functional model using the MPEG-4 simple profile decoder as a test case. As a result, our proposed model presented a good tradeoff between execution time and implementation succinctness. Finally, we discuss the potential of our formal model as a frontend for formal system design flows regarding dynamic applications.
Ämnesord
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering (hsv//eng)
Nyckelord
- Scenario-aware dataflow (SADF)
- modeling
- simulation
Publikations- och innehållstyp
- ref (ämneskategori)
- art (ämneskategori)
Hitta via bibliotek
Till lärosätets databas