Research on Integration of Safety Analysis in Model-Driven Software Development.
Feng ChenWeihua LiDingyi FangXiaojiang ChenPublished in: IAS (2009)
Keyphrases
- model driven
- safety analysis
- software development
- model driven architecture
- model driven development
- data integration
- metamodel
- data driven
- service oriented
- nuclear power plant
- development process
- software systems
- safety critical
- software engineering
- control system
- symbolic model checking
- fault model
- platform independent
- software architecture
- modeling language
- databases
- life cycle
- database
- model checking
- service oriented architecture
- data management
- artificial intelligence