real-time embedded systems
biblio
Submitted by grigby1 on Wed, 02/21/2018 - 1:37pm
event
Submitted by Janos.Sztipanovits on Mon, 04/16/2012 - 7: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.
