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

引用数: 47 • 2022

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

Sérgio Campos, Edmund M. Clarke

引用数: 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

引用数: 21 • 2014

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

K. H. Kim, Trevor Harmon

引用数: 18 • 2009

A real-time system description language

D. Niehaus, John A. Stankovic, Krithi Ramamritham

引用数: 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

引用数: 14 • 2019

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

Daniel Casini, Alessandro Biondi, Giorgio Buttazzo

引用数: 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

引用数: 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

引用数: 10 • 2020

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

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

引用数: 9 • 2023

Integrated Timing Analysis of Application and Operating Systems Code

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

引用数: 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

引用数: 7 • 2016

Schedulability analysis of timed CSP models using the PAT model checker

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

引用数: 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

引用数: 5 • 2022

Scheduling of Real-Time Tasks with Complex Constraints

Seonho Choi, Ashok K. Agrawala

引用数: 5 • 2000

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

Rongfei Xu, Li Zhang, Ning Ge

引用数: 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

引用数: 4 • 2014

Design of Real‐Time Systems

Seonho Choi

引用数: 4 • 2002

Using a WCET Analysis Tool in Real-Time Systems Education

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

引用数: 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

引用数: 3 • 2016