课题基金 / 基金详情

A Toolkit for the Analysis of Models of Real-Time Embedded Software

A Toolkit for the Analysis of Models of Real-Time Embedded Software
实时嵌入式软件模型分析工具包
批准号：
RGPIN-2015-04301
负责人：
Dingel, Juergen
金额：
$2.62万
依托单位：
Queen's University
依托单位国家：
加拿大
项目类别：
Discovery Grants Program - Individual
财政年份：
2017
资助国家：
加拿大
项目状态：
已结题
起止时间：
2017-01-01 至 2018-12-31
来源：
https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=634487
关键词：
ToolkitAnalysisModelsRealTime

项目摘要

项目成果

Dingel, Juergen的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
With the number, size and complexity of real-time embedded systems increasing, the development costs for the software they run have become a concern in many domains including automotive, telecom, avionics, and medical. Growing pressure by governments and regulatory bodies to adopt more rigorous validation, verification, and certification techniques further exacerbates the problem.  With their emphasis on abstraction and automation, model-based development techniques and tools, based on, e.g., the Unified Modeling Language (UML), have the proven potential to allow for the efficient, effective development of high-quality complex embedded software and are increasingly adopted in industry.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Model-driven engineering for distributed, reliable, adaptive, web-based software
  • 批准号：
    RGPIN-2020-03892
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $3.5万
  • 财政年份：
    2022
  • 负责人：
    Dingel, Juergen
  • 依托单位：
    Queen's University
Model-driven engineering for distributed, reliable, adaptive, web-based software
  • 批准号：
    RGPIN-2020-03892
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $3.5万
  • 财政年份：
    2021
  • 负责人：
    Dingel, Juergen
  • 依托单位：
    Queen's University
Model-driven engineering for distributed, reliable, adaptive, web-based software
  • 批准号：
    RGPIN-2020-03892
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $3.5万
  • 财政年份：
    2020
  • 负责人：
    Dingel, Juergen
  • 依托单位：
    Queen's University
Enabling Design and Architecture Support for the Development of Internet of Things Applications
  • 批准号：
    522737-2017
  • 项目类别：
    Collaborative Research and Development Grants
  • 资助金额：
    $2.04万
  • 财政年份：
    2020
  • 负责人：
    Dingel, Juergen
  • 依托单位：
    Queen's University
国内基金
海外基金
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
  • 依托单位：
    上海理工大学管理学院
基于Meta-analysis的新疆棉花灌水增产模型研究
  • 批准号：
    41601604
  • 项目类别：
    青年科学基金项目
  • 资助金额：
    22.0万元
  • 批准年份：
    2016
  • 负责人：
    赵爱琴
  • 依托单位：
    农业农村部规划设计研究院
大规模微阵列数据组的meta-analysis方法研究
  • 批准号：
    31100958
  • 项目类别：
    青年科学基金项目
  • 资助金额：
    20.0万元
  • 批准年份：
    2011
  • 负责人：
    赵洪雅
  • 依托单位：
    深圳职业技术学院