A formal approach to the WCRT analysis of multicore systems with memory contention under phase-structured task sets
Multicore technology has the potential for drastically increasing productivity of embedded
real-time computing. However, joint use of hardware, eg, caches, memory banks and on …
real-time computing. However, joint use of hardware, eg, caches, memory banks and on …
Edge-Server Workload Characterization in Vehicular Computation Offloading: Semantics and Empirical Analysis
BG Kim, D Gangadharan - IEEE Access, 2024 - ieeexplore.ieee.org
Edge server-assisted computation offloading enables vehicles to leverage server compute
resources to deliver connected services, overcoming the limitations of onboard resources …
resources to deliver connected services, overcoming the limitations of onboard resources …
Verification of network end-to-end latencies for adaptive ethernet-based cyber-physical systems
M Manderscheid, G Weiss, R Knorr - Journal of systems architecture, 2018 - Elsevier
Abstract As Cyber-Physical Systems (CPS) are evolving towards flexible and smart systems,
their dependable communication becomes a decisive factor. In order to still guarantee a …
their dependable communication becomes a decisive factor. In order to still guarantee a …
Component-based system design: analytic real-time interfaces for state-based component implementations
Compositionality can be a helpful paradigm for coping with the complexity of large
embedded systems with real-time constraints. This article exploits state-less …
embedded systems with real-time constraints. This article exploits state-less …
Combining network calculus and scheduling theory to improve delay bounds
Nowadays embedded real-time systems are often large distributed communicating systems,
and the need for bounds on worst-case execution times (WCET) now includes the need of …
and the need for bounds on worst-case execution times (WCET) now includes the need of …
Causality closure for a new class of curves in real-time calculus
Real-Time Calculus (RTC)[14] is a framework to analyze heterogeneous real-time systems
that process event streams of data. The streams are characterized by arrival curves which …
that process event streams of data. The streams are characterized by arrival curves which …
[PDF][PDF] Implementation of Mixed-Criticality Applications on Multi-Core Architectures
G Giannopoulou - 2017 - research-collection.ethz.ch
MULTIPLE DATA STREAM ARCHITECTURES+ MULTIPROCESSORS (COMPUTER
SYSTEMS); REAL-TIME SYSTEMS+ EMBEDDED SYSTEMS (COMPUTER SYSTEMS); …
SYSTEMS); REAL-TIME SYSTEMS+ EMBEDDED SYSTEMS (COMPUTER SYSTEMS); …
A model-based framework for system-Wide plug-and-play with flexible timing verification for automotive systems
H Stähle - 2016 - mediatum.ub.tum.de
The integration of further functionality into vehicles is hindered by the increasing system
complexity. This work combines model-driven engineering with the event-based and data …
complexity. This work combines model-driven engineering with the event-based and data …
Causality problem in real-time calculus
Abstract Real-time calculus (RTC)(Thiele et al. in: ISCAS, Geneva, 2000) is a framework to
analyze heterogeneous, real-time systems that process event streams of data. The streams …
analyze heterogeneous, real-time systems that process event streams of data. The streams …
[PDF][PDF] High-level models for embedded systems
M Moy - Professorial Thesis (Habilitation à Diriger des …, 2014 - Citeseer
[tel-01054555, v1] Modélisation à haut niveau d'abstraction pour les systèmes embarqués
Page 1 Unité Mixte de Recherche UJF - CNRS - Grenoble INP Centre Équation 2, avenue de …
Page 1 Unité Mixte de Recherche UJF - CNRS - Grenoble INP Centre Équation 2, avenue de …