modelLedChaser
Two-way LED chaser: one LED (Peripherals.LED) per pin GP0-GP7, laid out in a ring around the microcontroller, lit one at a time in the order GP0->GP3 (left) then GP7->GP4 (right), then the other way round
Extends from Modelica.Icons.Example (Icon for runnable examples).
Information
Demonstrator (outside the verification scenarios of requirements.md): eight Peripherals.LED, one per pin GP0-GP7, laid out in a ring around mcu (left column GP0→GP3 from top to bottom, right column GP4→GP7 from top to bottom). The script led_chaser.py lights a single LED at a time and makes it run along this ring (0,1,2,3,7,6,5,4 then back) — when replaying the animation of a simulation result in OMEdit, each LED lights up briefly in turn.