Shahid Beheshti University Journal of Innovations in Computer Science and Engineering (JICSE) 2981-2135 1 1 2023 06 01 System-Level Modeling of Dynamic Applications with Scenario-Aware Dataflow Graphs 120 132 104210 10.48308/jicse.2024.232987.1023 EN Seyed-Hosein Attarzadeh-Niaki Shahid Beheshti University (SBU) Mohammad Vazirpanah Shahid Beheshti University (SBU) Journal Article 2023 09 03 This paper presents a comprehensive modeling framework for managing the complexities inherent in modeling dynamic and intelligent embedded and cyber-physical systems (CPSs). Leveraging the scenario-aware dataflow (SADF) model of computation (MoC), our framework effectively captures CPS dynamism through controlled scenario representations. We establish denotational-style semantics within the Formal System Design (ForSyDe) framework and operational-style semantics tailored for practical industrial implementation. Integration of SADF MoC into ForSyDe-SystemC exploits modern C++ language features, offering type- and size-safety, model introspection, parallel simulation, and foreign model integration. The contributed SADF extension possesses the capability to seamlessly interconnect with other MoCs, thereby facilitating heterogeneous system modeling. Demonstrational examples, including an encoder/decoder system and an MPEG-4 decoder algorithm for the simple profile, attest to the framework's correctness and practicality. We also introduce a tool flow for automated synthetic benchmark generation, essential for assessing the scalability and performance of ForSyDe-SystemC SADF models in diverse conditions. The extended modeling framework, examples, and supporting tools are available as public domain code. https://jicse.sbu.ac.ir/article_104210_025ba8c43c6fcfa8a92341ed26b38c2d.pdf