Programming Language Evaluation Criteria for Safety-Critical Software in the Air Domain.
Rob AshmoreAndrew HoweRhiannon ChiltonShamal FailyPublished in: ISSRE Workshops (2022)
Keyphrases
- programming language
- evaluation criteria
- safety critical
- formal methods
- fault tolerant
- embedded systems
- safety analysis
- agent architecture
- general purpose
- object oriented
- high level
- strongly typed
- programming tool
- software engineering
- domain independent
- development process
- functional language
- support systems
- management system
- expert systems
- specification language
- adaptive systems
- data analysis
- decision making
- domain specific languages
- real time
- decision support system
- relational databases
- artificial intelligence