Show simple item record

dc.contributor.authorEstivill-Castro, Vladimir
dc.contributor.authorHexel, Rene
dc.contributor.authorStover, Josh
dc.contributor.editorAldabass, D
dc.contributor.editorRomero, G
dc.contributor.editorOrsoni, A
dc.contributor.editorPantelous, A
dc.date.accessioned2017-11-29T23:25:27Z
dc.date.available2017-11-29T23:25:27Z
dc.date.issued2015
dc.identifier.isbn9781509002061
dc.identifier.issn2473-3539
dc.identifier.urihttp://hdl.handle.net/10072/123503
dc.description.abstractWe propose to test software models with software models. Model-Driven Software Development proposes that software is to be constructed by developing high-level models that directly execute or generate most of the code. On the other hand, Test-Driven development proposes to produce tests that validate the functionality of the code. This paper brings both together by using Logic-Labeled Finite-State Machines to deploy executable models of embedded systems and also to configure the corresponding tests. The advantage is a much more efficient validation of the models, with more robust and durable representations, that ensure effective and efficient quality assurance throughout the development process, saving the costly exercise of formal model-checking until the system is complete enough to meet all requirements.
dc.description.peerreviewedYes
dc.languageEnglish
dc.publisherInstitute of Electrical and Electronics Engineers (IEEE)
dc.publisher.placeUnited States
dc.publisher.urihttp://uksim.info/ems2015/ems2015.htm
dc.relation.ispartofconferencenameUKSim-AMSS 9th IEEE European Modelling Symposium on Computer Modelling and Simulation (EMS)
dc.relation.ispartofconferencetitleUKSIM-AMSS NINTH IEEE EUROPEAN MODELLING SYMPOSIUM ON COMPUTER MODELLING AND SIMULATION (EMS 2015)
dc.relation.ispartofdatefrom2015-10-06
dc.relation.ispartofdateto2015-10-08
dc.relation.ispartoflocationMadrid, SPAIN
dc.relation.ispartofpagefrom89
dc.relation.ispartofpagefrom7 pages
dc.relation.ispartofpageto95
dc.relation.ispartofpageto7 pages
dc.subject.fieldofresearchSoftware Engineering
dc.subject.fieldofresearchcode080309
dc.titleModeling, Validation and Continuous Integration of Software Behaviours for Embedded Systems
dc.typeConference output
dc.type.descriptionE1 - Conferences
dc.type.codeE - Conference Publications
gro.facultyGriffith Sciences, School of Information and Communication Technology
gro.hasfulltextNo Full Text
gro.griffith.authorHexel, Rene


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

  • Conference outputs
    Contains papers delivered by Griffith authors at national and international conferences.

Show simple item record