software architectures such as embedded operating systems and real-time scheduling algorithms, and 4) mapping from functional models to architectural platforms. We will also discuss emerging ...