REU Site: Software Safety: Research, Practice and a Path Forward

标题：REU网站：软件安全：研究、实践和前进之路今天，软件在控制许多系统的行为方面发挥着重要作用，包括安全关键应用程序。通过软件操作直接或间接实现的危险可能非常严重，不仅会造成金钱、时间或财产损失，还会造成生命损失。为了应对这些挑战，德克萨斯大学达拉斯分校REU网站的学生在教职员工和行业从业者的密切指导下，研究如何更高效地生产安全软件。智力上的优点是，这个REU站点的结果提供了如何以经济高效的方式实现软件安全的全面图景。吸取的经验教训有助于防止类似的安全隐患再次发生。该项目的更广泛的意义和重要性是为属于代表性不足的群体或研究机会有限的大学的学生提供软件安全尖端研究的经验，以及广泛适用的技能集。这包括批判性思维、研究方法、解决问题和口头和书面交流，所有这些都对科学技术研究的学术和专业成功非常重要。这个项目的主题是软件安全。该项目侧重于评估现有安全保证方法和现行做法的优缺点，并调查(A)引入软件安全要求可能如何影响软件生命周期，以及(B)应如何相应地调整软件过程、方法和工具支持。文中还研究了新兴的物联网，特别是其可扩展性和异构性对软件安全的影响。除了研究，REU的学生还会到行业赞助商进行实地考察，让他们直接与从业者交谈，以更好地了解软件安全是如何应用于现实生活中的应用程序的。举办了技术写作和口头陈述讲习班，以提高学生编写和提交技术报告的熟练程度。举办关于道德和职业责任的研讨会，以确保REU的学生行为得体和尊重。学生演讲的视频和幻灯片以及关于软件安全的讲座都发布在该项目的REU网站上。

Title: REU Site: Software Safety: Research, Practice and a Path ForwardSoftware today plays a significant role in controlling the behavior of many systems, including safety-critical applications. A hazard realized directly or indirectly through a software's operation can be very serious, resulting not only in monetary, time, or property losses, but also in loss of life. In response to such challenges, students at the REU Site at the University of Texas at Dallas, under close mentoring of faculty members and industry practitioners, research how to produce safe software more efficiently and effectively. The intellectual merits are that results of this REU site provide a comprehensive picture of how software safety can be achieved in a cost-effective way. Lessons learned help prevent similar safety hazards from recurring. The project's broader significance and importance are to provide students belonging either to underrepresented groups or to universities that have only limited research opportunities, experience in cutting-edge research in software safety, as well as a broadly applicable skill set. This includes critical thinking, research methods, problem solving, and oral and written communication, all of which are very important for academic and professional success in science and technology research. The subject of this project is software safety. The project focuses on evaluating the strengths and weaknesses of existing methodologies and current practices for safety assurance, and investigates (a) how the introduction of software safety requirements may affect the software lifecycle, and (b) how software processes, methods and tool support should be adjusted accordingly. The impact of the emerging IoT (Internet of Things), especially its scalability and heterogeneity, on software safety is also examined. In addition to research, REU students take field trips to industry sponsors, allowing them to speak directly with practitioners to better understand how software safety is applied to real-life applications. Workshops on technical writing and oral presentation are held to improve students' proficiency in preparing and delivering technical reports. Seminars on ethics and professional responsibility are given to ensure REU students behave properly and respectfully. Videos and PowerPoint slides of student presentations as well as lectures on software safety are posted at the project's REU website.