model-driven embedded software

An alternative polychronous model and synthesis methodology for model-driven embedded software

FREE-DOWNLOAD [PDF] BA Jose… – Proceedings of the 2010 Asia and South …, 2010
Abstract— Multi-clocked synchronous (aka Polychronous) specification languages do not assume
that execution proceeds by sampling inputs at predetermined global synchronization points.
The software synthesized from such specifications are paced by arrival of certain inputs,