MBDlyb

Getting started

  • Introduction
    • Why model-based diagnostics?
    • The methodology
    • Example projects
    • Contact
  • Installation and start-up
    • Requirements
    • Installing the interface
    • Setting up Neo4j
    • Importing and exporting databases
    • Starting the interface
  • Tutorial: exploring the CD radio player
    • 1. Load the example
    • 2. The system and its structure
    • 3. Functions and their dependencies
    • 4. Operating modes
    • 5. Faults and custom states
    • 6. Observations and tests
    • 7. Check the model
    • 8. Diagnose a failure
    • 9. Analyse the design
    • Next steps
  • Tutorial: building a model from scratch
    • 1. Create the model
    • 2. CD reader and radio receiver
    • 3. Audio system
    • 4. Power system
      • Power board
      • Operating mode: battery or wall power
      • Battery, AC-DC converter and power cable
    • 5. Check the model
    • 6. Diagnose a failure
    • Next steps

Understanding the model

  • What is being modelled
    • Overview
    • Model elements
      • Clusters and names
      • Functions
      • Hardware and faults
      • Operating modes
      • Observables and observed errors
      • Diagnostic tests and results
    • Relations
      • Relation weights
      • Composite functions
    • States and conditional probability tables
    • From model to reasoning

Using the interface

  • The interface
    • Layout
    • Editor mode and Tree mode
      • Navigating in Editor mode
      • Navigating in Tree mode
    • The cluster toolbar
    • Tables
    • Settings
  • Building and editing models
    • Common principles
    • Clusters
      • Creating a cluster
      • Copying, moving and deleting clusters
      • The required-for matrix
    • Functions
      • Subfunctions
      • Required for
      • Observed by
    • Hardware
      • Realizes and affects
    • Observables
    • Diagnostic tests and test results
      • Tested items
    • Operating mode selectors
  • Conditional probability tables
    • When you need a custom CPT
    • Where to find the CPT buttons
    • The CPT editor
    • Exporting and importing CPTs
  • Modelling in Capella
    • Importing a Capella model
    • Diagnostic annotations
      • Custom states on a function
      • Inspectable hardware
      • Complete composites
      • Diagnostic tests
      • Direct observables
      • Observed errors
      • Functional exchanges that are not required
      • Fault rates
  • Importing and exporting
    • Importing a Capella model
    • Downloading the graph and Bayesian network
    • CPTs
    • Diagnosis results
  • Checking a model
  • The diagnoser
    • Starting the diagnoser
    • The page layout
    • Entering evidence
    • Evidence
    • Walkthrough: the CD player does not play
    • How tests are ranked
    • Soft evidence
  • Design for diagnostics
    • Running the analysis
    • Signatures
    • Diagnostic procedures
    • Overview

Reference

  • Glossary
  • Maintaining this documentation
    • Building the documentation
    • Code reference
    • Regenerating the screenshots

Developer reference

  • mbdlyb
    • Submodules
      • mbdlyb.base
      • mbdlyb.colormap
      • mbdlyb.cpt
      • mbdlyb.distributions
      • mbdlyb.evidence
      • mbdlyb.exceptions
      • mbdlyb.formalisms
      • mbdlyb.formulae
      • mbdlyb.fqn
      • mbdlyb.functional
      • mbdlyb.gdb
      • mbdlyb.io
      • mbdlyb.messages
      • mbdlyb.reasoner
  • mbdlyb_ui
    • Submodules
      • mbdlyb_ui.app
      • mbdlyb_ui.base
      • mbdlyb_ui.dialogs
      • mbdlyb_ui.functional
      • mbdlyb_ui.helpers
      • mbdlyb_ui.mermaid
      • mbdlyb_ui.utils
      • mbdlyb_ui.validation
MBDlyb
  • Search

© Copyright 2023 - 2026, TNO-ESI.

Built with Sphinx using a theme provided by Read the Docs.