Systems Engineering (SE)

5000. Introduction to Systems Engineering

Three credits.

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.

5095. Special Topics

Variable (1-3) credits. May be repeated for credit.

General topics in systems engineering.

5101. Foundations of Physical Systems Modeling

Three credits. Recommended preparation: Undergraduate degree in Mechanical Engineering, Chemical Engineering, and Modelica Software.

Provides 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. Introduction to 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.

5102. Uncertainty Analysis, Robust Design, and Optimization

Three credits. Prerequisite: SE 5101.

Provides 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).

5103. Design Flows for Robust Design

Three credits. Prerequisite: SE 5101 and 5102.

Provides students with the platform-based design flows for robust design of physical systems. Students 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 and Performance, Robustness, Dynamics and control, and Safety).

5195. Capstone Projects for System Design

Three credits. Prerequisite: SE 5101, 5102, and 5103.

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.

5202. Foundations of Control

Three credits. Prerequisite: SE 5101. Recommended preparation: undergraduate course in systems analysis.

Familiarizes 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.

5203. Design Flows for Control and Verification

Three credits. Prerequisite: SE 5101 and 5102.

Familiarizes 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 and 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.

5295. Capstone Projects – Controlled Systems

Three credits. Prerequisite: SE 5101, 5102, and 5103.

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.

5301. Embedded/Networked Systems Modeling Abstractions

Three credits. Recommended preparation: Background in hardware and/or software design.

Familiarizes 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.

5302. Formal Methods

Three credits. Prerequisite: SE 5301.

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.

5303. Design Flows for Embedded / Networked Systems

Three credits. Prerequisite: SE 5301 and 5302. Recommended preparation: Background in hardware and/or software design.

Provides 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.

5395. Capstone Projects – Embedded Systems

Three credits. Prerequisite: SE 5301, 5302, and 5303.

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.