System level performance analysis–the SymTA/S approach

R Henia, A Hamann, M Jersak, R Racu, K Richter… - … -Computers and Digital …, 2005 - IET
SymTA/S is a system-level performance and timing analysis approach based on formal
scheduling analysis techniques and symbolic simulation. The tool supports heterogeneous …

[PDF][PDF] Response-time analysis of ROS 2 processing chains under reservation-based scheduling

D Casini, T Blaß, I Lütkebohle… - … Euromicro Conference on …, 2019 - pure.mpg.de
Bounding the end-to-end latency of processing chains in distributed real-time systems is a
wellstudied problem, relevant in multiple industrial fields, such as automotive systems and …

[BOOK][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) …

[BOOK][B] Understanding and using the controller area network communication protocol: theory and practice

M Di Natale, H Zeng, P Giusto, A Ghosal - 2012 - books.google.com
This book to offers a hands-on guide to designing, analyzing and debugging a
communication infrastructure based on the Controller Area Network (CAN) bus. Although the …

[PDF][PDF] A general framework for analysing system properties in platform-based embedded system designs.

S Chakraborty, S Künzli, L Thiele - Date, 2003 - Citeseer
We present a framework (Real-Time Calculus) for analysing various system properties
pertaining to timing analysis, loads on various components and on-chip buffer memory …

Methods for evaluating and covering the design space during early design development

M Gries - Integration, 2004 - Elsevier
This paper gives an overview of methods used for design space exploration (DSE) of micro-
architectures and systems. The DSE problem generally considers two orthogonal issues:(I) …

A compositional framework for end-to-end path delay calculation of automotive systems under different path semantics

N Feiertag, K Richter, J Nordlander… - … : 30/11/2009-03/12/2009, 2009 - diva-portal.org
While the real-time systems community has developed very valuable approaches to timing
and scheduling analysis for processors and buses over the last four decades, another very …

[BOOK][B] The compiler design handbook: optimizations and machine code generation

YN Srikant, P Shankar - 2002 - taylorfrancis.com
The widespread use of object-oriented languages and Internet security concerns are just the
beginning. Add embedded systems, multiple memory banks, highly pipelined units …

[BOOK][B] Embedded Systems Handbook 2-Volume Set

R Zurawski - 2018 - taylorfrancis.com
During the past few years there has been an dramatic upsurge in research and
development, implementations of new technologies, and deployments of actual solutions …

A formal approach to MpSoC performance verification

K Richter, M Jersak, R Ernst - Computer, 2003 - ieeexplore.ieee.org
Multiprocessor system on chip designs use complex on-chip networks to integrate different
programmable processor cores, specialized memories, and other components on a single …