ECE 584

ECE 584 - Embedded System Verification

Spring 2024

TitleRubricSectionCRNTypeHoursTimesDaysLocationInstructor
Embedded System VerificationCS584D63673LEC41100 - 1220 T R  3015 Electrical & Computer Eng Bldg Huan Zhang
ECE416ONL0 -    
ECE462ONL0 -    
ECE511ONL0 -    
ECE546ONL0 -    
ECE584ONL0 -    
Embedded System VerificationECE584D63672LEC41100 - 1220 T R  3015 Electrical & Computer Eng Bldg Huan Zhang
Embedded System VerificationECE584ONL76151OLC41100 - 1220 T R    Huan Zhang

Official Description

Examines formal analysis an synthesis approaches for discrete, continuous, and hybrid models of computing systems and their physical environment. Introduces timed and hybrid automata models. Analysis techniques including model checking, Hoare-style deduction, and abstractions for safety and stability, and controller synthesis strategies with applications in distributed robotics, automobile system, traffic control, and real-time systems. Course Information: Same as CS 584. 4 graduate hours. No professional credit. Prerequisite: MATH 257 or equivalent.

Subject Area

  • Software Systems

Course Director

Description

Description of the algorithms and procedures required to study the reliability of integrated circuit products. Covers reliability modeling, physical causes of semiconductor device failure, reliability model development and calibration, model-based reliability prediction, product testing and measurement, and failure diagnosis. Coverage emphasizes application to integrated circuit technology.

Topics

  • Finite Automata
  • Temporal Logic Model Checking
  • Hybrid Automata
  • Simulations and Abstractions
  • Model checking Hybrid Automata
  • Deductive Verification
  • Controller Synthesis
  • Stability Analysis
  • Applications

Detailed Description and Outline

Topics:

  • Finite Automata
  • Temporal Logic Model Checking
  • Hybrid Automata
  • Simulations and Abstractions
  • Model checking Hybrid Automata
  • Deductive Verification
  • Controller Synthesis
  • Stability Analysis
  • Applications

Texts

Course notes

Last updated

2/13/2013