Model-based testing and analysis of distributed, embedded and real-time systems

分布式、嵌入式和实时系统的基于模型的测试和分析

• 批准号: 341511-2007
• 负责人: Garousi, Vahid
• 金额: $ 1.09万
• 依托单位: University of Calgary
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2011
• 资助国家: 加拿大
• 起止时间: 2011-01-01 至 2012-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=482134
• 关键词: Model; based; testing; analysis; distributed

Distributed, Embedded and Real-Time Systems (DERTS) are becoming more important to our everyday life. Examples include command and control systems, aircraft aviation systems, robotics, and nuclear power plant systems. However, the development and testing of such systems is difficult and takes more time than for systems without real-time constraints or with a non-embedded nature.

分布式、嵌入式和实时系统（DERTS）在我们的日常生活中变得越来越重要。例子包括指挥和控制系统，飞机航空系统，机器人和核电站系统。然而，开发和测试这样的系统是困难的，需要更多的时间比系统没有实时的限制或具有非嵌入式的性质。