REU Site: Software Safety and Reliability: Research, Practice, and Innovation

德克萨斯大学达拉斯分校的本科生研究体验(REU)网站专注于软件安全和可靠性，这对许多系统的安全可靠运行和减少毁灭性事故至关重要。它提供了关于这些重要主题的创新研究机会，特别是对来自代表性不足的群体或资源有限的大学的学生。通过研讨会和讲座提高批判性思维、口头和书面交流、解决问题和研究方法的技能，将鼓励学生接受研究生教育和从事科学技术研究工作，并为他们做好准备。与导师和其他参与者的互动将提供交流想法和激发讨论的途径。将与学生所在的机构建立研究联系，以继续在不同地理区域的多个机构之间开展合作。REU网站将发布研究文章、讲座和项目演示的幻灯片，以及有效社区外展的公告。这项研究的重点是评估安全保证和可靠性建模和预测的现有方法和当前实践的优缺点。要探讨的问题包括：引入软件安全和可靠性要求可能如何影响软件生命周期；软件过程、技术和工具支持应如何相应调整；安全软件系统如何不可靠；可靠软件系统如何不安全；以及如何使软件系统既安全又可靠。重点将是基于区块链的智能合同和自动驾驶汽车等自动驾驶系统的软件。这些调查结果将被汇编，以提供如何有效和高效地实现软件安全和可靠性的全面指导方针。该网站的一个关键方面是与业界的密切合作。REU学生将前往行业赞助商，让他们直接与实践者交谈，以更好地了解软件安全和可靠性如何应用于现实生活中的应用程序。将举办技术写作和口头陈述讲习班，以提高编写和提交技术报告的熟练程度。此外，还将举办关于道德和职业责任的研讨会，以确保REU学生的行为得体和尊重。该奖项反映了NSF的法定使命，并通过使用基金会的智力优势和更广泛的影响审查标准进行评估，被认为值得支持。

This Research Experiences for Undergraduates (REU) site at the University of Texas at Dallas focuses on software safety and reliability, which are critical for safe and dependable operation of many systems and the reduction of devastating accidents. It offers innovative research opportunities on these important topics, especially to students from underrepresented groups or universities with limited resources. By enhancing skills through workshops and lectures in critical thinking, oral and written communication, problem solving, and research methods, students will be encouraged and well equipped for graduate education and research careers in science and technology. Interactions with mentors and fellow participants will provide avenues to exchange ideas and stimulate discussions. Research connections will be established with students' home institutions to continue collaboration among multiple institutions in different geographical regions. An REU website will publicize research articles, videos and slides of lectures and project presentations, as well as announcements for effective community outreach.The focus of this research is on evaluating the strengths and weaknesses of existing methodologies and current practices for safety assurance and reliability modeling and prediction. Issues to be explored include: how the introduction of software safety and reliability requirements may affect the software lifecycle; how software processes, techniques, and tool support should be adjusted accordingly; how safe software systems can be unreliable; how reliable software systems can be unsafe; and how to make software systems both safe and reliable. Software for blockchain-based smart contracts and autonomous systems like self-driving vehicles will be emphasized. The findings will be compiled to provide a comprehensive guideline of how software safety and reliability can be achieved effectively and efficiently. A key aspect of this site is the close collaboration with industry. REU students will take trips to industry sponsors, allowing them to speak directly with practitioners to better understand how software safety and reliability is applied to real-life applications. Workshops on technical writing and oral presentation will be held to improve proficiency in preparing and delivering technical reports. Seminars on ethics and professional responsibility will also be given to ensure REU students behave properly and respectfully.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.