课题基金 / 基金详情

Trace analysis for safety assurance of critical software systems

Trace analysis for safety assurance of critical software systems
关键软件系统安全保证的跟踪分析
批准号：
485849-2015
负责人：
Fischmeister, Sebastian
金额：
$13.9万
依托单位：
University of Waterloo
依托单位国家：
加拿大
项目类别：
Collaborative Research and Development Grants
财政年份：
2017
资助国家：
加拿大
项目状态：
已结题
起止时间：
2017-01-01 至 2018-12-31
来源：
https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=619375
关键词：
Traceanalysissafetyassurancecritical

项目摘要

项目成果

Fischmeister, Sebastian的其他基金

相似基金

相关文献

中文摘要
翻译
安全关键系统在我们的社会中无处不在，日常物体如飞机、汽车、火车或医疗设备。对这些系统的要求和期望正在迅速增长，因此它们变得更加复杂。挑战在于，虽然开发人员希望提供消费者想要的所有功能，但开发人员仍然必须确保系统正常工作并且使用安全。该项目将调查使用跟踪方法，以建立系统正常工作的定量证据，并将调查运行时监测技术，以观察运行中的安全关键系统，并确定是否存在行为异常。
英文摘要
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.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Specification Mining of Time-sensitive Systems for Safety and Security Applications
  • 批准号：
    RGPIN-2018-04454
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $8.01万
  • 财政年份：
    2022
  • 负责人：
    Fischmeister, Sebastian
  • 依托单位：
    University of Waterloo
FAUST: fault and security testing for vehicle systems
  • 批准号：
    565305-2021
  • 项目类别：
    Alliance Grants
  • 资助金额：
    $31.49万
  • 财政年份：
    2021
  • 负责人：
    Fischmeister, Sebastian
  • 依托单位：
    University of Waterloo
Specification Mining of Time-sensitive Systems for Safety and Security Applications
  • 批准号：
    RGPIN-2018-04454
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $4.01万
  • 财政年份：
    2021
  • 负责人：
    Fischmeister, Sebastian
  • 依托单位：
    University of Waterloo
NSERC/Magna Industrial Research Chair in Automotive Software for Connected and Automated Vehicles
  • 批准号：
    549095-2018
  • 项目类别：
    Industrial Research Chairs
  • 资助金额：
    $8.74万
  • 财政年份：
    2021
  • 负责人：
    Fischmeister, Sebastian
  • 依托单位：
    University of Waterloo
国内基金
海外基金
Scalable Learning and Optimization: High-dimensional Models and Online Decision-Making Strategies for Big Data Analysis
Intelligent Patent Analysis for Optimized Technology Stack Selection:Blockchain BusinessRegistry Case Demonstration
  • 批准号：
    --
  • 项目类别：
    外国学者研究基金项目
  • 资助金额：
    --
  • 批准年份：
    2024
  • 负责人：
    USHARANI HAREESH GOVINDARA JAN
  • 依托单位：
    上海理工大学管理学院
利用全基因组关联分析和QTL-seq发掘花生白绢病抗性分子标记
基于SERS纳米标签和光子晶体的单细胞Western Blot定量分析技术研究
  • 批准号：
    31900571
  • 项目类别：
    青年科学基金项目
  • 资助金额：
    24.0万元
  • 批准年份：
    2019
  • 负责人：
    刘兵
  • 依托单位：
    南通大学