skip to main content
column

Gem #89

Published:04 October 2012Publication History
First page image

References

  1. Alan Burns and Andy J. Wellings: "HRT-HOOD: A Structured Design Method for Hard Real-Time Ada Systems". Elsevier Science, 1995. ISBN 978-0444821645.Google ScholarGoogle Scholar
  2. Juan Antonio de la Puente, Alejandro Alonso, and Angel Alvarez: "Mapping HRTHOOD Designs to Ada 95 Hierarchical Libraries." Reliable Software Technologies - Ada-Europe, Springer Volume LNCS 1088, 1996. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. Matteo Bordin and Tullio Vardanega: "Automated Model-Based Generation of Ravenscar-Compliant Source Code". Proceedings of the 17th Euromicro Conference on Real-Time Systems, IEEE Computer Society, 2005. ISBN 0-7695-2400-1. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. ASSERT project (Automated proof-based System and Software Engineering for Real-Time Systems) http://www.assert-project.netGoogle ScholarGoogle Scholar

Index Terms

  1. Gem #89

    Recommendations

    Comments

    Login options

    Check if you have access through your login credentials or your institution to get full access on this article.

    Sign in

    Full Access

    • Published in

      cover image ACM SIGAda Ada Letters
      ACM SIGAda Ada Letters  Volume 32, Issue 1
      April 2012
      40 pages
      ISSN:1094-3641
      DOI:10.1145/2380624
      Issue’s Table of Contents

      Copyright © 2012 Author

      Publisher

      Association for Computing Machinery

      New York, NY, United States

      Publication History

      • Published: 4 October 2012

      Check for updates

      Qualifiers

      • column
    • Article Metrics

      • Downloads (Last 12 months)0
      • Downloads (Last 6 weeks)0

      Other Metrics

    PDF Format

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader
    About Cookies On This Site

    We use cookies to ensure that we give you the best experience on our website.

    Learn more

    Got it!