C2AADL_Reverse: A model-driven reverse engineering approach to development and verification of safety-critical software.
Zhibin YangZhikai QiuYong ZhouZhiqiu HuangJean-Paul BodeveixMamoun FilaliPublished in: J. Syst. Archit. (2021)
Keyphrases
- safety critical
- reverse engineering
- model driven
- formal methods
- platform independent
- software engineering
- safety analysis
- model driven architecture
- formal specification
- software maintenance
- development environments
- fault tolerant
- metamodel
- data driven
- embedded systems
- model driven development
- development process
- program understanding
- software development
- software systems
- support systems
- agent architecture
- service oriented
- object oriented
- software design
- adaptive systems
- legacy software systems
- model checking
- data integration
- business rules
- artificial intelligence
- software quality
- formal verification
- modeling language
- knowledge based systems
- source code
- design patterns
- cooperative