kth.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Exploiting Dataflow Models for Parallel Simulation of Discrete Timed Systems
KTH, School of Electrical Engineering and Computer Science (EECS), Electrical Engineering, Electronics and Embedded systems.ORCID iD: 0000-0003-1666-1316
KTH, School of Electrical Engineering and Computer Science (EECS), Electrical Engineering, Electronics and Embedded systems.ORCID iD: 0000-0002-1277-3903
KTH, School of Electrical Engineering and Computer Science (EECS), Electrical Engineering, Electronics and Embedded systems, Electronic and embedded systems.ORCID iD: 0000-0003-4859-3100
2020 (English)In: Proceedings of the 2020 Forum for Specification & Design Languages (FDL), Kiel, Germany: Institute of Electrical and Electronics Engineers (IEEE) , 2020, article id 9232931Conference paper, Published paper (Refereed)
Abstract [en]

The shift towards parallel computing witnessed since the turn of this century has forced us to rethink traditional software design paradigms to better utilize resources. Yet, the simulation of time-aware systems remains a challenging topic due to the inherent semantics of time and causality whose consistency needs to be controlled, traditionally in form of a global event queue, limiting the potential for parallel exploitation. We propose a rehash of this problem by tackling it from a different modeling perspective, one which is able to express concurrency more naturally, i.e. dataflow (DF) models of computation (MoCs). By abstracting time aspects as an algebra hosted on a pure DF MoC, we are able to apply recent results from MoC theory not only for the purpose of describing deterministic behaviors for distributed timed systems, but also to overcome the existing limitations of timed execution in order to increase a simulation model's performance. We use a well-known example of a deadlock-prone distributed discrete event system as a driver to introduce the modeling concepts and show their potential for parallelism.

Place, publisher, year, edition, pages
Kiel, Germany: Institute of Electrical and Electronics Engineers (IEEE) , 2020. article id 9232931
Series
International Forum on Design Languages, ISSN 1636-9874
Keywords [en]
models of computation, parallel simulation, dataflow, discrete event systems
National Category
Embedded Systems
Identifiers
URN: urn:nbn:se:kth:diva-286060DOI: 10.1109/FDL50818.2020.9232931ISI: 000803059600001Scopus ID: 2-s2.0-85096096516OAI: oai:DiVA.org:kth-286060DiVA, id: diva2:1502081
Conference
2020 Forum on Specification and Design Languages, FDL 2020; Kiel; Germany; 15 September 2020 through 17 September 2020)
Funder
Vinnova, 2017-04892
Note

QC 20220921

Part of proceedings:ISBN 978-1-7281-8928-4

Available from: 2020-11-18 Created: 2020-11-18 Last updated: 2022-09-21Bibliographically approved

Open Access in DiVA

fulltext(904 kB)324 downloads
File information
File name FULLTEXT01.pdfFile size 904 kBChecksum SHA-512
b9c2c94ab8a91cf746ff438f20e4dea2b95a9db7669e6131e7e655cc75f5ac658d94268a84bd39c1380f9ea0c20007f9e00fed0f4f00da7befaa8e213f162e6a
Type fulltextMimetype application/pdf

Other links

Publisher's full textScopus

Authority records

Ungureanu, GeorgeJordao, RodolfoSander, Ingo

Search in DiVA

By author/editor
Ungureanu, GeorgeJordao, RodolfoSander, Ingo
By organisation
Electronics and Embedded systemsElectronic and embedded systems
Embedded Systems

Search outside of DiVA

GoogleGoogle Scholar
Total: 324 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 313 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf