Evaluation of Real Time Operating System
Total Page:16
File Type:pdf, Size:1020Kb
KINS/HR-719 eiS fl*l|7|# 7H^ Development of Nuclear Safety Regulation Technology qxie tii^* ii(h ya Development of the Safety Regulation Technology for Digital Instrumentation and Control Systems i!A|2i e831 all @7|7|#0|| as 21? Evaluation of Real Time Operating System 2006. 2 flBta?7|a : Sti-CHttH ^ 9?X||7|# 7H^” 2|-X1|o| Ai|ti3^i|o| "C|X|g 7^Xj|CH fAjpi# 7H^”°| “^A|y ^M\X-\\ S7p|^oil g# Siti SLZLAis xi|##L|ck 2006td 2S 28 s : £[^^a^oj-S7|-o, ^o^*!joi;q. : g # s| o|Ei- :: # #]R ^|E[Od^5HOIX(- :: o| S ■*/> £ ^ 04 ^ f ^ :; 5: # % -1-! o| u-tn 0| § & 5| £ i o I. 4 ^ #4# e#44 ## ## ii. # is^ 4# ##4 # 4W44 4## #44 ### ##4 4#4 #4 4 4# 7l4o] 7]# oj.yg.3L 7]4#& 444-s $14. oj## 44 44 #^ 44 & 44=4# #444s #7M4-7]] 44# 444 s##$lw4, 4#4^ 44 4# 4#444#s 44#-44.o a. y^jsjji #y. ojy ## 44#-44 # 4# 44^1 4^4 4 4#4 4 #^#s, s4=m(drift) 444 4^-4, 4#s, ##s, 4444 4=4, sejji W#S#s 44 7j-#*& ### 4" $144 7j-# 4 #4-s* 4 $144 4##- 7Mji ##. zi44- 44# 444 ##szt 444 44 4# #4(4, 4s, es, #4-#, 47]-#, #7] 4)4 4##s, 4 44- SSZL4# W#4 44=44 444M s# 7j-^#oj e 4W& 444s $14-. 44, #7j-^y#^ #44^-4 44# 7]## 4## 4# 44#444 ## 444 s ###31 444^ ^sw#4 S4-7]- oj.y-g.3i #JE44S4 f 44$1# 444 #4S4-& f#s# 4^ $14 444, 4# 4#44 4^1 44 #-7]u> 4444444 4# #4# $K Safety Concerns) W 3. 4444 4:4. 4 4^i 44% 444 #s 44 44- #4 #4##4 4# 44##& s4#s 447]- 44-4 4##7j 44 #44## 7]]%44 #S4, zz. #4# ##S3 # #47] 4(#)#-4 4A14s $14. s44 44 #4 s%4s 4#4s 4#?M #44 #7}#-% # #444 (4)4 4444 w.oj:7j. 4# ##44 #44 4#-4s $1^ #44 #44 44 ii 4 $14. 44 #4444 Vx Works 4 Wind River Kernel (Wind River System, Inc.), OS-9 & OS-9000( Micro ware System corporation), LynxOS (Lnx Real-Time System, Inc), zz.s]:n UniFLEX(RTMX-NniFLEX) #4 #4- #-##(COTS)4 #44 #4447} 4#4s $lw#, #4 44- #s44 #4 iii 5)31 ## ### 4#444^^(KNICS)44# #44 ##44# ;))##3. ## 43& 445)31 44. 4#4 ##44# 4&4 44, ##, ^4##, ## ^g.31^4 #3444 4 #444^ # 4#44 2.# ### 444^ 42:444. 3#2.& #44 ##44# #4 444^-^-^ 4 ai)7)4 4 ## '44# 44 4#444#4 #44 4#'4 # 444, 44#44 #^44, 42=3 34## #4 4##3a. ### 44# 4^#44. 4 ##447} 42:3 #^44# 4## # 44 444## 443-L 4fr 44 #44 44 44(Real-Time Operating System) 431 44. 44 #44 44 4 4(Soft Real-Time Operating System) 4 44 44-44 4—3.7]- 4^44 44 #sS44 ##4 4444 4# 4444 #4# 43E 4-8-5)^ 44, 44 #44 4444(Hard Real-Time Operating System) 444 444 44443 s.# 4—3.7)- 435)-# 444 #sS5)44 #4. 444#4& ^ 444## 444m/} #4 #44# &4# 4# 444 44 44 #34 #444 4-3&, 44# 4#& 44# 4#4#4## #4 #4# ##44 #4# 4#44 #4. 44#-7)# 4#444#4 44 #4442:4 #4# 4#7) 444# #4 # 4? 34# ##4)4 4-4, 44&# 442:# 444 4## ?)## #4# 4# 4#444 44. 343. ##44## ##4 7)## ##4 4# #4 # #443 #34, #--§-#5)7)4- 44 44# ##44## 3 #4# #7}#^4 #3# 7))#4;&4 #4# 4# #444 ^# #444. 44 444 #4 44 #-44 44444#4 4#5)^ #4# #4444 44 3|7>#4:4 #### 3& A))#^ ^-4-43 %)#. 4- 4#;))## 444 3#4 #-#44 #4 44 # 44 4#5)3i ## #43M), ## #44444 3145)4# # 4^44 ##4e ^ ##44 44 ## &4 ^ #444, 4# #42- #4 44# 4 #44 4#4 4#5)# #44 #4444 4# #7}?)## 7fl4#3 4# 4# 33. #44 ##44#4 4# 44#444# ^^4 #3# 4#44 44# 4##3i4- #4. III. 4# 7Hli4 M|n ni moj #44 #44 ##444 &A). ^ #44)^)^ 4444 #44 ##444 iv 43: # 4##44 44# €3 44# 4444(PLC) A}4 2:4 ^ ##4Ai# #4 KNICS 4^ 4#& 7l]#4 PLC# 444 # #444 7j#4 44#- ##444. 4 ### #-#4 €4 444 4:444 4 4/1-444 ^A}tjj ^.4^-4, 4# #44 ##444 4# A^]^ #& 44, 4444# ^#444. IV. 4# 4#^4 4 ##oi| qj# yoj 4^g. 44 4#444#4 44 444 7j#& 4444 44 #4 #44 #44A1M 4#^ 44 #44 4_og. 44a#-. oje.^ 4447^ 44^ 4#4 4 4# #44 #4444 4# #7M## 4# 44 44# 4444, zz. 44## 4##A^ #7]-# 4A& 4444 #44 ## 444 4# 44444# ##4 4^4^ #A# ^444 # 4^-g- 444 4. #, #4 447)- #Aj- #4 #3.# 1,2:&44 444 44(APR-1400), zzeja. 2:44 447]- 4## 4444 ### 4#44#2i^(KNlCS) #44 4#43i 44 ###(C0TS) S4 AMI 7H4 #44 #4444 44 44# # 7M ### # 4# 4444. V SUMMARY I . Project Title Evaluation of Real Time Operating System II. Objective and Importance of the Project According to a rapid progress of computers and information processing technology, digital technologies substitute analog ones in a broad area of industry. This trend is inevitably applied to nuclear power plants which have pursued only well-proven technologies, resulting that safety related instrumentation and control systems are now designed based on the digital technology. This kind of digital-based design has the advantages that it is superior in data transmission and processing, has less drifts, increased accuracy, reliability, flexibility, and can increase the resource usability by sharing various kinds of resources. Digital systems, however, are more sensitive to ambient environment (such as temperature, humidity, radiation, electromagnetic waves, smoke, etc.) than analog systems, are prone to design and programming errors, same-kinds of faults. Since, when it is applied especially to the safety system of a nuclear power plant, it can jeopardize the design requirements of redundancy because of common-type software errors, it becomes the safety concerns in digital-based instrumentation and control systems how to solve this problem. To solve this kinds of safety concerns and to support the safety evalauation for the licensing of nuclear power plant, regulation technologies have made an appearance. Consequently, many regulation guidelines (proposals) are now being suggested. In spite of these efforts, a clear evaluation scheme and regulation guidelines are not suggested in the field of real-time operating systems (RTOS) applying to the nuclear power plants. Currently, commercial RTOS's such as vi VxWorks, OS-9, LynxOS and UniFLEX are used in the nuclear power plants, and an RTOS is now being developed for the Korea Nuclear I&C System (KNICS) under the control of the government. Operating systems are systems to control all operations of the computer subsystems such as memory, communication, scheduling, interfaces between hardware and applications, etc. Therefore, an RTOS is a system which directly affects major aspects of the real-time performance of a digital-based instrumentation and control system such as timing, deterministic execution time, task scheduling, etc. An RTOS has a mechanism to estimate the execution times of tasks. An hard RTOS must guarantee deadlines of tasks in a worst case scenario, while deadline misses are allowed in a limited range in soft RTOS's. Since, in case of protection and safety system of the nuclear power plant, it must respond within a predefined time when a safety parameter exceeds a setpoint, it must be designed using a hard RTOS. An hard RTOS used in the nuclear power plant must satisfy severe performance requirements even in a worst case scenario. Since operating systems are becoming more complecated, it is not an easy job to evaluate them. So, it becomes more important how to evaluate the RTOS's used in the nuclear power plants. The purpose of this work is to survey design examples and performance models of the RTOS's used in the nuclear power plants, and, based on this survey, develop a evaluation technologies. III. Scope and Contents of the Project This report first describes the architectures and application areas of general RTOS's, then analyses technical characteristics of the RTOS developed for the PTC. Based on the analysis, we investigate the evaluation issues of the RTOS for nuclear power plants, and based on this investigation, we devise symptoms, reasons, and dangerous results for each kernel service of the RTOS. vii IV. Results and Recommendations for Applications As the nucleur power plant instrumentation and control systems gradually apply digital technology, RIOS's have much more chances to be used in the system. At this point, to develop an evaluation technology of the RTOS for the nucleur power plant instrumentation and control systems seems to be vary timely, and the results can be used as a valuable backup to establish safety regulatory guides for the safety regulation of RTOS's. In other words, they can be directly used for security evaluation of the commercial or self-developed RTOS's for the Singori 1, 2 plants, next-generation power plant (APR-1400), and the Korea Nuclear I&C System (KNICS). viii ^ n 4 * ° 4 4................................................................................................................................... ix a 4 4................................................................................................................................x 31# #4..................................................................................................................................xi 4 i # 4 * ........................................................................ •l 4 i a; #4# *^44 7^.............................................. •l 4 2# #4* ^.#444 #m]4^ 4^^......................... -4 4 2# ### *^44 f^4 #-8-##................................... 12 4 1# #4# *#44 %.........................................................