Marinescu said that the real problem when doing faultinjection testing is finding good strategies to inject faults. He then focused on answering the when, where, and what to inject questions. He first introduced the notion of injection triggers, a mechanism that allows testers to specify with an arbitrary degree of precision when to inject. Then he showed a static analysis tool that can automat...

This paper proposes a geometric solution to the problem of prime decomposability of concurrent processes first explored by R. Milner and F. Moller in [MM93]. Concurrent programs are given a geometric semantics using cubical areas, for which a unique factorization theorem is proved. An effective factorization method which is correct and complete with respect to the geometric semantics is derived...

6.

This work postulates a mechanism by which random genotypic variation is directed towards favourable phenotypic variation. Evolvability is a poorly understood concept at present; it is unclear precisely how the genotype-phenotype map aligns random genotypic mutation with favourable phenotypic variation. By static analysis of the distribution of functionality within the genotype, an emergent bias...

In this paper a new soft actuator based on dielectric elastomer is proposed. The actuator, called ANTagonistically-driven Linear Actuator(ANTLA) has the musclelike characteristics capable of performing the motions such as forward/backward/controllable compliance. Due to its simplicity of configuration and ease of fabrication, it has the advantages to be scale– independently implemented in meso–...

xii