Skip to main content

We use cookies to distinguish you from other users and to provide you with a better experience on our websites. Close this message to accept cookies or find out how to manage your cookie settings.

Close cookie message
Cancel
×
×
Home
  • Home
Concurrent and Real-Time Programming in Ada
  • Get access
    Buy the print book
    Check if you have access via personal or institutional login
    Log in Register Recommend to librarian
  • Cited by 8
  • Cited by
    Crossref Citations
    Crossref logo
    This (lowercase (translateProductType product.productType)) has been cited by the following publications. This list is generated based on data provided by CrossRef.
    Matyasik, Piotr Szpyrka, Marcin Wypych, Michal and Biernacki, Jerzy 2016. Communication between agents in Alvis language. p. 448.
    Nahas, Mouaaz 2011. Employing Two ‘Sandwich Delay’ Mechanisms to Enhance Predictability of Embedded Systems Which Use Time-Triggered Co-Operative Architectures. Journal of Software Engineering and Applications, Vol. 04, Issue. 07, p. 417.
    Pour, Niusha Hakimi Strooper, Paul and Wellings, Andy 2011. A model-based development approach for the verification of real-time Java code. Concurrency and Computation: Practice and Experience, Vol. 23, Issue. 13, p. 1583.
    Kotulski, Leszek Szpyrka, Marcin and Sedziwy, Adam 2011. Knowledge-Based and Intelligent Information and Engineering Systems. Vol. 6881, Issue. , p. 180.
    Hakimipour, Niusha Strooper, Paul and Wellings, Andy 2010. TART: Timed-Automata to Real-Time Java Tool. p. 299.
    Cucinotta, Tommaso and Faggioli, Dario 2010. An exception based approach to timing constraints violations in real-time and multimedia applications. p. 136.
    Cheng, Jingde 2009. Uncertainty Problem in Dynamic Slicing of Concurrent Programs. p. 241.
    Burns, Alan Wellings, Andy J. and Zhang, Fengxiang 2009. Reliable Software Technologies – Ada-Europe 2009. Vol. 5570, Issue. , p. 119.
    ×
  • Export citation
  • Recommend to librarian
  • Recommend this book

    Email your librarian or administrator to recommend adding this book to your organisation's collection.

    Concurrent and Real-Time Programming in Ada
    • Online ISBN: 9780511611230
    • Book DOI: https://doi.org/10.1017/CBO9780511611230
    Please enter your name
    Please enter a valid email address
    Who would you like to send this to *

    CAPTCHA *

    Skip to the audio challenge
    ×
  • Buy the print book
Information

Book description

Ada is the only ISO-standard, object-oriented, concurrent, real-time programming language. It is intended for use in large, long-lived applications where reliability and efficiency are essential, particularly real-time and embedded systems. In this book, Alan Burns and Andy Wellings give a thorough, self-contained account of how the Ada tasking model can be used to construct a wide range of concurrent and real-time systems. This is the only book that focuses on an in-depth discussion of the Ada tasking model. Following on from the authors' earlier title Concurrency in Ada, this book brings the discussion up to date to include the new Ada 2005 language and the recent advances in real-time programming techniques. It will be of value to software professionals and advanced students of programming alike: indeed every Ada programmer will find it essential reading and a primary reference work that will sit alongside the language reference manual.

Reviews

'… thorough, self-contained …'

Source: Zentralblatt MATH

Refine List
Actions for selected content:
Select all | Deselect all
  • View selected items
  • Export citations
  • Download PDF (zip)
  • Send to Kindle
  • Send to Dropbox
  • Send to Google Drive
    • Send content to

    To send content items to your account, please confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about sending content to .

    To send content items to your Kindle, first ensure no-reply@cambridge.org is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about sending to your Kindle.

    Note you can select to send to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be sent to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.

    Find out more about the Kindle Personal Document Service.

    Please be advised that item(s) you selected are not available.
    You are about to send
    ×

Save Search

You can save your searches here and later view and run them again in "My saved searches".

Please provide a title, maximum of 40 characters.
Cancel
×
Contents

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 378 *
Loading metrics...

Book summary page views

Total views: 500 *
Loading metrics...

* Views captured on Cambridge Core between September 2016 - 13th June 2018. This data will be updated every 24 hours.

Cancel
Confirm
×