Please use this identifier to cite or link to this item:
|Title:||Automatic generation of provably correct embedded systems||Authors:||Lin, S.-W.
|Issue Date:||2012||Citation:||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.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.