Planning Grant: I/UCRC for Security and Software Engineering

伊利诺伊大学芝加哥分校(UIC)计划加入名为“安全和软件工程研究中心(S2ERC)”的工业/大学合作研究中心(I/UCRC)，这是一个由鲍尔州立大学(牵头机构)和爱荷华州立大学组成的多所大学中心。拟议的中心侧重于改善软件工程过程的管理，提高软件工程师的生产力，以及软件工程产品的安全性、质量和及时性。拟议的中心(S2ERC)计划研究工程实用软件系统的集成方法，这些方法除了涵盖传统的软件工程目标外，还能够满足新兴的安全需求。这一目标对于行业和政府来说都非常重要，以便他们能够自信地部署满足其使命目标的真实世界软件系统，即使面对广泛的安全攻击。S2ERC框架内的研究活动将利用UIC-S在并发系统的形式化建模、分析和验证方面的传统优势。UIC计划研究应对并发编程挑战的各种方法。UIC特别打算设计和实现工具来自动检测和消除并发错误，例如死锁和违反Java等高级并发语言编写的程序中的互斥约束。UIC还打算探索工业附属公司提供的现有(顺序)软件系统，以便将这些系统转换为并发程序。最后，UIC将探索一套称为托管执行或运行时监控的技术。这些方法的目的是以这样一种方式转换程序，即在程序执行期间监视和避免潜在的并发错误。拟建的中心将是一个培养智力的环境，在这里，发现和理解被推进到它的教职员工、学生和未来的成员。拟建的中心将为教师和学生提供在现实世界安全和软件工程应用程序的研究团队中工作的独特机会。建议的半年度S2ERC展示将为所有学生提供一个与行业合作伙伴互动的绝佳机会，并亲身了解他们职业生涯中出现的挑战和机遇。UIC计划通过接触当地的高中和中学来提高其多样性水平。UIC网站打算举办计算机科学入门主题夏令营，为这些学校的学生造福。

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.