Quo vadis, SLD? Reasoning about the trends and challenges of system level design

A Sangiovanni-Vincentelli - Proceedings of the IEEE, 2007 - ieeexplore.ieee.org
System-level design (SLD) is considered by many as the next frontier in electronic design
automation (EDA). SLD means many things to different people since there is no wide …

Metropolis: An integrated electronic system design environment

F Balarin, Y Watanabe, H Hsieh, L Lavagno… - Computer, 2003 - ieeexplore.ieee.org
Today, the design chain lacks adequate support, with most system-level designers using a
collection of unlinked tools. The implementation then proceeds with informal techniques …

[BOK][B] Multiprocessor systems-on-chips

A Jerraya, W Wolf - 2004 - books.google.com
Modern system-on-chip (SoC) design shows a clear trend toward integration of multiple
processor cores on a single chip. Designing a multiprocessor system-on-chip (MPSOC) …

Convertibility verification and converter synthesis: Two faces of the same coin

R Passerone, L De Alfaro, TA Henzinger… - Proceedings of the …, 2002 - dl.acm.org
An essential problem in component-based design is how to compose components designed
in isolation. Several approaches have been proposed for specifying component interfaces …

Codesign methodologies and tools for cyber–physical systems

Q Zhu, A Sangiovanni-Vincentelli - Proceedings of the IEEE, 2018 - ieeexplore.ieee.org
Cyber-physical system (CPS) analysis and design are challenging due to the intrinsic
heterogeneity of those systems. Today, CPSs are often designed by leveraging existing …

Usage-specific semantic integration for cyber-physical robot systems

F Li, J Wan, P Zhang, D Li, D Zhang… - ACM transactions on …, 2016 - dl.acm.org
The multidisciplinary nature and time criticality of computing in Cyber-Physical Robot
Systems (CPRS) makes it significantly different from traditional computer systems. This …

Platform based design for wireless sensor networks

A Bonivento… - … Networking with Ultra …, 2005 - ieeexplore.ieee.org
The platform-based design (PBD) methodology we present has its foundations in a clear
definition of the different abstraction layers of a wireless sensor network (WSN). At the …

DEVS for AUTOSAR-based system deployment modeling and simulation

J Denil, P De Meulenaere, S Demeyer… - …, 2017 - journals.sagepub.com
AUTOSAR (AUTomotive Open System ARchitecture) is an open and standardized
automotive software architecture, developed by automobile manufacturers, suppliers, and …

Compositional modeling in Metropolis

G Goessler, A Sangiovanni-Vincentelli - International Workshop on …, 2002 - Springer
Metropolis is an environment for the design of heterogeneous embedded systems. The
framework is based on a general system representation called the Metropolis meta-model …

Tool integration for automated synthesis of distributed embedded controllers

D Roy, L Zhang, W Chang, D Goswami… - ACM Transactions on …, 2021 - dl.acm.org
Controller design and their software implementations are usually done in isolated design
spaces using respective COTS design tools. However, this separation of concerns can lead …