Skip to main content
Ctrl+K

Eclipse S-CORE

  • Features
  • Lifecycle Module
  • Verification Report
  • Component documentation
  • Release notes
  • GitHub
  • Features
  • Lifecycle Module
  • Verification Report
  • Component documentation
  • Release notes
  • GitHub

Section Navigation

  • Launch Manager
    • Lifecycle Product Documentation
    • Requirements
    • Component Architecture
    • Detailed Design
      • Detailed Design for Component: Launch Manager, Graph Functionality
      • Implementation Inspection Checklist
    • FMEA (Failure Modes and Effects Analysis)
    • DFA (Dependent Failure Analysis)
    • AoU Component Requirements Template
    • Interfaces documentation
  • HealthMonitor
  • Component documentation
  • Launch Manager
  • Detailed Design

Detailed Design#

Launch Manager Detailed Design
status: draft
security: NO
safety: ASIL_B
version: 1
realizes: wp__sw_implementation
doc__launch_manager_detailed_design
Generic Document

Detailed design#

The detailed design is split by functionality:

  • Detailed Design for Component: Launch Manager, Graph Functionality
    • Description
    • Dynamic Diagrams for Unit Interactions
      • Graph State Machine
      • Component Activation
      • Component Deactivation
      • Process Termination
      • Supervision Failure
      • Run Target transition
      • Transition cancellation / preemption
    • Units within the Component

Inspection Checklist#

The checklist for verification of the detailed design and code can be found here:

  • Implementation Inspection Checklist
    • Purpose
    • Conduct
    • Checklist

previous

Architecture Inspection Checklist

next

Detailed Design for Component: Launch Manager, Graph Functionality

On this page
  • Detailed design
  • Inspection Checklist
Edit on GitHub

Created using Sphinx 9.1.1.

Built with the PyData Sphinx Theme 0.23.0.