关键词: 软件安全性, 面向上下文编程（COP）, 编程模型

Abstract: Control software is the core of safety-critical systems, its correctness is crucial to the system safety. However, as systems are facing increasingly complex context environment, which cannot be considered all, system safety is facing new challenges. So it is very important to enhance software safety via an environment-centered, incremental method when maintaining the software. Context-oriented programming is a programming technique which treats software context as a central notion. Current opera-
ting mechanisms for COP treat context explicitly, and it provides mechanisms to dynamically adapt behavior in reaction to changes in context. However, some behavior adaptions may interrupt the system actuator’s running state, and affect system’s results. There still don’t have an effective approach to deal with such problems. According to existing COP language, it proposes a control software safety enhancement model based on software context saving and restoring, also, it provides the corresponding runtime support mechanism and programming tools. It shows a parts picking system safety enhancement case to satisfy the model’s correctness.

Key words: software safety, Context-Oriented Programming（COP）, programming model