Towards composable timing for real-time programs

Peter Puschner; Raimund Kirner; Robert G. Pettit

doi:10.1109/STFSSD.2009.26

Towards composable timing for real-time programs

Peter Puschner, Raimund Kirner, Robert G. Pettit

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

18 Citations (Scopus)

20 Downloads (Pure)

Abstract

Real-time software is increasing in size and complexity, precipitating the need for advanced modeling and analysis capabilities early in the software development process. One particular concern is the lack of sufficient methods and tools to effectively reason about the timing of software in such a way that software systems can be constructed hierarchically from components while still guaranteeing the timing properties. In this paper, we will discuss deficiencies in current real-time embedded hardware and software structures with respect to achieving our goal of composable and compositional timing behavior. To address these deficiencies, we will then discuss programming methods, code generation techniques, and ideas about hardware and software architectures that should help us in achieving a truly timing-composable and compositional engineering process for real-time software systems.

Original language	English
Title of host publication	Software Technologies for Future Dependable Distributed Systems
Place of Publication	LOS ALAMITOS
Publisher	Institute of Electrical and Electronics Engineers (IEEE)
Pages	1-5
Number of pages	5
ISBN (Electronic)	9780769535722
ISBN (Print)	978-1-4244-3565-4
DOIs	https://doi.org/10.1109/STFSSD.2009.26
Publication status	Published - 2009
Event	1st International Workshop on Software Technologies for Future Dependable Distributed Systems - Tokyo Duration: 17 Mar 2009 → …

Conference

Conference	1st International Workshop on Software Technologies for Future Dependable Distributed Systems
City	Tokyo
Period	17/03/09 → …

Keywords

composability
predictability
real-time systems
worst-case execution time

Access to Document

10.1109/STFSSD.2009.26

905625
“This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder." “Copyright IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.”
Accepted author manuscript, 94.9 KB

Cite this

@inproceedings{06a8799f466644f7a73447a57047f274,

title = "Towards composable timing for real-time programs",

abstract = "Real-time software is increasing in size and complexity, precipitating the need for advanced modeling and analysis capabilities early in the software development process. One particular concern is the lack of sufficient methods and tools to effectively reason about the timing of software in such a way that software systems can be constructed hierarchically from components while still guaranteeing the timing properties. In this paper, we will discuss deficiencies in current real-time embedded hardware and software structures with respect to achieving our goal of composable and compositional timing behavior. To address these deficiencies, we will then discuss programming methods, code generation techniques, and ideas about hardware and software architectures that should help us in achieving a truly timing-composable and compositional engineering process for real-time software systems.",

keywords = "composability, predictability, real-time systems, worst-case execution time",

author = "Peter Puschner and Raimund Kirner and Pettit, {Robert G.}",

note = "“This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.{"} “Copyright IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.”; 1st International Workshop on Software Technologies for Future Dependable Distributed Systems ; Conference date: 17-03-2009",

year = "2009",

doi = "10.1109/STFSSD.2009.26",

language = "English",

isbn = "978-1-4244-3565-4",

pages = "1--5",

booktitle = "Software Technologies for Future Dependable Distributed Systems",

publisher = "Institute of Electrical and Electronics Engineers (IEEE)",

address = "United States",

}

Puschner, P, Kirner, R & Pettit, RG 2009, Towards composable timing for real-time programs. in Software Technologies for Future Dependable Distributed Systems. Institute of Electrical and Electronics Engineers (IEEE), LOS ALAMITOS, pp. 1-5, 1st International Workshop on Software Technologies for Future Dependable Distributed Systems, Tokyo, 17/03/09. https://doi.org/10.1109/STFSSD.2009.26

TY - GEN

T1 - Towards composable timing for real-time programs

AU - Puschner, Peter

AU - Kirner, Raimund

AU - Pettit, Robert G.

N1 - “This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder." “Copyright IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.”

PY - 2009

Y1 - 2009

N2 - Real-time software is increasing in size and complexity, precipitating the need for advanced modeling and analysis capabilities early in the software development process. One particular concern is the lack of sufficient methods and tools to effectively reason about the timing of software in such a way that software systems can be constructed hierarchically from components while still guaranteeing the timing properties. In this paper, we will discuss deficiencies in current real-time embedded hardware and software structures with respect to achieving our goal of composable and compositional timing behavior. To address these deficiencies, we will then discuss programming methods, code generation techniques, and ideas about hardware and software architectures that should help us in achieving a truly timing-composable and compositional engineering process for real-time software systems.

AB - Real-time software is increasing in size and complexity, precipitating the need for advanced modeling and analysis capabilities early in the software development process. One particular concern is the lack of sufficient methods and tools to effectively reason about the timing of software in such a way that software systems can be constructed hierarchically from components while still guaranteeing the timing properties. In this paper, we will discuss deficiencies in current real-time embedded hardware and software structures with respect to achieving our goal of composable and compositional timing behavior. To address these deficiencies, we will then discuss programming methods, code generation techniques, and ideas about hardware and software architectures that should help us in achieving a truly timing-composable and compositional engineering process for real-time software systems.

KW - composability

KW - predictability

KW - real-time systems

KW - worst-case execution time

U2 - 10.1109/STFSSD.2009.26

DO - 10.1109/STFSSD.2009.26

M3 - Conference contribution

SN - 978-1-4244-3565-4

SP - 1

EP - 5

BT - Software Technologies for Future Dependable Distributed Systems

PB - Institute of Electrical and Electronics Engineers (IEEE)

CY - LOS ALAMITOS

T2 - 1st International Workshop on Software Technologies for Future Dependable Distributed Systems

Y2 - 17 March 2009

ER -

Towards composable timing for real-time programs

Abstract

Conference

Keywords

Access to Document

Fingerprint

Cite this