REU Site: Software Safety and Reliability: Research and Application

REU 网站：软件安全与可靠性：研究与应用

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

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.

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

项目成果

A Survey ofNFC Mobile Payment: Challenges and Solutions using Blockchain and Cryptocurrencies

NFC 移动支付调查：使用区块链和加密货币的挑战和解决方案

• DOI: 10.1109/dsa51864.2020.00018
• 发表时间: 2020
• 期刊: The 7th International Conference on Dependable Systems and Their Applications
• 作者: Li, Dongcheng;Wong, W. Eric;Chau, Matthew;Pan, Sean;Koh, Liang Seng
• 通讯作者: Koh, Liang Seng