Teaching Areas

  1. Computers: Technology trends, design ideas, performance benchmarking.
  2. Instruction set architecture; overview of MIPS instruction set;…

This course introduces real-time system safety and simulation-based testing over automated driving systems. Throughout the course the student will prepare their system verification plans for an…

Representations of design and architecture. Software architectures and design plans. Design methods. Design state assessment. Design quality assurance. Design verification. Group design and…