Automated Generation of AUTOSAR Description File for Safety-Critical Software Architectures.
Georg MacherEric ArmengaudChristian KreinerPublished in: GI-Jahrestagung (2014)
Keyphrases
- software architecture
- safety critical
- fault tolerant
- formal methods
- embedded systems
- agent architecture
- distributed systems
- software systems
- safety analysis
- software engineering
- support systems
- description language
- design patterns
- nuclear power plant
- regulatory requirements
- adaptive systems
- high level
- product line
- real time
- decision making
- database
- knowledge acquisition
- artificial intelligence