Show simple item record

dc.contributor.authorStannett, M.*
dc.contributor.authorGheorghe, Marian*
dc.date.accessioned2016-09-21T15:45:55Z
dc.date.available2016-09-21T15:45:55Z
dc.date.issued2015-06-15
dc.identifier.citationStannett M and Gheorghe M (2015) Integration testing of heterotic systems. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences. 373(2046)
dc.identifier.urihttp://hdl.handle.net/10454/9228
dc.descriptionYes
dc.description.abstractComputational theory and practice generally focus on single-paradigm systems, but relatively little is known about how best to combine components based on radically different approaches (e.g. silicon chips and wetware) into a single coherent system. In particular, while testing strategies for single-technology artefacts are generally well developed, it is unclear at present how to perform integration testing on heterotic systems: can we develop a test-set generation strategy for checking whether specified behaviours emerge (and unwanted behaviours do not) when components based on radically different technologies are combined within a single system? In this paper, we describe an approach to modelling multi-technology heterotic systems using a general-purpose formal specification strategy based on Eilenberg's X-machine model of computation. We show how this approach can be used to represent disparate technologies within a single framework, and propose a strategy for using these formal models for automatic heterotic test-set generation. We illustrate our approach by showing how to derive a test set for a heterotic system combining an X-machine-based device with a cell-based P system (membrane system).
dc.relation.isreferencedbyhttp://dx.doi.org/10.1098/rsta.2014.0222
dc.rights© 2015 The Royal Society. Full-text reproduced in accordance with the publisher’s self-archiving policy.
dc.subjectP system
dc.subject; X-machine
dc.subject; Heterotic computing
dc.subject; Integration testing
dc.subject; Membrane system
dc.subject; Unconventional computing
dc.titleIntegration testing of heterotic systems
dc.status.refereedYes
dc.typeArticle
dc.type.versionAccepted manuscript
refterms.dateFOA2018-07-25T14:08:57Z


Item file(s)

Thumbnail
Name:
stannett_gheorghe_2015.pdf
Size:
309.4Kb
Format:
PDF

This item appears in the following Collection(s)

Show simple item record