Ada is unique as a software engineering language, facilitating
the development of reliable and maintainable software through
clear, unambiguous, modular code enforced to a specification.
However, despite comprehensive real-time systems support, Ada
lacks the abstraction at the heart of these systems: cyclic
tasks. Without it, users resort to solutions decomposing their
designs: introducing unnecessary complexity to a real-time
systems primitive. Furthermore,...[Show more]
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.