A Generic Process and its Tool Support towards Combining UML and B for Safety Critical Systems.
Akram IdaniJean-Louis BoulangerLaurent PhilippePublished in: CAINE (2007)
Keyphrases
- safety critical
- tool support
- formal methods
- safety analysis
- fault tolerant
- regulatory requirements
- embedded systems
- software development
- support systems
- machine learning
- learning systems
- databases
- design decisions
- artificial intelligence
- distributed systems
- decision support
- process model
- software tools
- agent architecture
- management system
- multi agent systems
- decision making