clusters.aeb

Model-only parent example for automated emergency braking. It declares the AEB cluster as the upper model boundary, with typed ROS-like topics, decomposition into perception and reaction components, requirement allocation, top-level failure effects, and end-to-end behavioral tests.

Model Checking Summary

All severities: 53 total / 53 without filed issue · Critical: 0 total / 0 without filed issue · High: 34 total / 34 without filed issue · Moderate: 19 total / 19 without filed issue · Low: 0 total / 0 without filed issue

STIG Task Problems

Build Provenance

  • Project version: 0.1.0-SNAPSHOT

  • STIG version: 4.5.0

Source Repositories

Packages

Link copied to clipboard

This package contains generated flow and complexity views.

Link copied to clipboard

Defines a complete automated-emergency-braking boundary and its two child components.

Link copied to clipboard

Defines five vehicle-observable requirements for the AEB cluster:

Link copied to clipboard

Issues

Filed issues in external tracking systems

0 filed issues are referenced in this scope. Open the full table to filter tickets and view their current Jira status.

Open all filed issues