@inproceedings{6a94d4408ec149368428adbec77375b8,
title = "A formal model for component-based embedded software development",
abstract = "This paper presents a formal model for specification, verification, and composition of componentbased embedded software. We describe how components are specified from the syntactical view, functional view, QoS view and synchronization view. The refinement rules for functionality, QoS, and synchronous behavior are defined for the verification purpose. And a lightweight composition method is provided for the purpose of composition.",
keywords = "Component, Connector, Contract, Embedded software, Non-functional properties",
author = "Changde Li and Xingshe Zhou and Yunwei Dong and Zhiwen Yu",
year = "2009",
doi = "10.1109/ICESS.2009.51",
language = "英语",
isbn = "9780769536781",
series = "Proceedings - 2009 International Conference on Embedded Software and Systems, ICESS 2009",
pages = "19--23",
booktitle = "Proceedings - 2009 International Conference on Embedded Software and Systems, ICESS 2009",
note = "2009 International Conference on Embedded Software and Systems, ICESS 2009 ; Conference date: 25-05-2009 Through 27-05-2009",
}