An Exercise in Reverse Engineering for Safety-Critical Systems: An Experience for the Classroom.
Emanuel S. GrantPann AjjimapornPublished in: CSEDU (Selected Papers) (2018)
Keyphrases
- reverse engineering
- safety critical
- formal methods
- embedded systems
- software engineering
- legacy systems
- agent architecture
- fault tolerant
- nuclear power plant
- safety analysis
- program understanding
- software maintenance
- support systems
- adaptive systems
- management system
- knowledge based systems
- low cost
- cooperative
- learning environment
- database