Planning IUCRC University of Minnesota: Center for High-Assurance Secure Systems and IoT (CHASSI)
Planning IUCRC University of Minnesota: Center for High-Assurance Secure Systems and IoT (CHASSI)
批准号:
1916726
负责人:
Mats Heimdahl
金额:
$1.5万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2019
资助国家:
美国
项目状态:
已结题
起止时间:
2019-10-01 至 2021-09-30
中文摘要
这个IUCRC规划项目将建立一个多站点高保证安全系统和物联网中心(CHASSI)的可行性,该中心将重点关注那些由于安全或经济影响而需要安全和高保证来支持高任务关键性操作的领域。例子包括医疗设备、制造业、能源网、实时金融市场、建筑和国防。然而,将安全和高保障结合起来是困难的,有意地将它们结合起来将导致新的模型、技术、设计、架构和系统,这些将适用于美国重要行业的范围。CHASSI有五个站点:堪萨斯大学、明尼苏达大学、锡拉丘兹大学、凯斯西储大学和印第安纳大学。CHASSI研究分为四个主要方向:(1)系统级安全性、隐私性、稳定性和性能的体系结构、设计和形式化建模;(2)保证通信、传感和设备的安全;(3)可扩展的信任和隐私;(4)为了隐私和安全的人类行为。除了在安全和网络物理系统方面的专业知识外,明尼苏达还在安全关键系统、高保障和医疗设备方面带来了相当多的专业知识和经验,这些领域很好地补充了合作机构的专业知识。规划补助金将对研究和教育产生重大影响;研究人员将了解行业的兴趣和需求/障碍,行业成员将了解每个站点教师的研究能力,公司将从接触所有站点的前沿大学研究中受益。明尼苏达州将继续与学生团体合作,组织与中心活动相关的各种活动,并保持与巴肯医疗设备中心建立的密切联系,以促进转化研究工作和持续的继续教育和技术转移活动。教育项目也在计划之中。来自这个多大学-工业中心的合作者将在:https://chassi.ku.edu上托管一个单一的中心范围的存储库。该共享库将包括会议资料、项目信息、出版物等,并将在合同结束后至少5年内提供,或直到中心过渡到下一阶段。该奖项反映了美国国家科学基金会的法定使命,并通过使用基金会的知识价值和更广泛的影响审查标准进行评估,被认为值得支持。
英文摘要
This IUCRC planning project will establish the feasibility of a multi-site Center for High-Assurance Secure Systems and Internet-of-Things (CHASSI) that will focus on areas where both security and high assurance are necessary to support operations of high mission criticality, due to safety or economic impact. Examples include medical devices, manufacturing, the energy grid, real-time financial markets, construction, and defense. Combining security and high-assurance is hard, however, intentionally combining them will lead to new models, techniques, designs, architectures, and systems that will be applicable across of range of important U.S. industries. CHASSI has five sites: University of Kansas (KU), University of Minnesota, Syracuse University, Case Western Reserve University, and Indiana University. CHASSI research falls into four main thrusts: (1) Architectures, design and formal modeling for systems-level security, privacy, stability, and performance; (2) Secure communication, sensing, and devices; (3) Scalable trust and privacy; and (4) Human behavior for privacy and security. In addition to expertise in security and cyber-physical systems, Minnesota brings considerable expertise and experience in safety critical systems, high assurance, and medical devices, areas nicely complementing the expertise at the partner institutions. The planning grant will generate significant impacts on both research and education; researchers will understand the interests and needs/barriers in industry, industrial members will understand the research capabilities of faculty member at each Site, and companies will benefit from exposure to cutting-edge university research across all Sites. Minnesota will continue its engagement of student groups in organizing the various events associated with center activities and maintain the established close connection with the Bakken Medical Device center to enable translational research efforts and sustained continuous-education and tech-transfer events. Educational program offerings are also planned. The collaborators from this multi-university-industry Center will host a single Center-wide repository at: https://chassi.ku.edu. This shared repository will include meeting materials, program information, publications, etc., and will be made available for a minimum of 5 years after conclusion of the award or until the Center transitions to the next phase.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
SHF: Medium: Contract-Based Black-Box Assurance
-
批准号:1563920
-
项目类别:Continuing Grant
-
资助金额:$100.4万
-
财政年份:2016
-
负责人:Mats Heimdahl
-
依托单位:
A Catalytic Infrastructure for the Design, Development, and Deployment of Formal Modeling Tools
-
批准号:0429640
-
项目类别:Continuing Grant
-
资助金额:$0.0万
-
财政年份:2004
-
负责人:Mats Heimdahl
-
依托单位:
CISE Instrumentation: Applying Software Engineering Methodologies to Robotics Tasks: A Cross Disciplinary Approach
-
批准号:9729875
-
项目类别:Standard Grant
-
资助金额:$6.4万
-
财政年份:1997
-
负责人:Mats Heimdahl
-
依托单位:
CAREER: Requirements Specification for Embedded Systems: An Integrated Framework
-
批准号:9624324
-
项目类别:Continuing Grant
-
资助金额:$25.03万
-
财政年份:1996
-
负责人:Mats Heimdahl
-
依托单位:
Integrating Informal and Formal Techniques: An Evolutionary Approach to Systems Development
-
批准号:9615088
-
项目类别:Standard Grant
-
资助金额:$4.74万
-
财政年份:1996
-
负责人:Mats Heimdahl
-
依托单位:
海外基金