real-time embedded systems

event

Visible to the public  The 4th Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS 2012)
Nov 29, 2011 7:30 pm - 7:30 pm CET

Submitted by Janos.Sztipanovits on Mon, 04/16/2012 - 6:17pm

The increasing complexity of real-time embedded systems requires advanced methodologies that can reduce the cost of their design and analysis, while ensuring that requirements on functional correctness, real- time behaviour, and performance are met. Compositional theories and technologies facilitate the decomposition of a complex system into components, as well as their integration via interfaces. Component interfaces hide the internal details of the components, thereby reducing integration complexity.