skip to main content
10.1145/1454474.1454494acmconferencesArticle/Chapter ViewAbstractPublication PagesadaConference Proceedingsconference-collections
research-article

Anima: a Ada derived programming language for real-time embedded software development

Published: 26 October 2008 Publication History

Abstract

Currently, embedded programs are written in a variety of programming languages. None were specifically designed for the real-time environment. The use of a general purpose language for embedded systems can lead to inefficient applications which are more likely to fail to meet timing and execution requirements, or experience run-time errors that prove catastrophic for safety-critical systems. A domain specific language, in which real-time constructs are part of the language proper rather than hosted in a library, is likely to lessen the risks of implementation of tasks with strict real-time requirements. This paper outlines a Ada derived programming language called Anima that directly addresses many of the challenging issues of real-time embedded software development.

References

[1]
Defense appropriations act for fy 1991. 1990. The bill was signed into law by the President George H. W. Bush on November 5, 1990, becoming Public Law 101-511
[2]
Ada95 Reference Manual. Intermetrics, Inc, 1995. ISO/IEC 8652:1995.
[3]
SPARK The SPADE Ada Kernel. Praxis, 2006.
[4]
J. Barns. Rationale for ada 2005. 2006.
[5]
M. Barr. Programming Embedded Systems in C and C++. O'Reilly, 1999.
[6]
A. Burns. The ravenscar profile. ACM SIGAda Ada Letters, 19:49--52, December 1999.
[7]
A. Burns and A. Wellings. Real-Time Systems: Ada 95, Real-Time Java, and Real-Time Posix. Morgan Kaufmann, 2001.
[8]
A. B. B. Dobbing and T. Vardanega. Guide for the use of the ada ravenscar profile in high integrity systems. University of York Technical Report YCS-2003-384, January 2003.
[9]
M. Joseph and P. Pandya. Finding responses in a real-time system. BCS Computer Journal, pages 390--395, 1986.
[10]
N. Leveson and C. S. Turner. An investigation of the therac 25 accidents. IEEE Computer, 26:18--41, July 1993.
[11]
C. Liu and J. Layland. Scheduling algorithms for mulitprogramming in a hard real-time environment. JACM, pages 46--61, 1973.
[12]
M. Scott. Programming Language Pragmatics. Morgan Kaufmann, 2006.
[13]
F. F. Sterling McCullough, Conrad Johnson. Real-time ada problem solution study. Defense Technical Information Center (DTIC), pages 1--119, 1989.
[14]
A. Wellings. Concurrent and Real-Time Programming in Java. John Wiley and Sons, 2004.

Index Terms

  1. Anima: a Ada derived programming language for real-time embedded software development

    Recommendations

    Comments

    Information & Contributors

    Information

    Published In

    cover image ACM Conferences
    SIGAda '08: Proceedings of the 2008 ACM annual international conference on SIGAda annual international conference
    October 2008
    150 pages
    ISBN:9781605582740
    DOI:10.1145/1454474
    Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

    Sponsors

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    Published: 26 October 2008

    Permissions

    Request permissions for this article.

    Check for updates

    Author Tags

    1. embedded
    2. real-time
    3. reliability

    Qualifiers

    • Research-article

    Conference

    SIGAda '08: ACM SIGAda Annual International Conference
    October 26 - 30, 2008
    OR, Portland, USA

    Contributors

    Other Metrics

    Bibliometrics & Citations

    Bibliometrics

    Article Metrics

    • 0
      Total Citations
    • 174
      Total Downloads
    • Downloads (Last 12 months)0
    • Downloads (Last 6 weeks)0
    Reflects downloads up to 30 Jan 2025

    Other Metrics

    Citations

    View Options

    Login options

    View options

    PDF

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader

    Figures

    Tables

    Media

    Share

    Share

    Share this Publication link

    Share on social media