Communication model exploration for distributed embedded systems and system level interpretations

Authors:
Takashi Kinoshima;Kazutaka Kobayashi;Nurul Azma Zakaria;Masahiro Kimura;Noriko Matsumoto;Norihiko Yoshida
Affiliations:
Division of Mathematics, Electronics and Informatics, Saitama University, Saitama, Japan;Division of Mathematics, Electronics and Informatics, Saitama University, Saitama, Japan;Division of Mathematics, Electronics and Informatics, Saitama University, Saitama, Japan;Division of Mathematics, Electronics and Informatics, Saitama University, Saitama, Japan;Division of Mathematics, Electronics and Informatics, Saitama University, Saitama, Japan;Division of Mathematics, Electronics and Informatics, Saitama University, Saitama, Japan
Venue:
EUC'07 Proceedings of the 2007 conference on Emerging direction in embedded and ubiquitous computing
Year:
2007

Citing 3
Cited 0

System Design: A Practical Guide with Specc

System Design: A Practical Guide with Specc
MDA Distilled

MDA Distilled
Schedulability-Driven Partitioning and Mapping for Multi-Cluster Real-Time Systems

ECRTS '04 Proceedings of the 16th Euromicro Conference on Real-Time Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents how communication exploration can be done in a design process of distributed embedded systems. Distributed embedded systems involve various communication categories such as event-triggered and time-triggered communication. Therefore, communication exploration is as important as architecture exploration. 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. This paper includes system level interpretation of the communication models using the SpecC language so as to verify them.