Show simple item record

dc.contributor.authorBUTTERFIELD, ANDREWen
dc.contributor.editorJim Woodcock, Marcel Oliveiraen
dc.date.accessioned2010-02-25T14:45:32Z
dc.date.available2010-02-25T14:45:32Z
dc.date.created19-21 Augusten
dc.date.issued2009en
dc.date.submitted2009en
dc.identifier.citationAndrew Butterfield, Art O Cathain, Concurrent Models of Flash Memory Device Behaviour, Lecture Notes in Computer Science - Formal Methods: Foundations and Applications, 12th Brazilian Symposium on Formal Methods (SBMF 2009), Gramado, Brazil, 19-21 August, Jim Woodcock, Marcel Oliveira, 5902, Springer, 2009, 70-83en
dc.identifier.otherYen
dc.identifier.urihttp://hdl.handle.net/2262/38386
dc.descriptionPUBLISHEDen
dc.descriptionGramado, Brazilen
dc.description.abstractWe present a CSP model of the internal behaviour of Flash Memory, based on its specification by the Open Nand-Flash Interface (ONFi) consortium. This contributes directly to the low-level modelling of the data-storage technology that is the target of the POSIX filestore mini-challenge. The key objective was to ensure that the internal behaviour was well-specified, and that it was consistent with the specification of the external interface of such devices. The FDR toolkit was used to perform the revelent refinement/model-checking. In addition to uncovering errors and possible sources of misinterpretation in the ONFi standard, this work also describes a methodology for model data-entry based on a ?state-chart? dialect of XML (SCXML) using XSLT to translate into CSP, and HTML, to support validation.en
dc.description.sponsorshipScience Foundation Irelanden
dc.format.extent70-83en
dc.format.mimetypeapplication/pdf
dc.language.isoenen
dc.publisherSpringeren
dc.relation.ispartofseries5902en
dc.rightsYen
dc.subjectformal methodsen
dc.subjectflash memoryen
dc.subjectconcurrency theoryen
dc.subjectmodel checkingen
dc.titleConcurrent Models of Flash Memory Device Behaviouren
dc.title.alternativeLecture Notes in Computer Science - Formal Methods: Foundations and Applicationsen
dc.title.alternative12th Brazilian Symposium on Formal Methods (SBMF 2009)en
dc.typeConference Paperen
dc.contributor.sponsorScience Foundation Ireland (SFI)en
dc.type.supercollectionscholarly_publicationsen
dc.type.supercollectionrefereed_publicationsen
dc.identifier.peoplefinderurlhttp://people.tcd.ie/butrfelden
dc.identifier.rssinternalid62279en
dc.subject.TCDThemeSmart & Sustainable Planeten
dc.identifier.rssurihttp://dx.doi.org/10.1007/978-3-642-10452-7_6en


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record