Skip to main content
Ctrl+K

Eclipse S-CORE

  • LoLa / mw::com
  • Message Passing
  • Quality Reports
  • Contributing
  • S-CORE GitHub
  • LoLa / mw::com
  • Message Passing
  • Quality Reports
  • Contributing
  • S-CORE GitHub

Section Navigation

  • Message Passing
  • Dependable element: dependable_element_message_passing
    • Assumed System
      • Assumed System Requirements
      • Assumptions of Use
    • Software Architectural Level
      • Feature Requirements
      • Static Design
        • New Message Passing design
        • Private Api
        • Static Design
      • Public Api
      • message_passing_safety_analysis
    • Components
      • component_message_passing
        • Component Requirements
        • client_connection
        • server_connection
        • unix_domain
        • qnx_dispatch
    • Traceability
      • L.O.B.S.T.E.R. Traceability Report
        • Overview
        • Feature Requirements
        • Failure Modes
        • Component Requirements
        • Safety Measures
        • Public API
        • Architecture
        • Root Causes
        • Unit Test
  • Message Passing
  • Dependable element: dependable_element_message_passing
  • Software Architectural Level

Software Architectural Level#

  • Feature Requirements

Static Design#

  • Static Design

Public API#

  • Public Api

Dependability Analysis#

  • message_passing_safety_analysis

previous

Assumptions of Use

next

Feature Requirements
On this page
  • Static Design
  • Public API
  • Dependability Analysis
Show Source

Created using Sphinx 9.1.0.