Obsidian/300s School/ME 2150 - High Assurance Cyber-Physical Systems/ME 2150 - High Assurance Cyber-Physical Systems - README.md

Generated by ChatGPT on 2025-02-19

Table of Contents for ME 2150 - High Assurance Cyber-Physical Systems

Files

• 2025-01-09 Syllabus and Introduction.md
• 2025-01-14 Microkernels.md
• 2025-01-16 HACMS Program Overview.md
• 2025-02-18 Boyd Talk.md
• Capabilities Tutorials.md
• Investigating seL4 with Docker.md
• Lean.md
• ME 2150 - High-Assurance Cyber-Physical Systems Homework 1 Complete.md
• ME 2150 - High-Assurance Cyber-Physical Systems Homework 1.md
• 
• !Things That Need Done.md

Summary

This directory appears to be related to a course or project on "High Assurance Cyber-Physical Systems" (ME 2150). It seems to contain materials and notes from a university course, including syllabi, lecture notes, program overviews, tutorials, and assignments. The content suggests that the course focuses on designing and developing secure systems that integrate with physical components, likely in the context of cyber-physical systems.