Implementing execution-time clocks for the Ada Ravenscar profile

被引：0

作者：

Zamorano, J ^{[1
]}

Alonso, A ^{[1
]}

Pulido, JA ^{[1
]}

de la Puente, JA ^{[1
]}

机构：

[1] Univ Politecn Madrid, Dept Ingn Sistemas Telemat, DIT, E-28040 Madrid, Spain

来源：

RELIABLE SOFTWARE TECHNOLOGIES- ADA-EUROPE 2004 | 2004年 / 3063卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

The capability to monitor the amount of processor time that is used by real-time tasks is crucial for building real-time systems that are robust with respect to worst case execution time estimations. Execution-time clocks and timers have been proposed to be added to the language in order to support this functionality. Since a wide class of systems which may benefit from this mechanism are likely to use the Ada tasking subset known as the Ravenscar profile, it is important to check that the proposed execution-time clocks can be implemented on top of the simplified run-time systems that are used to support this profile. This paper describes a pilot implementation of execution-time clocks for the ORK kernel, and gives some examples of their possible usage in Ravenscar programs.

引用

页码：132 / 143

页数：12

共 50 条

[41] The Ravenscar tasking profile for high integrity real-time programs
Burns, A
Dobbing, B
Romanski, G
RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE, 1998, 1411 : 263 - 275
[42] Constructing Execution-Time Estimation Models from Diverse Processing Elements of Heterogeneous Clusters
Ichikawa, Shuichi
Kawai, Yuu
2008 IEEE REGION 10 CONFERENCE: TENCON 2008, VOLS 1-4, 2008, : 293 - 298
[43] Exact Worst-Case Execution-Time Analysis for Implicit Model Predictive Control
Arnstrom, Daniel
Broman, David
Axehill, Daniel
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2024, 69 (10) : 7190 - 7196
[44] Fitting Software Execution-Time Exceedance into a Residual Random Fault in ISO-26262
Agirre, Irune
Cazorla, Francisco J.
Abella, Jaume
Hernandez, Carles
Mezzetti, Enrico
Azkarate-Askatsua, Mikel
Vardanega, Tullio
IEEE TRANSACTIONS ON RELIABILITY, 2018, 67 (03) : 1314 - 1327
[45] An efficient and deterministic multi-tasking run-time environment for Ada and the Ravenscar profile on the Atmel AVR®32 UC3 microcontroller
Gregertsen, Kristoffer Nyborg
Skavhaug, Amund
DATE: 2009 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION, VOLS 1-3, 2009, : 1572 - 1575
[46] Execution-time integration of clinical practice guidelines to provide decision support for comorbid conditions
Jafarpour, Borna
Abidi, Samina Raza
Van Woensel, William
Abidi, Syed Sibte Raza
ARTIFICIAL INTELLIGENCE IN MEDICINE, 2019, 94 : 117 - 137
[47] Experimental Evaluation of Probabilistic Execution-Time Modeling and Analysis Methods for SDF Applications on MPSoCs
Stemmer, Ralf
Vu, Hai-Dang
Gruettner, Kim
Le Nours, Sebastien
Nebel, Wolfgang
Pillement, Sebastien
EMBEDDED COMPUTER SYSTEMS: ARCHITECTURES, MODELING, AND SIMULATION, SAMOS 2019, 2019, 11733 : 241 - 254
[48] Inductive composition of numbers with maximum, minimum, and addition a new theory for program execution-time analysis
Wang, F
INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 2004, 15 (06) : 865 - 892
[49] A Novel Method for Online Detection of Faults Affecting Execution-Time in Multicore-Based Systems
Esposito, Stefano
Violante, Massimo
Sozzi, Marco
Terrone, Marco
Traversone, Massimo
ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2017, 16 (04)
[50] Java']Java virtual-machine support for portable worst-case execution-time analysis
Bate, I
Bernat, G
Puschner, P
ISORC 2002: FIFTH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, PROCEEDINGS, 2002, : 83 - 90

← 1 2 3 4 5 →