Planning Grant: I/UCRC for Security and Software Engineering
规划补助金:I/UCRC 用于安全和软件工程
基本信息
- 批准号:0969005
- 负责人:
- 金额:$ 1.3万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:2010
- 资助国家:美国
- 起止时间:2010-02-01 至 2012-01-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
IIP 0969005University of Illinois at ChicagoBuyThe University of Chicago at Illinois (UIC) is planning to join the Industry/University Cooperative Research Center (I/UCRC) entitled "Center for Security and Software Engineering Research Center (S2ERC)" which is a multi- university center comprised of Ball State (lead institution) and Iowa State Univesrsity. The proposed Center has a focus on improving the management of the software engineering process, the productivity of software engineers, and the security, quality and timeliness of software engineering products. The proposed Center (S2ERC) plans to investigate integrated methods of engineering practical software systems that are able to meet emerging security requirements in addition to encompassing traditional software engineering objectives. This goal is of great importance to both industry and government in order for them to be able to confidently deploy real-world software systems that meet their mission goals even in the face of a broad range of security attacks. Research activities within the umbrella of the S2ERC will draw on UIC?s traditional strength in formal modeling, analysis, and verification of concurrent systems. UIC plans to investigate various methods for managing the challenge of concurrency programming. UIC specifically intends to design and implement tools that will automatically detect and remove concurrency errors, such as deadlocks and violations of mutual exclusion constraints from programs written in high-level concurrent languages such as Java. UIC also intends to explore existing (sequential) software systems provided by industrial affiliates for the purpose of transforming those systems into concurrent programs. Finally, UIC will explore a set of techniques known as managed execution or run-time monitoring. The purpose of these methods is to transform a program in such a way that potential concurrency errors are monitored and avoided during program execution. The proposed Center will be an intellectually nurturing environment where discovery and understanding is advanced to its faculty, students and prospective members. The proposed Center will provide faculty and students the unique opportunity to work on research teams in real world security and software engineering applications. The proposed semi-annual S2ERC showcases will provide an excellent opportunity for all the students to interact with industrial partners and get a first-hand understanding of emerging challenges and opportunities in their careers. UIC plans to improve its level of diversity by reaching out to local high schools and middle schools. The UIC site intends to run summer camps on introductory computer science topics, for the benefit of students at these schools.
IIP 0969005伊利诺伊大学芝加哥分校购买伊利诺伊大学芝加哥分校(UIC)正计划加入名为“安全和软件工程研究中心(S2 ERC)”的行业/大学合作研究中心(I/UCRC),该中心是一个由鲍尔州立大学(牵头机构)和爱荷华州州立大学组成的多大学中心。 拟建中心的重点是提高软件工程过程的管理、软件工程师的生产力以及软件工程产品的安全性、质量和及时性。 拟议中的中心(S2 ERC)计划调查工程实用软件系统,能够满足新兴的安全需求,除了包括传统的软件工程目标的综合方法。 这一目标对行业和政府都非常重要,因为它们能够自信地部署满足其使命目标的真实软件系统,即使面对广泛的安全攻击。 在S2 ERC的保护伞内的研究活动将借鉴UIC?在并发系统的形式化建模、分析和验证方面的传统优势。UIC计划研究管理并发编程挑战的各种方法。UIC特别打算设计和实现自动检测和删除并发错误的工具,例如死锁和违反高级并发语言(如Java)编写的程序的互斥约束。UIC还打算探索工业附属公司提供的现有(顺序)软件系统,以便将这些系统转换为并发程序。最后,UIC将探索一组称为托管执行或运行时监视的技术。这些方法的目的是以这样一种方式转换程序,即在程序执行期间监视和避免潜在的并发错误。拟议的中心将是一个智力培养的环境,发现和理解是先进的教师,学生和潜在的成员。拟议中的中心将为教师和学生提供独特的机会,在真实的世界安全和软件工程应用的研究团队工作。 拟议的半年度S2 ERC展示将为所有学生提供一个与工业合作伙伴互动的绝佳机会,并直接了解他们职业生涯中出现的挑战和机遇。 UIC计划通过与当地高中和中学联系来提高其多样性水平。 UIC网站打算举办介绍计算机科学主题的夏令营,以使这些学校的学生受益。
项目成果
期刊论文数量(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 }}
Ugo Buy其他文献
MP91-01 THE NOVEL SCREENING METHOD FOR MALE INFERTILITY WITH SINGLE-BALL LENS MICROSCOPE AND SMARTPHONE
- DOI:
10.1016/j.juro.2016.02.2588 - 发表时间:
2016-04-01 - 期刊:
- 影响因子:
- 作者:
Yoshitomo Kobori;Hiroshi Okada;Ugo Buy;Gail Prins;Peter Pfanner;Craig Niederberger - 通讯作者:
Craig Niederberger
A specification-based approach to concurrency analysis
- DOI:
10.1007/bf00871802 - 发表时间:
1995-12-01 - 期刊:
- 影响因子:3.100
- 作者:
Ugo Buy;Robert Moll - 通讯作者:
Robert Moll
Stubborn Sets for Real-Time Petri Nets
- DOI:
10.1023/a:1008629725384 - 发表时间:
1997-01-01 - 期刊:
- 影响因子:0.800
- 作者:
Robert H. Sloan;Ugo Buy - 通讯作者:
Ugo Buy
Ugo Buy的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Ugo Buy', 18)}}的其他基金
Workshop on Digital Government: An Urban Research Agenda
数字政府研讨会:城市研究议程
- 批准号:
0089869 - 财政年份:2000
- 资助金额:
$ 1.3万 - 项目类别:
Standard Grant
Analyzing Real-Time Properties of Concurrent Programs
分析并发程序的实时特性
- 批准号:
9314258 - 财政年份:1994
- 资助金额:
$ 1.3万 - 项目类别:
Standard Grant
Investigating Analysis Techniques for Concurrent Programs
研究并发程序的分析技术
- 批准号:
9109231 - 财政年份:1991
- 资助金额:
$ 1.3万 - 项目类别:
Standard Grant
相似海外基金
Carnegie Mellon University Planning Grant: I/UCRC for Big Learning
卡内基梅隆大学规划补助金:I/UCRC for Big Learning
- 批准号:
1650485 - 财政年份:2017
- 资助金额:
$ 1.3万 - 项目类别:
Standard Grant
University of South Florida Planning Grant: I/UCRC for iPERFORM Center for Assistive Technologies to Enhance Human Performance
南佛罗里达大学规划拨款:I/UCRC 的 iPERFORM 辅助技术中心以提高人类表现
- 批准号:
1650545 - 财政年份:2017
- 资助金额:
$ 1.3万 - 项目类别:
Standard Grant
University of Notre Dame Planning Grant: I/UCRC for Alternative Sustainable and Intelligent Computing (ASIC)
圣母大学规划补助金:I/UCRC 替代可持续和智能计算 (ASIC)
- 批准号:
1650473 - 财政年份:2017
- 资助金额:
$ 1.3万 - 项目类别:
Standard Grant
University of Missouri-Kansas City Planning Grant: I/UCRC for Big Learning
密苏里大学堪萨斯分校城市规划补助金:I/UCRC 大学习
- 批准号:
1650549 - 财政年份:2017
- 资助金额:
$ 1.3万 - 项目类别:
Standard Grant
Georgia Institute of Technology Planning Grant: I/UCRC for Unmanned Aircraft Systems
佐治亚理工学院规划补助金:I/UCRC 无人机系统
- 批准号:
1650352 - 财政年份:2017
- 资助金额:
$ 1.3万 - 项目类别:
Standard Grant
Syracuse University Planning Grant: I/UCRC for Alternative Sustainable and Intelligent Computing
雪城大学规划补助金:I/UCRC 用于替代可持续和智能计算
- 批准号:
1650469 - 财政年份:2017
- 资助金额:
$ 1.3万 - 项目类别:
Standard Grant
Brigham Young University Planning Grant: I/UCRC for Center for Visual and Decision Informatics
杨百翰大学规划资助:I/UCRC 视觉与决策信息学中心
- 批准号:
1650579 - 财政年份:2017
- 资助金额:
$ 1.3万 - 项目类别:
Standard Grant
I/UCRC: University of Florida Planning Grant: I/UCRC for Big Learning
I/UCRC:佛罗里达大学规划补助金:I/UCRC 大学习
- 批准号:
1624782 - 财政年份:2016
- 资助金额:
$ 1.3万 - 项目类别:
Standard Grant
I/UCRC: University of Michigan Planning Grant: I/UCRC for the Center for Unmanned Aircraft Systems (C-UAS)
I/UCRC:密歇根大学规划拨款:I/UCRC 无人机系统中心 (C-UAS)
- 批准号:
1624632 - 财政年份:2016
- 资助金额:
$ 1.3万 - 项目类别:
Standard Grant
I/UCRC: University of Arizona Planning Grant: I/UCRC for Center for Intelligent Telemedicine
I/UCRC:亚利桑那大学规划拨款:I/UCRC 智能远程医疗中心
- 批准号:
1624488 - 财政年份:2016
- 资助金额:
$ 1.3万 - 项目类别:
Standard Grant