Software Qualification Approach for Safety-Critical Software of the Embedded System.

Jangyeol Kim Soongohn Kim

Published in: FGIT-FGCN/DCA (2012)

Keyphrases

safety critical
software development
software systems
formal methods
safety analysis
case study
embedded systems
source code
nuclear power plant
software components
real time
software engineering
data warehouse
user interface
expert systems
cooperative
machine learning