Skip to main content
English
中文
Log In
Log in
Log in with ORCID
NTU Single Sign On
New user? Click here to register.
Have you forgotten your password?
Home
.National Taiwan University / 國立臺灣大學
Project / 研究計畫
核能儀控系統應用正規方法發展與驗證技術研究
核能儀控系統應用正規方法發展與驗證技術研究
Details
Primary Data
Project title
核能儀控系統應用正規方法發展與驗證技術研究
Internal ID
102200INER010
Principal Investigator
YIH-KUEN TSAY
Start Date
February 8, 2013
End Date
December 31, 2013
Partner Organizations
Institute of Nuclear Energy Research, AEC
Description
Keywords
控制程式
正規方法
中斷
模型檢測
Modex
程式證明
高安全系統
排程分析
SPIN
時間分析
工作負載模型
Controller Programs
Formal Methods
Interrupts
Model Checking
Modex
Program Verification
Safety-Critical Systems
Schedulability Analysis
SPIN
Timing Analysis
Workload Models