Embedded Systems

SE 5301 Embedded/Networked Systems Modeling Abstractions

This course is designed to familiarize students with design flows for designing, implementing and verifying embedded systems, and to provide skills necessary to specify requirements and perform platform-based design, analysis and modeling of embedded and networked systems. These models will be motivated by applications which demonstrate embedded systems design challenges of satisfying time-critical, event-driven, and data-centric requirements.   Students will be cognizant of the role of embedded controllers and devices in the system design process, as they relate to event-driven and data-driven systems, and supervisory control of hybrid (continuous and discrete-time) systems. This will include exposure to platform-based design principles with an emphasis on requirements capture and refinement to platform architecture mapping, analysis and verification. Students will learn the technical aspects of modeling principles relevant to embedded systems – specifically modeling system architecture, system functions, computation, software, real-time systems, and distributed systems.

Prerequisite: Background in hardware and/or software design

 

SE 5302  Formal Methods

This course is designed to provide students with an introduction to formal methods as a framework for the specification, design, and verification of software-intensive embedded systems. Topics include automata theory, model checking, theorem proving, and system specification. Examples are driven by cyber-physical systems.

Prerequisite: SE 5301

 

SE 5303  Design Flows for Embedded / Networked Systems

This course is designed to provide students with a thorough understanding of the design, verification, and validation of embedded/network systems and software-intensive systems. The student will develop skills in specifying requirements for embedded software systems, model based architecture and design, and verification and validation of embedded systems. Special emphasis will be placed on distributed embedded systems and real-time systems. The platform-based design (PBD) flow will be used as the common thread through the course. Examples are driven by cyber-physical systems.

Prerequisite: Background in hardware and/or software design; SE 5301; SE 5302

 

SE 5395  Capstone Projects for Embedded Systems

This project course is designed to provide students with a thorough understanding of all embedded system modeling, design, and verification through a comprehensive capstone project. These projects will be practical and be relevant to industry needs.

Prerequisite: SE 5301, SE 5302, SE 5303