Model-Driven Software Development of Safety-Critical Avionics Systems: an Experience Report.
Aram HovsepyanDimitri Van LanduytSteven Op de beeckSam MichielsWouter JoosenGustavo RangelJavier Fernandez BrionesJan DepauwPublished in: MD2P2@MoDELS (2014)
Keyphrases
- safety critical
- model driven
- model driven development
- software development
- formal methods
- safety analysis
- fault tolerant
- agent architecture
- embedded systems
- service oriented
- model driven architecture
- real time
- development process
- database
- software systems
- knowledge based systems
- support systems
- data driven
- software architecture
- software components
- metamodel
- modeling language
- intelligent systems
- adaptive systems
- low cost
- software engineering
- information systems