Search Course Outline

Concurrency and models of computation, task models and race conditions, real-time operating systems based approach, synchronous approach, safe state machines, key properties: determinism and reactivity, SoPC and MPSoC, cyber-physical embedded systems, static analysis techniques, case studies in smart grid, automotive, medical devices and the like.