@article{oai:sucra.repo.nii.ac.jp:00016431, author = {星野, 達也 and 松本, 倫子 and 吉田, 紀彦}, journal = {埼玉大学工学部紀要 第一部 論文集}, month = {}, note = {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., text, application/pdf}, pages = {36--39}, title = {実行可能UMLに基づく組込みシステムネットワーク設計に関する研究<研究成果報告>}, volume = {42}, year = {2008}, yomi = {ホシノ, タツヤ and マツモト, ノリコ and ヨシダ, ノリヒコ} }