Embedded Real-Time Systems
Issued by
University of Connecticut
Earners of the Embedded and Real-Time Systems Badge have designed, implemented, and verified embedded systems, and have specified requirements and performed platform-based design, analysis, and modeling of real-time embedded and networked systems. These models are motivated by applications from industry, which demonstrate embedded systems design challenges of satisfying time-critical, event-driven, and data-centric requirements. Earners have implemented supervisory control of hybrid systems.
- Type Validation
- Level Advanced
- Time Weeks
- Cost Paid
Skills
- Complex System Modeling
- Concurrency Controls
- Cyber-Physical Systems
- Deadlock Mitigation
- Distributed and Networked Systems Architecture
- Embedded and Real-Time Systems Architecture
- Hybrid Systems
- Meta System Modeling
- Model-Based Software Engineering
- Model-based Systems Engineering
- RTOS
- Scheduling Algorithms
- System Design
- Systems Analysis
- Systems Architecting
- Systems Engineering
- Systems Modeling
- Systems Thinking
- Time Synchronization
- Validation
- Verification
- VxWorks
Earning Criteria
-
Badge earners complete SE 5201 Embedded/Networked Systems Modeling Abstractions course at the University of Connecticut, which is a hybrid-online graduate course that can be taken from anywhere in the world. Earners can take this graduate course as a matriculated UConn graduate student or as a non-degree graduate student, which does not require admission to the UConn graduate school. Badge holders complete a course-long project and must earn a B- or better on this project to earn the badge.
-
Badge earners can apply knowledge of how cyber-physical system and software methods integrate at the large, meta system level, can design and develop cyberphysical architecture, can develop and update formal specifications for cyberphysical software and systems, can develop and update verification and validation methods for cyberphysical systems, and can apply Systems Engineering methods and principles to the design and operation of cyberphysical systems. See Standard [1] NAE-CPS below.
-
Badge earners can design systems that compute reliably and timely with noisy sensor data over wired and wireless networks, can determine the impact of delays, packet collisions, and protocols on performance of networked control systems, and can conduct modeling, verification, and control of systems containing discrete and continuous components of hybrid systems. See Standard [1] NAE-CPS below.
-
Badge earners can design large-scale meta systems and predict behavior and performance with systems models during early phase design, can perform modeling and analysis to design and predict operating characteristics for a complex system, can perform modeling and analysis to design and predict when changing meta system conditions cause system failures, and can perform modeling and analysis to quantify cost, schedule, and technical risk. See Standard [2] DOE-SIAM below.
-
Badge earners can perform modeling and analysis of a large stochastic system and simulate it to understand performance based upon technical performance measures, can decompose complex systems into canonical subsystems to design and predict system behavior and elucidate the coupling between components, and can optimize a complex system to meet stakeholder requirements and best engineering practice standards. See Standard [2] DOE-SIAM below.
-
Badge earners can describe different types of software modeling languages, can describe different types of software modeling methods, can develop a systems engineering-driven model plan, can define model metrics, can develop a high-quality software model based upon a defined purpose, can model stakeholder requirements, can develop a high-quality systems model using UML, SysML or other standard software and systems modeling language. See Standard [3] INCOSE MBE Capabilities Matrix below.
-
Badge earners can explain why models and simulations have a limit of valid use and can explain the risks of fusing models and simulations outside those limits, can explain why models are developed for a specific purpose or use and provide examples, can use modeling and simulation tools and techniques to represent a system or element, can interpret and use outcomes of modeling and analysis, and can contribute to model development and interpretation. See Standard [4] INCOSE ISECF below.
-
Badge earners complete a course-long project. As part of this project, badge holders have designed an embedded or networked system with one or several abstract modeling languages (FSM, UML, SysML, etc.) and simulate the system to determine performance. Badge holders validate the system with a simulation software tool introduced in this class: such as Matlab Simulink/Stateflow, UML, SysML software tools. Badge holders have submitted a final report and their project source code.
Standards
A 21st Century Cyber-Physical Systems Education. Committee on 21st Century Cyber-Physical Systems Education; Computer Science and Telecommunications Board; Division on Engineering and Physical Sciences; National Academies of Sciences, Engineering, and Medicine. ISBN 978-0-309-45163-5 | DOI: 10.17226/23686.
SIAM APPLIED MATHEMATICS AT THE U.S. DEPARTMENT OF ENERGY: Past, Present and a View to the Future. A Report by an Independent Panel from the Applied Mathematics Research Community May 2008.
INCOSE Model-Based Enterprise Capabilities Matrix 2.0b Draft June 2019 r4. Joe Hale, NASA
INCOSE Systems Engineering Competency Framework. July 2018. INCOSE Technical Product Reference: INCOSE-TP-2018-002-01.0