Model-Based Software Engineering and Ada: Synergy for the Development of Safety-Critical Systems
Andree BlotzFranz HuberHeiko LötzbeyerAlexander PretschnerOscar SlotoschHans-Peter ZängerlPublished in: CoRR (2002)
Keyphrases
- safety critical
- formal methods
- software engineering
- safety analysis
- support systems
- embedded systems
- nuclear power plant
- fault tolerant
- software intensive systems
- agent architecture
- artificial intelligence
- development methodologies
- development process
- knowledge based systems
- real time
- regulatory requirements
- adaptive systems
- distributed systems
- reinforcement learning