刷新
{{item.name}}会员
Specification Mining of Time-sensitive Systems for Safety and Security Applications
用于安全和安保应用的时间敏感系统的规范挖掘
基本信息
- 批准号：RGPIN-2018-04454
- 负责人：
- 金额：$ 4.01万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Discovery Grants Program - Individual
- 财政年份：2021
- 资助国家：加拿大
- 起止时间：2021-01-01 至 2022-12-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
automotive systems; embedded systems; real-time systems; runtime monitoring; safety-critical systems; specification mining; time-aware systems
汽车系统；嵌入式系统；实时系统；运行时监控；安全关键系统；规范挖掘；时间感知系统
项目成果
期刊论文数量（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
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
Specification Mining of Time-sensitive Systems for Safety and Security Applications
用于安全和安保应用的时间敏感系统的规范挖掘
- 批准号：
RGPIN-2018-04454 - 财政年份：2020
- 资助金额：
$ 4.01万 - 项目类别：
Discovery Grants Program - Individual
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
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
Specification Mining of Time-sensitive Systems for Safety and Security Applications
用于安全和安保应用的时间敏感系统的规范挖掘
- 批准号：
RGPIN-2018-04454 - 财政年份：2020
- 资助金额：
$ 4.01万 - 项目类别：
Discovery Grants Program - Individual
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