Research on Embedded Sysem Network Design Based on Executable UML

[出版社版]Embedded systems have recently been working on networks. Such embedded system networks involve communication in various layers, thus their design is more difficult than of single embedded systems. This paper presents how communication exploration can be done in a design process of embedded system networks using an example of event-triggered and time-triggered communication. A design process begins from abstract specification without assuming any communication category, then explores the categories in a stepwise manner, and is followed by physical implementation synthesis. All the models involved in this process are represented in Executable UML. This encourages stepwise decision making, component and framework reuse, and early stage verification