Skip to Main content Skip to Navigation
Conference papers

Integrating System-Level and Code-Level Timing Analysis for Dependable System Development

Abstract : Developers of safety-critical real-time systems have to ensure that their systems react within given time bounds. Sophisticated tools for timing analysis at the code-level, controller-level and networked system-level are becoming state-of-the-art for efficient timing verification in light of ever increasing system complexity. This trend is exemplified by two tools: AbsInt’s timing analyzer aiT, which can determine safe upper bounds for the execution times (WCETs) of non-interrupted tasks, and Symtavision’s SymTA/S tool, which computes the worst-case response times (WCRTs) of an en- tire system from the task WCETs and information about possible interrupts and their priorities. The two tools thus complement each other in an ideal way. They have recently been coupled to further in- crease their utility. Starting from a system model, a designer can now seamlessly perform timing bud-geting, performance optimization and timing verification, considering both the code of individual functions, as well as function and sub-system integration. The paper explains and exemplifies various use cases and tool flows.
Document type :
Conference papers
Complete list of metadatas

Cited literature [10 references]  Display  Hide  Download

https://hal-insu.archives-ouvertes.fr/insu-02270101
Contributor : Axelle Pagnier <>
Submitted on : Friday, August 23, 2019 - 6:22:50 PM
Last modification on : Friday, June 5, 2020 - 1:24:02 PM
Long-term archiving on: : Friday, January 10, 2020 - 1:42:42 AM

File

ERTS2008_0044_paper.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : insu-02270101, version 1

Collections

Citation

C Ferdinand, R Heckmann, M Jersak, F. Martin, K Richter. Integrating System-Level and Code-Level Timing Analysis for Dependable System Development. Embedded Real Time Software and Systems (ERTS2008), Jan 2008, toulouse, France. ⟨insu-02270101⟩

Share

Metrics

Record views

13

Files downloads

77