Issues in performance certification for high-level automotive control software

Authors:
Bruce W. Weide;Paolo Bucci;Wayne D. Heym;Murali Sitaraman;Giorgio Rizzoni
Affiliations:
The Ohio State University, Columbus, OH;The Ohio State University, Columbus, OH;The Ohio State University, Columbus, OH;Clemson University, Clemson, SC;The Ohio State University, Columbus, OH
Venue:
SEAS '05 Proceedings of the second international workshop on Software engineering for automotive systems
Year:
2005

Citing 16
Cited 0

An Investigation of the Therac-25 Accidents

Computer
A practitioner's handbook for real-time analysis

A practitioner's handbook for real-time analysis
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment

Journal of the ACM (JACM)
Fast and Precise WCET Prediction by Separated Cache andPath Analyses

Real-Time Systems - Special issue on worst-case execution-time analysis
Performance specification of software components

SSR '01 Proceedings of the 2001 symposium on Software reusability: putting software reuse in context
Specification and Compositional Verification of Real-Time Systems

Specification and Compositional Verification of Real-Time Systems
LabVIEW Graphical Programming

LabVIEW Graphical Programming
Applying "Design by Contract"

Computer
Recasting Algorithms to Encourage Reuse

IEEE Software
Reliable and Precise WCET Determination for a Real-Life Processor

EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Automotive software engineering

Proceedings of the 25th International Conference on Software Engineering
A Modified Version of Rate-Monotonic Scheduling Algorithm and its Efficiency Assessment

WORDS '02 Proceedings of the The Seventh IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2002)
Designing Safety-Critical Computer Systems

Computer
Hume: a domain-specific language for real-time embedded systems

Proceedings of the 2nd international conference on Generative programming and component engineering
Safe Automotive Software Development

DATE '03 Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
Formal Methods for Integration of Automotive Software

DATE '03 Proceedings of the conference on Design, Automation and Test in Europe: Designers' Forum - Volume 2

Quantified Score

Hi-index	0.00

Visualization

Abstract

High-level supervisory control software for automotive applications (e.g., drive-by-wire) presents many challenges to making performance guarantees, which are a necessary part of the software's certification for deployment. The features of such systems demand that a compositional, or modular, approach to reasoning about performance be devised and applied. We discuss one such analytical approach as an alternative to simulation and testing.