Impact of dependable software development guidelines on timing analysis

I Wenzel, Raimund Kirner, M. Schlager, B Rieder, B. Huber

Research output: Chapter in Book/Report/Conference proceedingConference contribution

21 Downloads (Pure)

Abstract

The knowledge of the worst-case execution time (WCET) of real-time tasks is mandatory to ensure correct timing behavior of real-time systems. However, in practice an exact WCET analysis is often intractable due to limitations in computability and analysis complexity of real-size programs. In this paper we analyze how development guidelines for dependable software support and simplify WCET analysis. We investigate three guidelines and their impact on WCET analyzability. DO-178B as a production guide for avionics software expresses requirements that are relevant for timing analysis. The MISRA guidelines include C programming guidelines that improve the WCET analyzability of software. Finally, ARINC 655, a standard for software architectures of avionic systems, provides examples on how to simplify timing analysis already at the design level as early as in system design. The argument of this paper is that careful system design and programming improves the timing analyzability of real-time systems.
Original languageEnglish
Title of host publicationIn: Procs of the International Conference on Computer as a Tool
Subtitle of host publicationEurocon 2005
PublisherInstitute of Electrical and Electronics Engineers (IEEE)
Pages575-578
Number of pages4
ISBN (Print)1-4244-0049-X
DOIs
Publication statusPublished - 2005
EventInternational Conference on Computer as a Tool (EUROCON 2005) - Belgrade
Duration: 21 Nov 200524 Nov 2005

Conference

ConferenceInternational Conference on Computer as a Tool (EUROCON 2005)
CityBelgrade
Period21/11/0524/11/05

Fingerprint

Dive into the research topics of 'Impact of dependable software development guidelines on timing analysis'. Together they form a unique fingerprint.

Cite this