Trace analysis for safety assurance of critical software systems

关键软件系统安全保证的跟踪分析

• 批准号: 485849-2015
• 负责人: Fischmeister, Sebastian
• 金额: $ 13.9万
• 依托单位: University of Waterloo
• 依托单位国家: 加拿大
• 项目类别: Collaborative Research and Development Grants
• 财政年份: 2018
• 资助国家: 加拿大
• 起止时间: 2018-01-01 至 2019-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=650776
• 关键词: Trace; analysis; safety; assurance; critical

Safety-critical systems are pervasive throughout our society with everyday objects such as airplanes, cars, trains, or medical devices. The requested functionality and expectations from these systems is growing rapidly and consequently they become more complex. The challenge is that while the developers want to provide all the features that consumers want, developers must still make sure that the systems are working properly and are safe to use. This project will investigate the use tracing methods for establishing quantitative evidence that a system is working properly and will investigate runtime monitoring techniques to observe safety-critical systems in operation and determine whether behavioural anomalies are present.**

安全关键系统在我们的社会中无处不在，包括飞机、汽车、火车或医疗设备等日常用品。这些系统所要求的功能和期望正在迅速增长，因此它们变得更加复杂。挑战在于，虽然开发人员希望提供用户所需的所有功能，但开发人员仍然必须确保系统正常工作并且可以安全使用。该项目将调查使用跟踪方法来建立系统正常工作的定量证据，并将调查运行时监控技术，以观察运行中的安全关键系统，并确定是否存在行为异常