The assurance timeline

Building assurance cases for synthetic biology

Myra B. Cohen, Justin Firestone, Massimiliano Pierobon

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations (Scopus)

Abstract

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.

Original languageEnglish (US)
Title of host publicationComputer Safety, Reliability, and Security, SAFECOMP 2016 - Workshops ASSURE, DECSoS, SASSUR, and TIPS, Proceedings
EditorsJérémie Guiochet, Erwin Schoitsch, Friedemann Bitsch, Amund Skavhaug
PublisherSpringer Verlag
Pages75-86
Number of pages12
ISBN (Print)9783319454795
DOIs
StatePublished - Jan 1 2016
EventInternational 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 - Trondheim, Norway
Duration: Sep 21 2016Sep 23 2016

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume9923 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

OtherInternational 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
CountryNorway
CityTrondheim
Period9/21/169/23/16

Fingerprint

Synthetic Biology
Drug Delivery
Pollution
Drug delivery
Computer programming languages
Replication
Programming Languages
Mutation
DNA
Safety
Engineering
Cycle
Engineers

Keywords

  • Assurance case
  • Evolution
  • Synthetic biology

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Cohen, M. B., Firestone, J., & Pierobon, M. (2016). The assurance timeline: Building assurance cases for synthetic biology. In J. Guiochet, E. Schoitsch, F. Bitsch, & A. Skavhaug (Eds.), Computer Safety, Reliability, and Security, SAFECOMP 2016 - Workshops ASSURE, DECSoS, SASSUR, and TIPS, Proceedings (pp. 75-86). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9923 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-319-45480-1_7

The assurance timeline : Building assurance cases for synthetic biology. / Cohen, Myra B.; Firestone, Justin; Pierobon, Massimiliano.

Computer Safety, Reliability, and Security, SAFECOMP 2016 - Workshops ASSURE, DECSoS, SASSUR, and TIPS, Proceedings. ed. / Jérémie Guiochet; Erwin Schoitsch; Friedemann Bitsch; Amund Skavhaug. Springer Verlag, 2016. p. 75-86 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9923 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Cohen, MB, Firestone, J & Pierobon, M 2016, The assurance timeline: Building assurance cases for synthetic biology. in J Guiochet, E Schoitsch, F Bitsch & A Skavhaug (eds), Computer Safety, Reliability, and Security, SAFECOMP 2016 - Workshops ASSURE, DECSoS, SASSUR, and TIPS, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 9923 LNCS, Springer Verlag, pp. 75-86, 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, Trondheim, Norway, 9/21/16. https://doi.org/10.1007/978-3-319-45480-1_7
Cohen MB, Firestone J, Pierobon M. The assurance timeline: Building assurance cases for synthetic biology. In Guiochet J, Schoitsch E, Bitsch F, Skavhaug A, editors, Computer Safety, Reliability, and Security, SAFECOMP 2016 - Workshops ASSURE, DECSoS, SASSUR, and TIPS, Proceedings. Springer Verlag. 2016. p. 75-86. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-319-45480-1_7
Cohen, Myra B. ; Firestone, Justin ; Pierobon, Massimiliano. / The assurance timeline : Building assurance cases for synthetic biology. Computer Safety, Reliability, and Security, SAFECOMP 2016 - Workshops ASSURE, DECSoS, SASSUR, and TIPS, Proceedings. editor / Jérémie Guiochet ; Erwin Schoitsch ; Friedemann Bitsch ; Amund Skavhaug. Springer Verlag, 2016. pp. 75-86 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{3a53c963ca204340a51cd20effe91f9e,
title = "The assurance timeline: Building assurance cases for synthetic biology",
abstract = "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.",
keywords = "Assurance case, Evolution, Synthetic biology",
author = "Cohen, {Myra B.} and Justin Firestone and Massimiliano Pierobon",
year = "2016",
month = "1",
day = "1",
doi = "10.1007/978-3-319-45480-1_7",
language = "English (US)",
isbn = "9783319454795",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "75--86",
editor = "J{\'e}r{\'e}mie Guiochet and Erwin Schoitsch and Friedemann Bitsch and Amund Skavhaug",
booktitle = "Computer Safety, Reliability, and Security, SAFECOMP 2016 - Workshops ASSURE, DECSoS, SASSUR, and TIPS, Proceedings",

}

TY - GEN

T1 - The assurance timeline

T2 - Building assurance cases for synthetic biology

AU - Cohen, Myra B.

AU - Firestone, Justin

AU - Pierobon, Massimiliano

PY - 2016/1/1

Y1 - 2016/1/1

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

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

ER -