development of embedded software-2
Contract-based coordination of hardware components for the development of embedded software
FREE-DOWNLOAD [PDF] T Bouhadiba… – Coordination Models and Languages, 2009 – Abstract. Embedded software is intrinsically concurrent, because an embedded system has several
computing units. The way the software pieces communicate and synchronize depends on the
hardware architec- ture. If the architecture is regular and fixed, there often exists a