S-ADA: Software as an Autonomous, Dependable and Affordable System
Kai‐Yuan Cai, Kishor S. Trivedi, Beibei Yin
Abstract
ADA is a popular programming language that was named after Lady Ada Lovelace (1815-1852) and recommended by Department of Defense, USA, for development of large scale safety-critical software systems. In this Fast Abstract, ADA is reinterpreted as Autonomous, Dependable and Affordable. It is argued that future software systems should be ADA. A few affordable techniques are briefly described to highlight how to make software systems ADA.
Topics & Concepts
Computer scienceSoftwareSoftware systemSoftware engineeringSoftware developmentSoftware constructionProgramming languageSoftware Reliability and Analysis ResearchAdvanced Software Engineering MethodologiesSoftware Testing and Debugging Techniques