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

Authors:
Steven Doran
Affiliations:
Northrop Grumman, Azusa, CA, USA
Venue:
Proceedings of the 2008 ACM annual international conference on SIGAda annual international conference
Year:
2008

Citing 7
Cited 0

An Investigation of the Therac-25 Accidents

Computer
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment

Journal of the ACM (JACM)
The Ravenscar Profile

ACM SIGAda Ada Letters
Programming Embedded Systems in C and C++

Programming Embedded Systems in C and C++
Real-Time Systems and Programming Languages: ADA 95, Real-Time Java, and Real-Time POSIX

Real-Time Systems and Programming Languages: ADA 95, Real-Time Java, and Real-Time POSIX
Concurrent and Real-Time Programming in Java

Concurrent and Real-Time Programming in Java
Programming Language Pragmatics

Programming Language Pragmatics

Quantified Score

Hi-index	0.00

Visualization

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.