Skip to main content
The Institution of Engineering and Technology iet.tv
Site name
  • Videos
  • Channels
  • Events
  • Series

Access and Account

Access your personal account

Log in to see your favourites, lists and progress.

IET Login

Access via institution

Not currently connected to any institutions

Connect via

This video isn’t available to you right now

Login to check your access and watch the full session

Login
  1. Videos
  2. Video

Ada 2005 for High-Integrity Real -Time Systems

  • WhatsApp
  • Facebook
  • Email
  • LinkedIn
  • Bluesky
CPD This content can contribute towards your Continuing Professional Development (CPD) as part of the IET's CPD Monitoring scheme.
Conference
  • Session
  • Thursday, 20 October 2005
  • 00:20 - 00:20
  • Duration: 30 mins
  • Publication date: 20 Oct 2005
  • Location: IETTV_Room, IETTV_Venue, Birmingham, United Kingdom
  • Part of event Embedded Systems Conference (ESS2005), incorporating the IEE FPGA Developers Forum

About the session

This presentation discusses: the Ravenscar restricted tasking profile; flexible real-time scheduling algorithms; CPU clocks and timers; timing events; and flexible object-oriented features.

Channels

Electronics

Electronics

Speaker

  • JR

    Jose F. Ruiz

    AdaCore, Senior Software Engineer

The Institution of Engineering and Technology iet.tv

Address: Futures Place, Kings Way, Stevenage, SG1 2UA

Telephone: +44 (0)33 049 9123

Email:  iet.tv@theiet.org

© 2026 The Institution of Engineering and Technology.

The Institution of Engineering and Technology is registered as a Charity in England & Wales (no 211014) and Scotland (no SC038698). Futures Place, Kings Way, Stevenage, Hertfordshire, SG1 2UA, United Kingdom

  • LinkedIn
  • Instagram
  • YouTube
Privacy statement Cookie Preferences Accessibility About us theiet.org Help

Powered by Cadmore Media

Embed Code

<script type="text/javascript" src="https://play.cadmore.media/js/EMBED.js"></script> <div class="cmpl_iframe_div"> <iframe src="https://play.cadmore.media/Player/194c349a-5398-4120-beab-b446e2c7253b" scrolling="no" allowtransparency="true" allowautoplay="true" frameborder="0" allow="encrypted-media;autoplay;fullscreen" class="cmpl_iframe" allowfullscreen="" style="overflow: hidden;border: 0px; margin: 0px; height: 100%; width:100%;"></iframe> </div>

Are you sure you want to reset your password?

If so, you will be redirected to the Authentication Service

Title

Prompt