Formal Safety Analysis and Verification in the Model Driven Development of a Pacemaker Product Line.
Sara BlessingMichaela HuhnPublished in: MBEES (2012)
Keyphrases
- safety analysis
- product line
- model driven development
- software development
- safety critical
- formal methods
- software engineering
- software product line
- nuclear power plant
- control system
- symbolic model checking
- model driven
- fault model
- software design
- software architecture
- modeling language
- model checking
- case study
- model checker
- software projects
- software systems
- development process
- model driven architecture
- formal verification
- business processes
- reliability analysis
- future directions
- formal specification
- service oriented
- platform independent
- artificial intelligence
- life cycle
- machine learning
- reverse engineering
- cooperative
- commercial software
- real world
- databases
- object oriented
- embedded systems
- software components
- agent architecture
- database