Implementation of new Ada 2005 real-time services in MaRTE OS and GNAT

被引：0

作者：

Rivas, Mario Aldea ^{[1
]}

Ruiz, Jose F. ^{[2
]}

机构：

[1] Univ Cantabria, Dept Elect & Computadores, E-39005 Santander, Spain

[2] AdaCore, F-75009 Paris, France

来源：

RELIABLE SOFTWARE TECHNOLOGIES - ADA- EUROPE 2007, PROCEEDINGS | 2007年 / 4498卷

关键词：

Ada; 2005; real-time systems; compilers; POSIX;

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

The paper presents the implementation of some of the new Ada 2005 real-time services.("Execution Time Clocks", "Execution Time Timers", "Timing Events" and "Dynamic Priorities for Protected Objects") in the MaRTE OS/GNAT run-time library for GNU/Linux. For each these new services we discuss different implementation alternatives and evaluate they performance. As a consequence of the results obtained, our view is that the new services can be implemented in an efficient way in a existing run-time system without requiring major changes. To illustrate the usefulness of the new Ada services, the implementation of a complex scheduling policy is described.

引用

页码：29 / +

页数：2

共 50 条

[11] Model-Based Analysis and Design of Real-Time Distributed Systems with Ada and the UML Profile for MARTE
Medina, Julio L.
Garcia Cuesta, Alvaro
RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2011, 2011, 6652 : 89 - 102
[12] An open Ravenscar real-time kernel for GNAT
de la Puente, JA
Ruiz, JF
Zamorano, J
RELIABLE SOFTWARE TECHNOLOGIES ADA-EUROPE 2000, 2000, 1845 : 5 - 15
[13] Implementation and evaluation of global and partitioned scheduling in a real-time OS
Giovani Gracioli
Antônio Augusto Fröhlich
Rodolfo Pellizzoni
Sebastian Fischmeister
Real-Time Systems, 2013, 49 : 669 - 714
[14] Implementation and evaluation of global and partitioned scheduling in a real-time OS
Gracioli, Giovani
Froehlich, Antonio Augusto
Pellizzoni, Rodolfo
Fischmeister, Sebastian
REAL-TIME SYSTEMS, 2013, 49 (06) : 669 - 714
[15] Performance evaluation of STRON: A hardware implementation of a real-time OS
Nakano, T
Komatsudaira, Y
Shiomi, A
Imai, M
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 1999, E82A (11): : 2375 - 2382
[16] The Evolution of Real-Time Programming Revisited: Programming the Giotto Model in Ada 2005
Wellings, Andy
Burns, Alan
RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2010, 2010, 6106 : 196 - 207
[17] An Ada 2005 technology for distributed and real-time component-based applications
Martinez, Patricia Lopez
Drake, Jose M.
Pacheco, Pablo
Medina, Julio L.
RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2008, 2008, 5026 : 254 - 267
[18] Time properties Verification of UML/MARTE Real-Time Systems
Louati, Aymen
Barkaoui, Ka-Mel
Jerad, Chadlia
2014 IEEE 15TH INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION (IRI), 2014, : 386 - 393
[19] Implementation of the Disruption Predictor APODIS in JET's Real-Time Network Using the MARTe Framework
Lopez, J. M.
Vega, J.
Alves, D.
Dormido-Canto, S.
Murari, A.
Ramirez, J. M.
Felton, R.
Ruiz, M.
de Arcas, G.
IEEE TRANSACTIONS ON NUCLEAR SCIENCE, 2014, 61 (02) : 741 - 744
[20] Managing Data Freshness with MARTE in Real-Time Databases
Louati, Nada
Bouaziz, Rafik
Duvallet, Claude
Sadeg, Bruno
2013 IEEE 16TH INTERNATIONAL SYMPOSIUM ON OBJECT/COMPONENT/SERVICE-ORIENTED REAL-TIME DISTRIBUTED COMPUTING (ISORC), 2013,

← 1 2 3 4 5 →