Specification Mining of Time-sensitive Systems for Safety and Security Applications
用于安全和安保应用的时间敏感系统的规范挖掘
基本信息
- 批准号:RGPIN-2018-04454
- 负责人:
- 金额:$ 4.01万
- 依托单位:
- 依托单位国家:加拿大
- 项目类别:Discovery Grants Program - Individual
- 财政年份:2020
- 资助国家:加拿大
- 起止时间:2020-01-01 至 2021-12-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
Embedded safety-critical systems are essential for Canada and Canadians. Should safety-critical systems fail to provide their required functionality, they have the potential to cause harm to people, loss of capital infrastructure, or significant damage to the environment. Canadians rely on safety-critical systems every day as they commute to work, travel in airplanes, and undergo medical treatment in hospitals. The lives of many Canadians are dependent on these systems; people rely on pacemakers, implanted insulin pumps, and neonate incubators. Businesses rely on these systems to steer supply chains, control factories, and manage finances. Finally, Canada's safety and independence relies on these systems for modern surveillance and defense technology; all of these systems are controlled by computers and software in embedded safety-critical applications.
Safety-critical systems are becoming increasingly complex; the more complex, the greater the risk of safety hazards for the public. Today's control software in vehicles and aircraft counts millions of lines of code. Increase in software complexity strongly correlates with an increase in system defects. Over the last 20 years, for instance, automotive software has become the prime reason for vehicle recalls --- accounting now for over 30% of all recalls. Defects in safety-critical systems heighten the risk of failure, which can lead to accidents severely impacting human life, property, and the environment.
This proposal outlines a research programme that will research and develop technology to (1) assist in understanding complex systems and (2) build a monitoring system to detect failures before they become hazards. The programme concentrates on specification mining and runtime monitoring as the core building blocks. Specification mining uses algorithms to analyze artifacts such as system traces with the goal to extract system behaviour. Extracted system behaviour can provide dynamic views on specific aspects that a developer might be interested in, and can be used as an effective tool to comprehend complex systems. Runtime monitoring provides mechanisms to observe a system and prevent it from entering undesirable, or even erroneous states. Runtime monitoring typically uses checker code synthesized from high-level specifications to check current system behaviour, and alert or steer the system in case of violations of high-level specifications. For example, an automotive transmission shall shall remain for a minimum time on a gear before switching to avoid rapid (malicious) engine wear.
By automating tools for safety and security monitoring, the programme will fundamentally advance the state-of-the-art of system development for complex embedded systems. The programme will also train HQP necessary for industry to translate the results into products to build safe and secure next-generation embedded systems.
嵌入式安全关键系统对加拿大和加拿大人至关重要。如果安全关键型系统无法提供其所需的功能,则有可能对人员造成伤害,损失资本基础设施或对环境造成重大破坏。加拿大人每天上下班、乘飞机旅行和在医院接受治疗时都依赖安全关键系统。许多加拿大人的生活依赖于这些系统;人们依赖起搏器、植入式胰岛素泵和新生儿保育器。企业依靠这些系统来引导供应链、控制工厂和管理财务。最后,加拿大的安全和独立依赖于这些现代监控和防御技术系统;所有这些系统都由嵌入式安全关键应用程序中的计算机和软件控制。
安全关键系统正变得越来越复杂;越复杂,对公众的安全危害风险就越大。今天的车辆和飞机控制软件有数百万行代码。 软件复杂性的增加与系统缺陷的增加密切相关。例如,在过去的20年里,汽车软件已经成为汽车召回的主要原因-现在占所有召回的30%以上。安全关键系统的缺陷会增加故障风险,从而可能导致严重影响人类生命、财产和环境的事故。
该提案概述了一项研究方案,该方案将研究和开发技术,以(1)帮助了解复杂系统,(2)建立一个监测系统,在故障成为危险之前发现故障。该计划集中在规范挖掘和运行时监控作为核心构建块。规范挖掘使用算法来分析工件,如系统跟踪,目标是提取系统行为。提取的系统行为可以提供开发人员可能感兴趣的特定方面的动态视图,并且可以用作理解复杂系统的有效工具。监视提供了观察系统并防止其进入不期望的甚至错误的状态的机制。恶意监视通常使用从高级规范合成的检查器代码来检查当前系统行为,并在违反高级规范的情况下警告或引导系统。例如,汽车变速器在切换之前应保持在档位上的最短时间,以避免快速(恶意)发动机磨损。
通过自动化安全和安全监控工具,该计划将从根本上推进复杂嵌入式系统的系统开发。该计划还将培训行业所需的HQP,将结果转化为产品,以构建安全可靠的下一代嵌入式系统。
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
数据更新时间:{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
Fischmeister, Sebastian其他文献
Runtime verification with minimal intrusion through parallelism
- DOI:
10.1007/s10703-015-0226-3 - 发表时间:
2015-06-01 - 期刊:
- 影响因子:0.8
- 作者:
Berkovich, Shay;Bonakdarpour, Borzoo;Fischmeister, Sebastian - 通讯作者:
Fischmeister, Sebastian
Security of Vehicle Platooning: A Game-Theoretic Approach
- DOI:
10.1109/access.2019.2961002 - 发表时间:
2019-01-01 - 期刊:
- 影响因子:3.9
- 作者:
Basiri, Mohammad Hossein;Pirani, Mohammad;Fischmeister, Sebastian - 通讯作者:
Fischmeister, Sebastian
Plug-and-play for medical devices: experiences from a case study.
- DOI:
10.2345/0899-8205-43.4.313 - 发表时间:
2009-07-01 - 期刊:
- 影响因子:0
- 作者:
Arney, David;Fischmeister, Sebastian;Trausmuth, Robert - 通讯作者:
Trausmuth, Robert
Fischmeister, Sebastian的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Fischmeister, Sebastian', 18)}}的其他基金
Specification Mining of Time-sensitive Systems for Safety and Security Applications
用于安全和安保应用的时间敏感系统的规范挖掘
- 批准号:
RGPIN-2018-04454 - 财政年份:2022
- 资助金额:
$ 4.01万 - 项目类别:
Discovery Grants Program - Individual
FAUST: fault and security testing for vehicle systems
FAUST:车辆系统的故障和安全测试
- 批准号:
565305-2021 - 财政年份:2021
- 资助金额:
$ 4.01万 - 项目类别:
Alliance Grants
Specification Mining of Time-sensitive Systems for Safety and Security Applications
用于安全和安保应用的时间敏感系统的规范挖掘
- 批准号:
RGPIN-2018-04454 - 财政年份:2021
- 资助金额:
$ 4.01万 - 项目类别:
Discovery Grants Program - Individual
NSERC/Magna Industrial Research Chair in Automotive Software for Connected and Automated Vehicles
NSERC/麦格纳互联和自动驾驶汽车软件工业研究主席
- 批准号:
549095-2018 - 财政年份:2021
- 资助金额:
$ 4.01万 - 项目类别:
Industrial Research Chairs
NSERC/Magna Industrial Research Chair in Automotive Software for Connected and Automated Vehicles
NSERC/麦格纳互联和自动驾驶汽车软件工业研究主席
- 批准号:
549095-2018 - 财政年份:2020
- 资助金额:
$ 4.01万 - 项目类别:
Industrial Research Chairs
Specification Mining of Time-sensitive Systems for Safety and Security Applications
用于安全和安保应用的时间敏感系统的规范挖掘
- 批准号:
DGDND-2018-00010 - 财政年份:2020
- 资助金额:
$ 4.01万 - 项目类别:
DND/NSERC Discovery Grant Supplement
DBL: Driver Behaviour Learning
DBL:驾驶员行为学习
- 批准号:
519912-2017 - 财政年份:2020
- 资助金额:
$ 4.01万 - 项目类别:
Collaborative Research and Development Grants
NSERC/Magna Industrial Research Chair in Automotive Software for Connected and Automated Vehicles
NSERC/麦格纳互联和自动驾驶汽车软件工业研究主席
- 批准号:
549095-2018 - 财政年份:2019
- 资助金额:
$ 4.01万 - 项目类别:
Industrial Research Chairs
DBL: Driver Behaviour Learning
DBL:驾驶员行为学习
- 批准号:
519912-2017 - 财政年份:2019
- 资助金额:
$ 4.01万 - 项目类别:
Collaborative Research and Development Grants
ECUgram: fingerprinting commercial-off-the-shelf electronic control units
ECUgram:指纹商用现成电子控制单元
- 批准号:
520143-2017 - 财政年份:2019
- 资助金额:
$ 4.01万 - 项目类别:
Collaborative Research and Development Grants
相似国自然基金
基于Genome mining技术研究抑制表皮葡萄球菌生物膜形成的次级代谢产物
- 批准号:21242003
- 批准年份:2012
- 资助金额:10.0 万元
- 项目类别:专项基金项目
相似海外基金
Specification Mining of Time-sensitive Systems for Safety and Security Applications
用于安全和安保应用的时间敏感系统的规范挖掘
- 批准号:
RGPIN-2018-04454 - 财政年份:2022
- 资助金额:
$ 4.01万 - 项目类别:
Discovery Grants Program - Individual
Solid Water, Frozen Time, Future Justice: Photography and Mining in the Andean Glaciers
固体水、冻结的时间、未来的正义:安第斯冰川的摄影和采矿
- 批准号:
AH/V00915X/2 - 财政年份:2022
- 资助金额:
$ 4.01万 - 项目类别:
Research Grant
Solid Water, Frozen Time, Future Justice: Photography and Mining in the Andean Glaciers
固体水、冻结的时间、未来的正义:安第斯冰川的摄影和采矿
- 批准号:
AH/V00915X/1 - 财政年份:2021
- 资助金额:
$ 4.01万 - 项目类别:
Research Grant
Specification Mining of Time-sensitive Systems for Safety and Security Applications
用于安全和安保应用的时间敏感系统的规范挖掘
- 批准号:
RGPIN-2018-04454 - 财政年份:2021
- 资助金额:
$ 4.01万 - 项目类别:
Discovery Grants Program - Individual
Visualization of student engagement and real-time process mining research on learning logs
学生参与度的可视化和学习日志的实时流程挖掘研究
- 批准号:
21K12183 - 财政年份:2021
- 资助金额:
$ 4.01万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
Specification Mining of Time-sensitive Systems for Safety and Security Applications
用于安全和安保应用的时间敏感系统的规范挖掘
- 批准号:
DGDND-2018-00010 - 财政年份:2020
- 资助金额:
$ 4.01万 - 项目类别:
DND/NSERC Discovery Grant Supplement
Combining Text Mining and Multivariate Time Series Modelling
结合文本挖掘和多元时间序列建模
- 批准号:
426470111 - 财政年份:2019
- 资助金额:
$ 4.01万 - 项目类别:
Research Grants
Specification Mining of Time-sensitive Systems for Safety and Security Applications
用于安全和安保应用的时间敏感系统的规范挖掘
- 批准号:
RGPIN-2018-04454 - 财政年份:2019
- 资助金额:
$ 4.01万 - 项目类别:
Discovery Grants Program - Individual
Specification Mining of Time-sensitive Systems for Safety and Security Applications
用于安全和安保应用的时间敏感系统的规范挖掘
- 批准号:
DGDND-2018-00010 - 财政年份:2019
- 资助金额:
$ 4.01万 - 项目类别:
DND/NSERC Discovery Grant Supplement
Development of unmanned aerial vehicle systems for real-time mining data acquisition and decision making
开发实时采矿数据采集和决策的无人机系统
- 批准号:
508741-2017 - 财政年份:2018
- 资助金额:
$ 4.01万 - 项目类别:
Collaborative Research and Development Grants