Development of a Meta-language and its Qualifiable Implementation for the Use in Safety-critical Software.
Vanessa TietzPublished in: MoDELS (Companion) (2021)
Keyphrases
- safety critical
- formal methods
- regulatory requirements
- fault tolerant
- embedded systems
- safety analysis
- agent architecture
- support systems
- nuclear power plant
- adaptive systems
- domain specific languages
- programming language
- specification language
- real time
- case study
- model checking
- software development
- natural language
- multi agent
- artificial intelligence