Integration of safety analysis in model-driven software development.
Miguel A. de MiguelJavier Fernández BrionesJuan Pedro SilvaAlejandro AlonsoPublished in: IET Softw. (2008)
Keyphrases
- model driven
- software development
- safety analysis
- model driven architecture
- model driven development
- data driven
- metamodel
- data integration
- service oriented
- software systems
- control system
- development process
- nuclear power plant
- safety critical
- platform independent
- fault model
- symbolic model checking
- software engineering
- machine learning
- case study
- reliability analysis
- modeling language
- service oriented architecture
- software components
- software architecture
- lightweight
- data warehouse