NuSEE: An Integrated Environment of Software Specification and VV for NPP Safety-Critical Systems

摘要

In this paper, an integrated environment of S/Wspecification and V&V for safety-critical systems was proposed. Integrated environment systematically supportsformal based specification technique according to lifecycle and also supports various kinds of effective V&Vtechniques based on proposed specification specificallyfor nuclear fields. For tool support, NuSEE, integratedvarious CASE tools including NuSISRT, NuSRS,NuSDS, and NuSCM, was developed for support of eachsoftware lifecycle phase.