SwePub
Sök i LIBRIS databas

  Utökad sökning

onr:"swepub:oai:DiVA.org:kth-265202"
 

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
  • Tidskriftsartikel (refereegranskat)
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

Sök utanför SwePub

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

 
pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy