Fri 19 Aug 2022 22:10 - 22:30 at Wallaby - Safety Requirements Engineering Chair(s): Xiao Liu

The field of cyber-molecular systems is growing rapidly. In these nanotechnology applications the computational logic is encoded by developers into the molecules themselves. Many planned applications are safety-critical, including bio-compatible sensors, pollution trackers, and targeted drug-delivery devices.
Requirements engineering (RE) activities and artifacts are essential to assuring the safety of molecular programs. However, molecular programmed devices offer challenges to traditional RE activities. Molecular programmed systems are nanoscale, so hard to monitor; execute at scale, typically $10^{10}$ devices in solution at once; and have probabilistic behavior. Toward safe molecular programs, we propose a new framework, RE4DNA, for their safety requirements discovery, specification, and verification. Its contribution is to bridge the cyber and the molecular in the requirements engineering process. Further, use of RE4DNA identifies building blocks that can contribute to a preliminary safety case. In this paper we introduce RE4DNA, describe how it handles some particular challenges of molecular programming, report preliminary results from its use on a benchmark molecular program, and discuss future work.

Fri 19 Aug

Displayed time zone: Hobart change

21:40 - 22:40
Safety Requirements EngineeringRE@Next! Papers / Research Papers at Wallaby
Chair(s): Xiao Liu School of Information Technology, Deakin University
21:40
30m
Talk
Hierarchical Assessment of Safety Requirements for Configurations of Autonomous Driving SystemsAvailable
Research Papers
Yixing Luo Peking University, Xiao-Yi Zhang National Institute of Informatics, Japan, Paolo Arcaini National Institute of Informatics , Zhi Jin Peking University, Haiyan Zhao Peking University, Linjuan Zhang Peking University, Fuyuki Ishikawa National Institute of Informatics
22:10
20m
Talk
Requirements Engineering for Safety-Critical Molecular Programs
RE@Next! Papers
Robyn Lutz Iowa State University