Sciweavers

Share
ICSE
2012
IEEE-ACM

Engineering and verifying requirements for programmable self-assembling nanomachines

8 years 8 months ago
Engineering and verifying requirements for programmable self-assembling nanomachines
—We propose an extension of van Lamsweerde’s goal-oriented requirements engineering to the domain of programmable DNA nanotechnology. This is a domain in which individual devices (agents) are at most a few dozen nanometers in diameter. These devices are programmed to assemble themselves from molecular components and perform their assigned tasks. The devices carry out their tasks in the probabilistic world of chemical kinetics, so they are individually error-prone. However, the number of devices deployed is roughly on the order of a nanomole (a 6 followed by fourteen 0s), and some goals are achieved when enough of these agents achieve their assigned subgoals. We show that it is useful in this setting to augment the AND/OR goal diagrams to allow goal refinements that are mediated by threshold functions, rather than ANDs or ORs. We illustrate this method by engineering requirements for a system of molecular detectors (DNA origami “pliers” that capture target molecules) invented b...
Robyn R. Lutz, Jack H. Lutz, James I. Lathrop, Tit
Added 29 Sep 2012
Updated 29 Sep 2012
Type Journal
Year 2012
Where ICSE
Authors Robyn R. Lutz, Jack H. Lutz, James I. Lathrop, Titus Klinge, Eric Henderson, Divita Mathur, Dalia Abo Sheasha
Comments (0)
books