Sökning: onr:"swepub:oai:DiVA.org:kth-291135" >
An automated parall...
An automated parallel simulation flow for cyber-physical system design
-
Attarzadeh-Niaki, S. -H (författare)
-
- Sander, Ingo, Professor, 1964- (författare)
- KTH,Elektronik och inbyggda system
-
Ahmadi, M. (författare)
-
(creator_code:org_t)
- Elsevier BV, 2021
- 2021
- Engelska.
-
Ingår i: Integration. - : Elsevier BV. - 0167-9260 .- 1872-7522. ; 77, s. 48-58
- Relaterad länk:
-
https://urn.kb.se/re...
-
visa fler...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- Parallel and distributed simulation (PDS) is often employed to tackle the computational intensity of system-level simulation of real-world complex embedded and cyber-physical systems (CPSs). However, CPS models comprise heterogeneous components with diverge semantics for which incompatible PDS approaches are developed. We propose an automated PDS flow based on a formal modeling framework—with necessary extensions—targeting heterogeneous embedded and CPS design. The proposed flow characterizes the sequential executable specification of a heterogeneous model and generates a PDS cluster. State-of-the-art graph partitioning methods are adopted and a new extensible constraint-base formulation of the model partitioning problem is developed. The applicability, effectiveness, and scalability of the proposed flow is demonstrated using case studies.
Ämnesord
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik -- Inbäddad systemteknik (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering -- Embedded Systems (hsv//eng)
Nyckelord
- Constraint programming
- Cyber-physical systems
- Graph partitioning
- Parallel and distributed simulation
Publikations- och innehållstyp
- ref (ämneskategori)
- art (ämneskategori)
Hitta via bibliotek
Till lärosätets databas