Show simple item record

dc.contributor.authorLin, SW
dc.contributor.authorLiu, Y
dc.contributor.authorHsiung, PA
dc.contributor.authorSun, J
dc.contributor.authorDong, JS
dc.date.accessioned2017-10-24T04:22:29Z
dc.date.available2017-10-24T04:22:29Z
dc.date.issued2012
dc.identifier.issn0302-9743
dc.identifier.doi10.1007/978-3-642-34281-3_17
dc.identifier.urihttp://hdl.handle.net/10072/172904
dc.description.abstractWith the demand for new and complicated features, embedded systems are becoming more and more difficult to design and verify. Even if the design of a system is verified, how to guarantee the consistency between the design and its implementation remains a big issue. As a solution, we propose a framework that can help a system designer to model his or her embedded system using a high-level modeling language, verify the design of the system, and automatically generate executable software codes whose behavior semantics are consistent with that of the high-level model. We use two case studies to demonstrate the effectiveness of our framework. This work is mainly supported by TRF Project “Research and Development in the Formal Verification of System Design and Implementation” from Temasek Lab@National University of Singapore; partially supported by project IDG31100105/IDD11100102 from Singapore University of Technology and Design, and project MOE2009-T2-1-072 from School of Computing@National University of Singapore.
dc.description.peerreviewedYes
dc.languageEnglish
dc.language.isoeng
dc.publisherSpringer
dc.relation.ispartofpagefrom214
dc.relation.ispartofpageto229
dc.relation.ispartofjournalLecture Notes in Computer Science
dc.relation.ispartofvolume7635 LNCS
dc.subject.fieldofresearchSoftware engineering not elsewhere classified
dc.subject.fieldofresearchcode461299
dc.titleAutomatic generation of provably correct embedded systems
dc.typeJournal article
dc.type.descriptionC1 - Articles
dc.type.codeC - Journal Articles
gro.hasfulltextNo Full Text
gro.griffith.authorDong, Jin-Song


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

  • Journal articles
    Contains articles published by Griffith authors in scholarly journals.

Show simple item record