About Eunkyoung Jee
No Subject Area (3)
Assurance Cases in Model-Driven Development of the Pacemaker Software
Lecture Notes in Computer Science: Leveraging Methods of Formal Methods, Verification, and Validation (2010)
We discuss the construction of an assurance case for the pace-maker software. The software is developed following a model-based technique ...
Automated Test Coverage Measurement for Reactor Protection System Software implemented ...
Lecture Notes in Computer Science: Computer Safety, Reliability, and Security (2010)
We present FBDTestMeasurer, an automated test coverage measurement tool for function block diagram (FBD) programs which are increasingly used in ...
A Safety-Assured Development Approach for Real-Time Software
16th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA '10) (2010)
Guaranteeing timing properties is an important issue as we develop safety-critical real-time systems such as cardiac pacemakers. We present a ...