REU Site: Software Safety and Reliability: Research and Application

由于软件的安全性和可靠性对于许多系统的安全可靠运行和减少灾难性事故至关重要，德克萨斯大学达拉斯分校的本科生研究经验（REU）站点为学生提供了关于这些重要主题的前沿研究机会，特别是那些来自代表性不足的群体或资源有限的大学的学生。在获得批判性思维、口头和书面沟通、解决问题和研究方法的技能后，学生将受到鼓励，并为研究生教育和科学技术研究事业做好准备。他们与导师和其他参与者的互动将提供分享想法和结果的途径。将与学生所在院校建立研究联系，以继续不同地理区域的多个院校之间的合作。REU网站将公布研究文章、讲座和项目演示的视频和幻灯片，以及有效的社区外展公告。本研究的主题是软件安全性和可靠性，重点是评估现有方法和当前安全保证和可靠性预测实践的优缺点。需要研究的问题包括软件安全性和可靠性需求的引入如何影响软件生命周期，以及研究软件过程、方法和工具支持应该如何调整。进一步的探索将强调安全的软件系统是如何不可靠的；可靠的软件系统是如何不安全的；以及如何使软件系统既安全又可靠。我们的研究结果将被汇编，以提供如何有效和高效地实现软件安全性和可靠性的全面图景。该网站的一个重要方面是与工业界的密切合作。REU的学生将对行业赞助商进行实地考察，使他们能够直接与从业者交谈，以更好地了解软件的安全性和可靠性如何应用于现实生活中的应用。举办技术写作及口头陈述工作坊，以提高学生准备及发表技术报告的能力。此外，还将举办有关道德和职业责任的研讨会，以确保REU学生的行为举止得体和尊重他人。

As software safety and reliability are vital for safe and reliable operation of many systems and in reduction of catastrophic accidents, this Research Experiences for Undergraduates (REU) site at the University of Texas at Dallas provides cutting-edge research opportunities on these important topics to students, especially those fromunderrepresented groups or universities with limited resources. After gaining skills in critical thinking, oral and written communication, problem solving, and research methods, students will be encouraged and well prepared for graduate education and research careers in science and technology. Their interactions with mentors and other participants will provide avenues to share ideas and results. Research connections will be established with students' home institutions to continue collaboration among multiple institutions in different geographical regions. REU website will publicize research articles, videos and slides of lectures and project presentations, and announcements for effective community outreach.The subject of this research is software safety and reliability, with a focus on evaluating the strengths and weaknesses of existing methodologies and current practices for safety assurance and reliability prediction. Issues to be studied include how the introduction of software safety and reliability requirements may affect the software lifecycle, and studying how software processes, methods and tool support should be adjusted. Further exploration will emphasize how safe software systems can be unreliable; how reliable software systems can be unsafe; and how to make software systems both safe and reliable. Our findings will be compiled to provide a comprehensive picture of how software safety and reliability can be achieved effectively and efficiently. An important aspect of this site is a close collaboration with industry. REU students will take field 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 students' 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.