Please use this identifier to cite or link to this item: https://doi.org/10.1007/978-3-642-34281-3_17
Title: Automatic generation of provably correct embedded systems
Authors: Lin, S.-W. 
Liu, Y. 
Hsiung, P.-A.
Sun, J.
Dong, J.S. 
Issue Date: 2012
Source: Lin, S.-W.,Liu, Y.,Hsiung, P.-A.,Sun, J.,Dong, J.S. (2012). Automatic generation of provably correct embedded systems. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7635 LNCS : 214-229. ScholarBank@NUS Repository. https://doi.org/10.1007/978-3-642-34281-3_17
Abstract: With 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. © 2012 Springer-Verlag.
Source Title: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
URI: http://scholarbank.nus.edu.sg/handle/10635/43180
ISBN: 9783642342806
ISSN: 03029743
DOI: 10.1007/978-3-642-34281-3_17
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.

SCOPUSTM   
Citations

3
checked on Dec 11, 2017

Page view(s)

67
checked on Dec 9, 2017

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.