Dependable element: dependable_element_message_passing

• Assumed System
  • Assumed System Requirements
• Software Architectural Level
  • Feature Requirements
  • Static Design
    • Static Design
  • Dynamic Design
    • Dynamic Design
      • Client Server Async Integration
      • Server Client Internal Fault Sequence
      • Server Client Os Fault Sequence Linux
      • Server Client Os Fault Sequence Qnx
      • Server Client Sequence Linux
      • Server Client Sequence Qnx
  • Public API
    • Public Api
  • Internal API
    • Private Api
  • Dependability Analysis
    • message_passing_safety_analysis
      • Overview
      • Failure Modes
      • Fault Trees
        • fta_connection_context_data_wrong.puml
        • fta_ipc_api_misuse_or_lifecycle_violation.puml
        • fta_ipc_channel_unavailable.puml
        • fta_message_not_delivered_correctly.puml
        • fta_message_timing_violated.puml
        • fta_notification_not_delivered.puml
        • fta_server_message_handling_failure.puml
        • fta_state_machine_error.puml
      • Safety Measures
• Components
  • //score/message_passing/dependability:component_message_passing
    • Component Requirements
      • Component Requirements
        • Platform Requirements
        • Behaviour Requirements
        • API Requirements
        • Server Unit Requirements
        • Client Unit Requirements (client_connection)
    • Units
      • //score/message_passing:client_connection
        • Implementation
        • Tests
      • //score/message_passing:unix_domain_client_factory
        • Implementation
      • //score/message_passing:qnx_dispatch_client_factory
      • //score/message_passing:unix_domain_engine
        • Implementation
      • //score/message_passing:qnx_dispatch_engine
      • //score/message_passing:unix_domain_server
        • Implementation
        • Tests
      • //score/message_passing:qnx_dispatch_server
      • //score/message_passing:unix_domain_server_factory
        • Implementation
      • //score/message_passing:qnx_dispatch_server_factory
• Traceability
  • L.O.B.S.T.E.R. Traceability Report

Submodules

This module includes the following submodules:

• //third_party/score_baselibs:bitmanipulation

• //third_party/score_baselibs:containers

• //third_party/score_baselibs:futurecpp

• //third_party/score_baselibs:os