Temporal Specifications For Online Security System Monitoring and Synthesis

在线安全系统监控和综合的时间规范

• 批准号: 418961-2011
• 负责人: Trefler, Richard
• 金额: $ 2.77万
• 依托单位: University of Waterloo
• 依托单位国家: 加拿大
• 项目类别: Collaborative Research and Development Grants
• 财政年份: 2013
• 资助国家: 加拿大
• 起止时间: 2013-01-01 至 2014-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=531369
• 关键词: Temporal; Specifications; Online; Security; System

Software, hardware and embedded system designs are changing to meet changing demands. Next generation systems will operate in a connected and reactive manner that challenges systems and designs that were suitable in standalone environments. For instance, distributed health care networks must be able to reliably and securely transmit medical information; the various components in medical devices require inter-operation in order to implement the desired device functionality; the streaming quality of network information requires ongoing reaction to changing system inputs. Because system components must operate in a time sensitive and secure fashion their operation must be precisely described and analyzed to ensure they meet their operational requirements. It is now well established that formal, automated analysis techniques are appropriate for designing and analyzing safety and business critical systems. However, application of fully automated techniques can be problematic in practice. First, even modestly sized system designs may be infeasible to build with current fully automated techniques as their underlying state spaces describing all possible system behaviors can be huge. Second, many current automated design techniques are more appropriately used to design monolithic rather than distributed multi-component system designs.

软件、硬件和嵌入式系统设计都在不断变化，以满足不断变化的需求。下一代系统将以连接和反应的方式运行，这将挑战适用于独立环境的系统和设计。例如，分布式医疗网络必须能够可靠、安全地传输医疗信息；医疗设备中的各种组件需要相互操作以实现所需的设备功能；网络信息的流质量要求对不断变化的系统输入作出持续的反应。由于系统组件必须以时间敏感和安全的方式运行，因此必须精确地描述和分析它们的操作，以确保它们满足其操作要求。现在，正式的、自动化的分析技术适用于设计和分析安全和业务关键系统，这一点已经得到了很好的证实。然而，完全自动化技术的应用在实践中可能存在问题。首先，即使是中等规模的系统设计也可能无法用当前的全自动技术来构建，因为它们描述所有可能的系统行为的底层状态空间可能是巨大的。其次，许多当前的自动化设计技术更适合用于设计单片而不是分布式多组件系统设计。