TY - GEN
T1 - The assurance timeline
T2 - International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2016 and International Workshop on Assurance Cases for Software-Intensive Systems, ASSURE 2016, Workshop on Dependable Embedded and Cyber-physical Systems and Systems-of-Systems, DECSoS 2016, 5th International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems, SASSUR 2016, and 1st International Workshop on the Timing Performance in Safety Engineering, TIPS 2016
AU - Cohen, Myra B.
AU - Firestone, Justin
AU - Pierobon, Massimiliano
N1 - Funding Information:
This work was supported in part by NSF grants CCF-1161767 and MCB-1449014.
Publisher Copyright:
© Springer International Publishing Switzerland 2016.
PY - 2016
Y1 - 2016
N2 - Recent research advances in modifying and controlling DNA have created a booming field of biological engineering called synthetic biology. In synthetic biology engineers manipulate and modify living organisms to change (and produce entirely novel) functionality, which has led to new fuel sources or the ability to mitigate pollution. Synthetic biology research is also expected to lead to methods of intelligent drug delivery. In synthetic biology, designs are first built using biological programming languages and then implemented in a laboratory. These synthetic organisms can be considered living programs that will sense, respond and interact with humans while they persist in the natural environment. We argue that we should view these as safety critical devices which can be both regulated and certified. Since the synthetically engineered organisms follow a regular cycle of reproduction and replication that involves mutations, they will eventually adapt and evolve new behavior over time. In this paper we propose the use of an assurance case for synthetically engineered organisms, and present an orthogonal dimension, an assurance timeline, that can be used to reason about the dynamic, evolving aspects of these systems. We present a case study based on a real application to illustrate our ideas.
AB - Recent research advances in modifying and controlling DNA have created a booming field of biological engineering called synthetic biology. In synthetic biology engineers manipulate and modify living organisms to change (and produce entirely novel) functionality, which has led to new fuel sources or the ability to mitigate pollution. Synthetic biology research is also expected to lead to methods of intelligent drug delivery. In synthetic biology, designs are first built using biological programming languages and then implemented in a laboratory. These synthetic organisms can be considered living programs that will sense, respond and interact with humans while they persist in the natural environment. We argue that we should view these as safety critical devices which can be both regulated and certified. Since the synthetically engineered organisms follow a regular cycle of reproduction and replication that involves mutations, they will eventually adapt and evolve new behavior over time. In this paper we propose the use of an assurance case for synthetically engineered organisms, and present an orthogonal dimension, an assurance timeline, that can be used to reason about the dynamic, evolving aspects of these systems. We present a case study based on a real application to illustrate our ideas.
KW - Assurance case
KW - Evolution
KW - Synthetic biology
UR - http://www.scopus.com/inward/record.url?scp=84988365898&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84988365898&partnerID=8YFLogxK
U2 - 10.1007/978-3-319-45480-1_7
DO - 10.1007/978-3-319-45480-1_7
M3 - Conference contribution
AN - SCOPUS:84988365898
SN - 9783319454795
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 75
EP - 86
BT - Computer Safety, Reliability, and Security, SAFECOMP 2016 - Workshops ASSURE, DECSoS, SASSUR, and TIPS, Proceedings
A2 - Guiochet, Jérémie
A2 - Schoitsch, Erwin
A2 - Bitsch, Friedemann
A2 - Skavhaug, Amund
PB - Springer Verlag
Y2 - 21 September 2016 through 23 September 2016
ER -