NDLI: On the Dynamic Semantics and the Timing Behavior of Ravenscar Kernels

Content Provider	Springer Nature Link
Author	Vardanega, Tullio Zamora, Juan de la Puente, Juan Antonio
Copyright Year	2005
Abstract	Mature research advances in scheduling theory show that carefully-crafted concurrent computational models permit static analysis of real-time behavior. This evidence enables designers to consider using suitable forms of explicit concurrency to model the inherent concurrency of real-time systems. The Ravenscar Profile, a specifically tailored subset of the Ada 95 tasking model, defines a compact and efficient concurrent computational model, especially suited for the development of high integrity, high efficiency real-time systems.Ravenscar runtimes can be implemented by small, efficient, reliable and certifiable kernels. At least two such implementations already exist and are being industrially deployed. The simplicity and intrinsic determinism of Ravenscar kernels facilitate the definition of metrics that cater for very accurate characterization of the dynamic behavior of the runtime and of the execution time of its primitives. Accurate runtime metrics enable forms of response time analysis that minimize the pessimism in the prediction of the runtime influence on the application. This is especially useful for concurrent systems that exhibit significant dependency on runtime support services. This paper recalls the motivations of the Ravenscar Profile, outlines the definition of it and formulates a precise characterisation of the associated runtime metrics.
Starting Page	59
Ending Page	89
Page Count	31
File Format	PDF
ISSN	09226443
Journal	Real-Time Systems
Volume Number	29
Issue Number	1
e-ISSN	15731383
Language	English
Publisher	Kluwer Academic Publishers
Publisher Date	2005-01-01
Publisher Place	Boston
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	Processor Architectures Special Purpose and Application-Based Systems Operating Systems Computing Methodologies
Content Type	Text
Resource Type	Article
Subject	Control and Optimization Computer Networks and Communications Control and Systems Engineering Electrical and Electronic Engineering Computer Science Applications Modeling and Simulation

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Modeling Control Speculation for Timing Analysis

A Ravenscar-Compliant Run-time Kernel for Safety-Critical Systems*

Timing Analysis for Instruction Caches

Specification and Timing Analysis of Real-Time Systems

Expressing and Enforcing Timing Constraints in a Dynamic Real-Time CORBA System

Dynamic Dispatching of Cyclic Real-Time Tasks with Relative Timing Constraints

Resource Reservation in Dynamic Real-Time Systems

Open Embedded Control

Dynamic Scheduling and Fault-Tolerance: Specification and Verification

On the Dynamic Semantics and the Timing Behavior of Ravenscar Kernels

Similar Documents

Modeling Control Speculation for Timing Analysis

A Ravenscar-Compliant Run-time Kernel for Safety-Critical Systems*

Timing Analysis for Instruction Caches

Specification and Timing Analysis of Real-Time Systems

Expressing and Enforcing Timing Constraints in a Dynamic Real-Time CORBA System

Dynamic Dispatching of Cyclic Real-Time Tasks with Relative Timing Constraints

Resource Reservation in Dynamic Real-Time Systems

Open Embedded Control

Dynamic Scheduling and Fault-Tolerance: Specification and Verification

On the Dynamic Semantics and the Timing Behavior of Ravenscar Kernels