@inproceedings{3608b94c837c480c8015b958471e28eb,
title = "Composition semantics for component-based embedded software",
abstract = "With the increasing complexity of embedded systems, Component-Based Software Development (CBSD) is regarded as a beneficial approach for embedded systems. For component technology, applications are built by assembling interacting components and interfaces are the means by which components interact. Embedded systems are usually safety-critical applications. There is a real need for clear and sound definition of operational semantics for the composition of components such that they may be used to direct the construction of the desired system and help to make analysis of behaviors and properties. This paper describes the composition semantics of component-based embedded software architecture in terms of the Communicating Sequential Language (CSP). Three types of interfaces: procedure call, data access and event are classified. And the composition semantics for each type is presented. The overall objective is to provide a soundly based notation for specifying and verifying embedded software architectures.",
keywords = "Component, Composition semantics, Embedded software, Interaction behavior",
author = "Changde Li and Xingshe Zhou and Yunwei Dong and Tengteng Zhang",
year = "2009",
doi = "10.1109/CISE.2009.5367025",
language = "英语",
isbn = "9781424445073",
series = "Proceedings - 2009 International Conference on Computational Intelligence and Software Engineering, CiSE 2009",
booktitle = "Proceedings - 2009 International Conference on Computational Intelligence and Software Engineering, CiSE 2009",
note = "2009 International Conference on Computational Intelligence and Software Engineering, CiSE 2009 ; Conference date: 11-12-2009 Through 13-12-2009",
}