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
• 关键词: Toolkit; Analysis; Models; Real; Time

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.

随着实时嵌入式系统的数量、规模和复杂性的增加，它们运行的软件的开发成本已经成为包括汽车、电信、航空电子和医疗在内的许多领域的关注点。政府和监管机构要求采用更严格的验证、确认和认证技术的压力越来越大，这进一步加剧了问题的严重性。统一建模语言（UML），具有被证明的潜力，允许高质量的复杂嵌入式软件的高效，有效的开发，并越来越多地在工业中采用。