Search Course Outline
5 course outlines found
1
COMPSYS 723
: Embedded Systems Design2024 Semester One (1243)
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.
Prerequisite: COMPSYS 303 or 304 or SOFTENG 370
Restriction: COMPSYS 402, 403, 727
Restriction: COMPSYS 402, 403, 727
2
COMPSYS 723
: Embedded Systems Design2023 Semester One (1233)
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.
Prerequisite: COMPSYS 303 or 304 or SOFTENG 370
Restriction: COMPSYS 402, 403, 727
Restriction: COMPSYS 402, 403, 727
3
COMPSYS 723
: Embedded Systems Design2021 Semester One (1213)
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.
Prerequisite: COMPSYS 303 or 304 or SOFTENG 370
Restriction: COMPSYS 402, 403, 727
Restriction: COMPSYS 402, 403, 727
4
COMPSYS 723
: Embedded Systems Design2020 Semester One (1203)
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.
3rerequisite: COMPSYS 304 or COMPSYS 304 or SOFTENG 370
Restriction: COMPSYS 402, 403, 727
Restriction: COMPSYS 402, 403, 727
5
COMPSYS 723
: Embedded Systems Design2022 Semester One (1223)
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.
Prerequisite: COMPSYS 303 or 304 or SOFTENG 370
Restriction: COMPSYS 402, 403, 727
Restriction: COMPSYS 402, 403, 727
Outline is not available yet