SE 5000 Introduction to Systems Engineering
An introduction to the hard and soft skills that are required of good systems engineers. Lectures follow the competency models for systems engineers and include topics such as systems thinking, needs identification, requirements formulation, architecture definition, technical management, design integration, as well as verification and validation of designs. Some of the key systems engineering (SE) standards will be covered and the roles of organizations in enabling engineers to develop systems will be explored. Applications of SE concepts and tools in various settings will be discussed through examples and case studies. Students will learn to apply the SE methodologies in modern complex system development environments such as aerospace and defense, transportation, energy, communications, and modern software-intensive systems.
SE 5101 Foundations of Physical Systems Modeling
This course is designed to provide students with the foundations of physical systems modeling and computational methods for performance analysis. Students will develop skills in the areas of fundamental physical and mathematical representations of fluid dynamics, thermodynamics, heat transfer, and electro-mechanics. This course will also introduce concepts on how systems can be architected and designed with the aid of models. Topics include system and component requirements specification, creation of system models for design and control analysis of physical systems. Emphasis is placed on the modeling of such systems in the equation oriented programming environment of the Modelica language, and the utilization of these system models within the Functional Mockup Interface for co-simulation and Model Exchange. Examples of Aircraft Environmental Control, Chiller Systems and Plants, Engine Fuel Systems, Variable Frequency Drives and Electric Machines are used for the demonstration of the theoretical and modeling aspects of physical system modeling.
Recommended Prep: Undergraduate degree in ME, CHEG and Modelica Software
SE 5102 Uncertainty Analysis, Robust Design and Optimization
This course is designed to provide students with a thorough understanding of platform-based and model-driven methods for uncertainty analysis and robust design of cyber-physical systems. Topics include modeling of uncertainties, sensitivity analysis, robust design analysis methodologies (DFSS, IDOV), and critical parameter management (CPM).
Prerequisite: SE 5101
SE 5103 Design Flows for Robust Design
This course is designed to provide students with the platform-based design flows for robust design of physical systems. The students will develop skills in requirements analysis of a physical systems, architectural selection, model-based system design, and verification and validation at various model abstraction levels. Special emphasis will be placed on development processes spanning system design and the requirements validation analyses (Sizing & Performance, Robustness, Dynamics & control, and Safety).
Prerequisite: SE 5101; SE 5102
SE 5195 Capstone Projects for System Design
This project course is designed to provide students with a thorough understanding of cyber-physical systems modeling and design through a comprehensive capstone project. These projects will be practical and relevant to industry needs.
Prerequisite: SE 5101; SE 5102; SE 5103
SE 5202 Foundations of Control
The objectives of this course are to familiarize the students with system design flows used for designing, implementing and verifying control systems and to provide skills necessary to design and analyze practical regulatory controllers for Cyber-Physical systems. Successful students will be cognizant of the role of controls in the system design process and will be proficient in specifying control system requirements, especially as they relate to attenuation of load disturbances, robustness to dynamic system model uncertainty, actuator nonlinearities, and measurement noise; knowledgeable of the distinctions between modeling systems for control and understanding the fundamental limits of regulatory control systems; knowledgeable of the role of control architectures for regulatory controllers, including sensor selection and sizing of actuators; aware of practical control design methods focusing on PID controllers; controller implementation, validation, testing, diagnostics and tuning. Use of computer-aided engineering tools (Dymola, MATLAB/Simulink) in the design flows for control of cyber-physical systems is emphasized.
Prerequisite: Undergraduate course in Systems Analysis; SE 5101
SE 5203 Design Flows for Control and Verification
The objectives of this course are to familiarize students with platform-based design flows for control and verification of cyber-physical systems, and to provide skills necessary to capture system-level requirements under nominal and hazardous conditions; select functional architecture and system structure considering hazards and reliability; conduct preliminary as well as detailed control system design for performance, reliability, robustness, implementation and cost; and carry out verification and validation processes for cyber-physical systems. Successful students will be cognizant of the role of controls in the system design process and will be proficient in specifying system requirements performing hazard analysis for dynamics and control of cyber-physical systems; understanding functional architecture and control structure evaluation, selection and validation considering hazards and reliability; preliminary as well as detailed model-based control system design for performance, reliability, robustness, implementation and cost; and verification and validation of control systems at various model abstraction levels. Special emphasis will be on development processes spanning requirements, dynamics & control, robustness, safety and computational and embedded system implementation issues. Use of computer-aided engineering tools (e.g., Rhapsody, Dymola, and MATLAB/Simulink) in the design flows for control of cyber-physical systems is stressed.
Prerequisite: SE 5101; SE 5202
SE 5295 Capstone Projects for Controlled Systems
This project course is designed to apply the skills, concepts and tools learned on requirement analysis, architecture selection, basic design and development, and design flows for controls on industry-relevant challenges. An industry and UConn mentoring team advises students on capstone projects.
Prerequisite: SE 5101; SE 5202; SE 5203
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