The 4th Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS 2012)
Date: Nov 29, 2011 12:30 pm – Nov 29, 2011 12:30 pm
Location: Vienna, Austria
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.
Submitted by Janos Sztipanovits
on
Date: Nov 29, 2011 12:30 pm – Nov 29, 2011 12:30 pm
Location: Vienna, Austria
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.
Submitted by Janos Sztipanovits
on