Autoplay
Autocomplete
Previous Lesson
Complete and Continue
AI-Assisted RTOS Engineering
Introduction
Welcome(Same as Promo) (1:48)
Course Requirements
Setting Up the IDE
Downloading CubeIDE (2:34)
Installing CubeIDE (2:38)
Getting the required documentation (7:41)
Getting the required package for bare-metal development (21:19)
Testing the project setup (15:54)
Setting Up the AI-Assisted Development Environment
Setting Up VSCode (2:22)
Setting Up Our AI-Assited Workspace (5:04)
Programming: Enabling the AI Peer Programmer (2:11)
Programming: Setting Up the Extension for Vibe Coding Capabilities (2:17)
Integrating the FreeRTOS Realtime Kernel
Middleware and Other Resources
Programming: Creating the Workspace (2:03)
Programming: Integrating FreeRTOS into the Project (3:54)
Programming: Defining the Task Functions for Testing the Integration (5:59)
Programming: Creating the Tasks for Testing the Integration (3:19)
Programming: Testing the FreeRTOS Integration (8:22)
Project Structure and Build Baseline
Programming: Overview of the Project Tree for the AI-Assisted Development (4:43)
Programming: Implementing the Project Tree (3:24)
The Golden Reference
Programming: Analyzing the Driver Files of the Golden Reference(Pt.1) (7:48)
Programming: Analyzing the Driver Files of the Golden Reference(Pt.2) (5:51)
Programming: Analyzing the Driver Files of the Golden Reference(Pt.3) (7:27)
Programming: Analyzing the Golden Reference Log Module's Interface File (3:42)
Programming: Analyzing the Golden Reference Log Module's Implementation File (10:56)
Programming: Analyzing the Binding between the UART Module and the Logger (5:18)
Programming: Getting the Current Tick from FreeRTOS (5:21)
Programming: Configuring and Initializing the Golden Reference Modules for Testing (11:36)
Programming: Testing and Verifying the Golden Reference Modules (5:57)
Aligning the AI Assistant to Your Codebase Standard
Section Instructions for the AI-Assistant
Programming: Scanning and Generating Custom Instructions for Scope Alignement (15:28)
Programming: Opening the AI-Assistant workspace (4:07)
Overview of the FieldMonitor-RT
The Device Brief for FieldMonitor-RT (5:25)
Programming: Briefing the AI-Assistant on the FieldMonitor-RT Device (7:38)
AI-Assisted RTOS Engineering: The 'app_tasks' and 'app_test' Modules
Section Instructions for the AI-Assistant
Programming: Providing the Session Contract to the AI-Assistant (5:15)
Programming: Requesting the Proof Harness Patch from the AI-Assistant (5:07)
Programming: Instructing the AI-Assistant to Write the 'app_task' File (3:12)
Programming: Integrating the 'app_tests' and 'app_tasks' into 'main.c' (5:36)
Programming: Testing the Proof Harness on the Target (8:42)
Programming: Running Compliance Checks and Generating Docs (6:04)
The System Requirement Documents
Overview of the System Requirements (4:24)
Section Instructions for the AI-Assistant
Programming: Presenting the Device Brief to the AI-Assistant (7:44)
Programming: Setting the Session Contract (2:25)
Programming: Instructing the AI-Assistant to Provide the Device Overview .md File (9:45)
Programming: Instructing the AI-Assistant to Provide the Requirements .md File (7:34)
Programming: Instructing the AI-Assistant to Provide Architecture Brief .md File (7:52)
Programming: Instructing the AI-Assistant to Provide the Task Table .md File (11:50)
Programming: Instructing the AI-Assistant to Provide the Message Flow .md File (5:55)
Programming: Instructing the AI-Assistant to Provide the Feature Mapping .md File (3:27)
Programming: Instructing the AI-Assistant to Provide the Patch Plan .md File (3:50)
Programming: Instructing the AI-Assistant to Run a Cosistency Check and Quality Gate (2:06)
The Baseline Data Plane
Overview of the Baseline Data Plane Bring-up (2:22)
Section Instructions for the AI-Assistant
Programming: Device Brief and Session Contract (6:43)
Programming: Requesting the API Proposal- App Model Header (4:25)
Programming: Requesting the App Model Source Implementation (3:52)
Programming: Requesting the Baseline Tasks and Queue (7:50)
Programming: Requesting the Proof Harness (3:47)
Programming: Testing the Baseline Data Plane Bring-up(Pt.1) (16:24)
Programming: Testing the Baseline Data Plane Bring-up(Pt.2) (27:43)
Programming: Running Compliance and Generating Docs (6:52)
The Data Plane Hardening
Overview of Data Plane Hardening (3:33)
Section Instructions for the AI-Assistant
Programming: Providing the Session Brief and Device Contract (4:30)
Programming: API Proposal- Extending the App Model Contract (3:42)
Programming: Implementation Queue Policy Watermark and Latency in Tasks (7:44)
Programming: Requesting the Proof Harness for the Data Pipeline Hardening (8:29)
Programming: Testing the Pipeline Data Hardening on the Target (16:29)
Programming: Running Compliance and Generating Docs (3:57)
Handling Asynchronous Events
Overview of the Asynchronous Events (4:04)
Section Instructions for the AI-Assistant
Programming: Device Brief and Session Contract (6:42)
Programming: Platform IRQ Forwarders with Weak Hooks (4:32)
Programming: The App Events Header File (2:31)
Programming: App Events Implementation with Ringbuffer and ISR Handlers (4:35)
Programming: App Hook Wiring for IRQs (3:54)
Programming: The EXTI and UART Drivers for Asynchronous Events (6:08)
Programming: Event-Driven Command Handling (2:11)
Programming: Proof Harness for the Asynchronous Events Feature (2:54)
Programming: Building and Debugging the Project (8:20)
Programming: Running the Test on the Target and Analyzing the Results (15:33)
Programming: Running Compliance Check and Generating Docs (4:38)
Adding Mode Control with Event Groups
Overview of Mode Control with Event Groups (3:55)
Section Instructions for the AI-Assistant
Programming: Device Brief and Session Contract (4:55)
Programming: The Session Contract (2:32)
Programming: The API Proposal (2:54)
Programming: Mode Request and Task Control Integration (6:00)
Programming: Data Plane Gating in Sampler and Telemetry Tasks (6:57)
Programming: Requesting the Proof Harness for this Feature (5:01)
Programming: Cleaning Up the Test Module (12:25)
Programming: Requesting the Proof Harness for the Data Pipeline Hardening
Lesson content locked
If you're already enrolled,
you'll need to login
.
Enroll in Course to Unlock