Requirements Engineering for Safety-Critical Molecular Programs
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 AugDisplayed 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 30mTalk | Hierarchical Assessment of Safety Requirements for Configurations of Autonomous Driving Systems 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 20mTalk | Requirements Engineering for Safety-Critical Molecular Programs RE@Next! Papers Robyn Lutz Iowa State University |