Model-driven Engineering Techniques for Dependable Adaptive Software Systems

可靠自适应软件系统的模型驱动工程技术

• 批准号: RGPIN-2017-05417
• 负责人: Gherbi, Abdelouahed
• 金额: $ 1.68万
• 依托单位: École de technologie supérieure
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2017
• 资助国家: 加拿大
• 起止时间: 2017-01-01 至 2018-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=634523
• 关键词: Model; driven; Engineering; Techniques; Dependable

Software systems are nowadays the backbone of our modern society diverse activities, including transportation, communication, health, and entertainment. In addition to their inherent complexity, these systems are more and more deployed on highly dynamic runtime platforms (e.g. Cloud Computing) and they interface with an uncertain environment (e.g. Cyber-Physical Systems). In this context, the software systems should be designed with an adaptation capacity and should continuously verify stringent dependability requirements.

软件系统是当今我们现代社会多样化活动的支柱，包括交通、通信、健康和娱乐。除了其固有的复杂性，这些系统越来越多地部署在高度动态的运行时平台上(例如云计算)，并且它们与不确定的环境(例如网络物理系统)交互。在这方面，软件系统的设计应具有适应能力，并应不断核实严格的可靠性要求。