A framework for the development of a family of trustworthy systems
用于开发一系列值得信赖的系统的框架
基本信息
- 批准号:3552-2010
- 负责人:
- 金额:$ 1.46万
- 依托单位:
- 依托单位国家:加拿大
- 项目类别:Discovery Grants Program - Individual
- 财政年份:2010
- 资助国家:加拿大
- 起止时间:2010-01-01 至 2011-12-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
Software plays a predominant role in our society, often not just guiding us but forcing us to respond to specific actions, bringing thus both rewards and risks. Software for smart medical devices and on-line health care systems are prime examples. They bring enormous benefits, but when they malfunction or fail the patients are in peril. Safety, security, and privacy are the attributes that determine trust in such applications. In the sector of on-line finance and E-commerce, software can be trusted only if it is secure, provides timely service, enforces obligations, and affords privacy. In transportation domain, aircrafts have autopilots installed in them, which once initialized will take away the control of a pilot, resulting in cruising pleasure and occasionally resulting in a severe accident. Safety, security, reliability, and availability are all essential attributes to ensure trust in such software. In the energy sector, large power grids and nuclear power plants should be safe-guarded and protected without fail. Without a direct evidence of safety and security software that monitors and manages these systems cannot be trusted. These examples illustrate the types and severity of risks that vary from one sector to another sector. The risk in interacting with software must be made explicit in order that clients may decide how well they want to trust the system before using it. In particular, for software in privacy and safety-critical domains the dependability argument must be in the form of direct evidence that can be audited by a third party who need not be an expert. This argument should be an expression that includes the global context information, the critical properties of the software, and assumptions on its embedding, its environmental constraints, and direct evidence that the specified properties are satisfied. The goal of this research is the investigation of theory, methods, and a framework for a rigorous development of a family of trustworthy systems. The development framework should be general enough to enable the development of a trustworthy system in any domain for which a contract is specified. Formally constructing a chain of direct evidence and validating it at all stages of system development is an essential activity.
软件在我们的社会中扮演着重要的角色,通常不仅指导我们,而且迫使我们对特定的行为做出反应,从而带来回报和风险。用于智能医疗设备和在线医疗保健系统的软件就是最好的例子。它们带来了巨大的好处,但当它们出现故障或失败时,病人就处于危险之中。安全性、保密性和隐私性是决定此类应用程序中的信任的属性。在在线金融和电子商务领域,软件只有在安全、提供及时服务、强制执行义务和提供隐私的情况下才能被信任。在运输领域,飞机上安装了自动驾驶仪,一旦初始化,就会失去飞行员的控制,导致巡航乐趣,偶尔会导致严重的事故。安全性、安全性、可靠性和可用性都是确保对此类软件的信任的基本属性。在能源领域,大型电网和核电站应得到安全保障和保护。如果没有直接的安全证据,监控和管理这些系统的软件就不能被信任。这些例子说明了不同部门的风险类型和严重程度。与软件交互的风险必须明确,以便客户可以在使用系统之前决定他们希望信任系统的程度。特别是,对于隐私和安全关键领域的软件,可靠性论证必须以直接证据的形式提供,可以由第三方审核,而第三方不必是专家。该参数应该是一个表达式,其中包括全局上下文信息、软件的关键属性、对其嵌入的假设、其环境约束以及满足指定属性的直接证据。本研究的目标是调查的理论,方法和一个严格的发展家庭的可信系统的框架。开发框架应该足够通用,以便能够在任何指定合同的域中开发可信赖的系统。在系统开发的所有阶段正式构建一个直接证据链并对其进行验证是一项必不可少的活动。
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
数据更新时间:{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
Alagar, Vangalur其他文献
Characterization and Efficient Management of Big Data in IoT-Driven Smart City Development
- DOI:
10.3390/s19112430 - 发表时间:
2019-06-01 - 期刊:
- 影响因子:3.9
- 作者:
Alsaig, Alaa;Alagar, Vangalur;Shiri, Nematollaah - 通讯作者:
Shiri, Nematollaah
Contelog: A declarative language for modeling and reasoning with contextual knowledge
- DOI:
10.1016/j.knosys.2020.106403 - 发表时间:
2020-11-05 - 期刊:
- 影响因子:8.8
- 作者:
Alsaig, Ammar;Alagar, Vangalur;Nematollaah, Shiri - 通讯作者:
Nematollaah, Shiri
Context-Aware Security Solutions for Cyber-Physical Systems
网络物理系统的上下文感知安全解决方案
- DOI:
10.1007/s11036-014-0495-x - 发表时间:
2012-11 - 期刊:
- 影响因子:3.8
- 作者:
Wan, Kaiyu;Alagar, Vangalur - 通讯作者:
Alagar, Vangalur
Alagar, Vangalur的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Alagar, Vangalur', 18)}}的其他基金
Cyber-Physical Systems - Formal Modeling, Design, and Verification
信息物理系统 - 形式化建模、设计和验证
- 批准号:
RGPIN-2015-05607 - 财政年份:2019
- 资助金额:
$ 1.46万 - 项目类别:
Discovery Grants Program - Individual
Cyber-Physical Systems - Formal Modeling, Design, and Verification
信息物理系统 - 形式化建模、设计和验证
- 批准号:
RGPIN-2015-05607 - 财政年份:2018
- 资助金额:
$ 1.46万 - 项目类别:
Discovery Grants Program - Individual
Cyber-Physical Systems - Formal Modeling, Design, and Verification
信息物理系统 - 形式化建模、设计和验证
- 批准号:
RGPIN-2015-05607 - 财政年份:2017
- 资助金额:
$ 1.46万 - 项目类别:
Discovery Grants Program - Individual
Cyber-Physical Systems - Formal Modeling, Design, and Verification
信息物理系统 - 形式化建模、设计和验证
- 批准号:
RGPIN-2015-05607 - 财政年份:2016
- 资助金额:
$ 1.46万 - 项目类别:
Discovery Grants Program - Individual
Cyber-Physical Systems - Formal Modeling, Design, and Verification
信息物理系统 - 形式化建模、设计和验证
- 批准号:
RGPIN-2015-05607 - 财政年份:2015
- 资助金额:
$ 1.46万 - 项目类别:
Discovery Grants Program - Individual
A framework for the development of a family of trustworthy systems
用于开发一系列值得信赖的系统的框架
- 批准号:
3552-2010 - 财政年份:2011
- 资助金额:
$ 1.46万 - 项目类别:
Discovery Grants Program - Individual
A framework ofr the development of secure safety critical systems
安全关键系统的开发框架
- 批准号:
3552-2005 - 财政年份:2009
- 资助金额:
$ 1.46万 - 项目类别:
Discovery Grants Program - Individual
A framework ofr the development of secure safety critical systems
安全关键系统的开发框架
- 批准号:
3552-2005 - 财政年份:2008
- 资助金额:
$ 1.46万 - 项目类别:
Discovery Grants Program - Individual
A framework ofr the development of secure safety critical systems
安全关键系统的开发框架
- 批准号:
3552-2005 - 财政年份:2007
- 资助金额:
$ 1.46万 - 项目类别:
Discovery Grants Program - Individual
A framework ofr the development of secure safety critical systems
安全关键系统的开发框架
- 批准号:
3552-2005 - 财政年份:2006
- 资助金额:
$ 1.46万 - 项目类别:
Discovery Grants Program - Individual
相似国自然基金
损伤线粒体传递机制介导成纤维细胞/II型肺泡上皮细胞对话在支气管肺发育不良肺泡发育阻滞中的作用
- 批准号:82371721
- 批准年份:2023
- 资助金额:49.00 万元
- 项目类别:面上项目
增强子在小鼠早期胚胎细胞命运决定中的功能和调控机制研究
- 批准号:82371668
- 批准年份:2023
- 资助金额:52.00 万元
- 项目类别:面上项目
MAP2的m6A甲基化在七氟烷引起SST神经元树突发育异常及精细运动损伤中的作用机制研究
- 批准号:82371276
- 批准年份:2023
- 资助金额:47.00 万元
- 项目类别:面上项目
"胚胎/生殖细胞发育特性激活”促进“神经胶质瘤恶变”的机制及其临床价值研究
- 批准号:82372327
- 批准年份:2023
- 资助金额:49.00 万元
- 项目类别:面上项目
Irisin通过整合素调控黄河鲤肌纤维发育的分子机制研究
- 批准号:32303019
- 批准年份:2023
- 资助金额:30.00 万元
- 项目类别:青年科学基金项目
TMEM30A介导的磷脂酰丝氨酸外翻促进毛细胞-SGN突触发育成熟的机制研究
- 批准号:82371172
- 批准年份:2023
- 资助金额:49.00 万元
- 项目类别:面上项目
HER2特异性双抗原表位识别诊疗一体化探针研制与临床前诊疗效能研究
- 批准号:82372014
- 批准年份:2023
- 资助金额:48.00 万元
- 项目类别:面上项目
水稻边界发育缺陷突变体abnormal boundary development(abd)的基因克隆与功能分析
- 批准号:32070202
- 批准年份:2020
- 资助金额:58 万元
- 项目类别:面上项目
Development of a Linear Stochastic Model for Wind Field Reconstruction from Limited Measurement Data
- 批准号:
- 批准年份:2020
- 资助金额:40 万元
- 项目类别:
细胞核分布基因NudCL2在细胞迁移及小鼠胚胎发育过程中的作用及机制研究
- 批准号:31701214
- 批准年份:2017
- 资助金额:25.0 万元
- 项目类别:青年科学基金项目
相似海外基金
High-throughput thermodynamic and kinetic measurements for variant effects prediction in a major protein superfamily
用于预测主要蛋白质超家族变异效应的高通量热力学和动力学测量
- 批准号:
10752370 - 财政年份:2023
- 资助金额:
$ 1.46万 - 项目类别:
An active learning framework for adaptive autism healthcare
适应性自闭症医疗保健的主动学习框架
- 批准号:
10716509 - 财政年份:2023
- 资助金额:
$ 1.46万 - 项目类别:
Development and implementation of a digital sleep intervention for preschoolers in foster care
为寄养中的学龄前儿童开发和实施数字睡眠干预
- 批准号:
10724304 - 财政年份:2023
- 资助金额:
$ 1.46万 - 项目类别:
Family-Centered Digital Behavioral Sleep Intervention for Black Families of Preschool-Aged Children
针对学龄前儿童黑人家庭的以家庭为中心的数字行为睡眠干预
- 批准号:
10723348 - 财政年份:2023
- 资助金额:
$ 1.46万 - 项目类别:
Exploring PTSD Symptoms, Barriers and Facilitators to Mindfulness-based Stress Reduction for Justice-Involved Black/African American Female Adolescents and Parents/Caregivers
探索创伤后应激障碍 (PTSD) 症状、障碍和促进因素,为涉及正义的黑人/非裔美国女性青少年和父母/照顾者进行基于正念的减压
- 批准号:
10593806 - 财政年份:2023
- 资助金额:
$ 1.46万 - 项目类别:
Integrating the Youth Nominated Support Team (YST) with CBT for Black Youth with Acute Suicide Risk
将青年提名支持团队 (YST) 与针对有急性自杀风险的黑人青年的 CBT 相结合
- 批准号:
10573542 - 财政年份:2023
- 资助金额:
$ 1.46万 - 项目类别:
TeleLine: Plug-n-Play Inline Respiratory Remote Data Acquisition System
TeleLine:即插即用内联呼吸远程数据采集系统
- 批准号:
10603124 - 财政年份:2023
- 资助金额:
$ 1.46万 - 项目类别:
Implementing a dementia caregiver support strategy among Latinos in primary care
在拉丁裔初级保健中实施痴呆症护理人员支持战略
- 批准号:
10557516 - 财政年份:2023
- 资助金额:
$ 1.46万 - 项目类别:
Youth and Family Specific Engagement in Research (UNITE): A Framework Development Project
青少年和家庭特定参与研究 (UNITE):框架开发项目
- 批准号:
495372 - 财政年份:2023
- 资助金额:
$ 1.46万 - 项目类别:
Operating Grants