Static timing analysis

End-To-End Timing Analysis in ROS2

Harun Teper, Mario Günzel, Niklas Ueter, Georg von der Brüggen, Jian-Jia Chen

Citations: 47 • 2022

A quantitative approach to the formal verification of real-time systems

Sérgio Campos, Edmund M. Clarke

Citations: 31 • 1996

Computation Offloading by Using Timing Unreliable Components in Real-Time Systems

Wei Liu, Jian-Jia Chen, Anas Toma, Tei‐Wei Kuo, Qingxu Deng

Citations: 21 • 2014

Interactive worst-case execution time analysis of hard real-time systems

K. H. Kim, Trevor Harmon

Citations: 18 • 2009

A real-time system description language

D. Niehaus, John A. Stankovic, Krithi Ramamritham

Citations: 17 • 2002

Wafer Residency Time Analysis for Time-Constrained Single-Robot-Arm Cluster Tools With Activity Time Variation

Fajun Yang, Xin Tang, Naiqi Wu, Chunjiang Zhang, Liang Gao

Citations: 14 • 2019

Timing isolation and improved scheduling of deep neural networks for real‐time systems

Daniel Casini, Alessandro Biondi, Giorgio Buttazzo

Citations: 14 • 2020

From Timing Variations to Performance Degradation: Understanding and Mitigating the Impact of Software Execution Timing in SLAM

Ao Li, Han Liu, Jinwen Wang, Ning Zhang

Citations: 11 • 2022

Impact of Indoor Multipath Channels on Timing Advance for URLLC in Industrial IoT

Shah Zeb, Aamir Mahmood, Syed Ali Hassan, Syed Hassan Ahmed, Mikael Gidlund

Citations: 10 • 2020

Real-Time Performance Analysis of Processing Systems on ROS 2 Executors

Yue Tang, Nan Guan, Xu Jiang, Xiantong Luo, Wang Yi

Citations: 9 • 2023

Integrated Timing Analysis of Application and Operating Systems Code

Lee Kee Chong, Clément Ballabriga, Van-Thuan Pham, Sudipta Chattopadhyay, Abhik Roychoudhury

Citations: 9 • 2013

Invasive computing for timing-predictable stream processing on MPSoCs

Stefan Wildermann, Michael Bäder, Lars Bauer, Marvin Damschen, Dirk Gabriel, Michael Gerndt, Michael Glaß, Jörg Henkel, Johny Paul, Alexander Pöppl, Sascha Roloff, Tobias Schwarzer, Gregor Snelting, Walter Stechele, Jürgen Teich, Andreas Weichslgartner, Andreas Zwinkau

Citations: 7 • 2016

Schedulability analysis of timed CSP models using the PAT model checker

Og ̆uzcan Oguz, Johannes F. Broenink, Angelika Mader

Citations: 5 • 2012

Plan B: Design Methodology for Cyber-Physical Systems Robust to Timing Failures

Mohammad Khayatian, Mohammadreza Mehrabian, Edward Andert, Reese Grimsley, Kyle Liang, Yi Hu, Ian McCormack, Carlee Joe‐Wong, Jonathan Aldrich, Bob Iannucci, Aviral Shrivastava

Citations: 5 • 2022

Scheduling of Real-Time Tasks with Complex Constraints

Seonho Choi, Ashok K. Agrawala

Citations: 5 • 2000

Modeling and Timing Analysis for Microkernel-Based Real-Time Embedded System

Rongfei Xu, Li Zhang, Ning Ge

Citations: 4 • 2019

Computation offloading by using timing unreliable components in real-time systems

Wei Liu, Jian-Jia Chen, Anas Anas, Tei‐Wei Kuo, Qingxu Deng

Citations: 4 • 2014

Design of Real‐Time Systems

Seonho Choi

Citations: 4 • 2002

Using a WCET Analysis Tool in Real-Time Systems Education

Samuel Petersson, Andreas Ermedahl, Anders Pettersson, Daniel Sundmark, Niklas Holsti

Citations: 3 • 2007

ProMARTES: Accurate network and computation delay prediction for component-based distributed systems

Konstantinos Triantafyllidis, Waqar Aslam, Egor Bondarev, Johan J. Lukkien, Peter H. N. de With

Citations: 3 • 2016