Development of a Meta-language and its Qualifiable Implementation for the Use in Safety-critical Software.
Vanessa TietzPublished in: CoRR (2021)
Keyphrases
- safety critical
- regulatory requirements
- formal methods
- embedded systems
- safety analysis
- fault tolerant
- support systems
- agent architecture
- nuclear power plant
- adaptive systems
- real time
- natural language
- domain specific languages
- ambient intelligence
- software systems
- specification language
- software engineering
- user interface
- machine learning