Using language workbenches and domain-specific languages for safety-critical software development.
Markus VoelterBernd KolbKlaus BirkenFederico TomassettiPatrick AlffLaurent WiartAndreas WortmannArne NordmannPublished in: Softw. Syst. Model. (2019)
Keyphrases
- safety critical
- software development
- programming language
- domain specific languages
- software engineering
- formal methods
- fault tolerant
- embedded systems
- safety analysis
- nuclear power plant
- agent architecture
- general purpose
- object oriented
- software systems
- support systems
- decision making
- specification language
- expert systems
- natural language
- high level
- real time
- software components
- regulatory requirements