A methodology for the design and deployment of distributed cyber–physical systems for smart environments

G Tanganelli, L Cassano, A Miele, C Vallati - Future generation computer …, 2020 - Elsevier
The pervasiveness and the growing processing capabilities of mobile and embedded
computing systems are leading to a shift from the Internet of Things (IoT) paradigm to the …

Automatic TLM fault localization for SystemC

HM Le, D Große, R Drechsler - IEEE Transactions on Computer …, 2012 - ieeexplore.ieee.org
To meet today's time-to-market demands, catching bugs as early as possible during the
design of a system is essential. In electronic system level design where SystemC has …

Heterogeneous co-simulation for embedded and cyber-physical systems design

SH Attarzadeh-Niaki, I Sander - Simulation, 2020 - journals.sagepub.com
The growing complexity of embedded and cyber-physical systems makes the design of all
system components from scratch increasingly impractical. Consequently, already from early …

Network synthesis for distributed embedded systems

E Fraccaroli, F Stefanni, R Rizzi… - IEEE Transactions …, 2018 - ieeexplore.ieee.org
The amazing proliferation of communication technologies for embedded systems opens the
way for completely new applications but forces designers to adopt new methodologies to …

Design approach for component-based automation systems using exact cover

M Lehmann, TL Mai, B Wollschlaeger… - Proceedings of the …, 2014 - ieeexplore.ieee.org
Networked systems consisting of many different components are gaining more and more
importance in human's living environment (eg communication, entertainment, building …

Modeling of communication infrastructure for design-space exploration

F Fummi, G Lovato, D Quaglia… - 2010 Forum on …, 2010 - ieeexplore.ieee.org
Computer-aided design has been traditionally applied to computers and embedded systems
but not to the communication infrastructure among them. The paper contributes to fill this gap …

Multi-objective device selection approach for component-based automation systems

J Ploennigs, M Lehmann… - Proceedings of the …, 2014 - ieeexplore.ieee.org
Composing distributed automation systems from components is challenging due to large
variety and number of available components on the market. Multiple criteria need to be …

Modular framework for multi-level multi-device mpsoc simulation

C Roth, GM Almeida, O Sander, L Ost… - … on Parallel and …, 2011 - ieeexplore.ieee.org
Multi-Processor System-on-Chips (MPSoCs) as evolution of traditional embedded system
architectures demand for a detailed exploration on architectures and system design …

Topology-and resource-based distribution scheme for collaborative security-focused design space exploration in large-scale static WSNs

B Förster, T Hinze… - 2024 34th International …, 2024 - ieeexplore.ieee.org
Security is a crucial aspect in wireless sensor networks (WSNs), ensuring protection of the
network and its data against attackers. The resource-constrained nature of sensor nodes …

Simulation alternatives for the verification of networked cyber-physical systems

M Lora, R Muradore, D Quaglia, F Fummi - Microprocessors and …, 2015 - Elsevier
Several embedded system applications are used to control physical processes thus leading
to the concept of Cyber-Physical System. Sensing, computation and actuation are combined …