REU Site: Verification and Validation for Software Safety

REU 站点：软件安全验证和确认

• 批准号: 0851848
• 负责人: Weichen Wong
• 金额: $ 28万
• 依托单位: University of Texas at Dallas
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2009
• 资助国家: 美国
• 起止时间: 2009-04-01 至 2013-03-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0851848&HistoricalAwards=false
• 关键词: REU; Site; Verification; Validation; Software

Software safety is critical to many projects conductedby both private industry and the government. After theChallenger accident, NASA adopted a safety policy basedon a National Research Council report that requires everyproject to take an organized and systematic approach toidentify safety hazards or unsafe situations and practices,and to follow appropriate steps to assure adequate safety.At the REU site to be established undergraduates participatein research on verification and validation for softwaresafety: from, initially, a series of training seminars onthe necessary background knowledge, to becoming involvedin one of several specially designed research topicsaccording to their interests. Topics include safety analysis,model construction and simulation, validation test generationand execution, etc. Interaction between the students andfaculty mentors is emphasized. Follow-ups are also conductedwith the students after the summer program to prepare theirresults for presentation at conferences and publication injournals.The research subject is software safety with a focus on theanalysis and integration of failure conditions with functionalspecifications, the use of assertions in formal specifications,and validation not only for testing software under normalconditions but also for showing that unsafe states cannot begenerated by the software as the result of single or multipleerroneous inputs. This project allows students fromunderrepresented groups or universities with limited researchopportunities to experience cutting-edge research in softwareengineering and to gain proficiency in a broadly applicableskill set, including critical thinking, research methods,problem solving, and oral and written communication -- all ofwhich are very important for success in graduate programs andcareers in science and technology research.

软件安全对于私营企业和政府进行的许多项目至关重要。挑战者号事故发生后，美国国家航空航天局根据国家研究理事会的报告采取了一项安全政策，该政策要求每个项目采取有组织和系统的方法来识别安全隐患或不安全的情况和做法，并采取适当的步骤来确保足够的安全。从最初的一系列关于必要背景知识的培训研讨会，到根据他们的兴趣参与几个专门设计的研究课题之一。主题包括安全分析，模型构建和仿真，验证测试生成和执行等。强调学生和教师导师之间的互动。在暑期课程结束后，还与学生一起进行后续工作，以准备他们的成果在会议和出版期刊上发表。研究主题是软件安全，重点是分析和整合故障条件与功能规范，在正式规范中使用断言，和验证不仅用于在正常条件下测试软件，而且用于表明软件不会由于以下原因而产生不安全状态：单个或多个错误输入。该项目允许学生从代表性不足的团体或大学有限的研究机会，体验尖端的研究在软件工程和获得广泛适用的技能集熟练，包括批判性思维，研究方法，解决问题，口头和书面交流-所有这些都是非常重要的研究生课程和职业生涯中的科学和技术研究的成功。