• libFAUDES
• Reference  
• Type Index  
• Function Index  
• Literature  
•  
• Sections
• CoreFaudes  
  • CoreFaudes
  • Introduction
  • Generators
  • Alphabets
  • Reachability
  • Boolean Operations
  • Regular Expressions
  • Synchronous Composition
  • Projection
  • StateSet Conversion
  • Elementary Types
  • Miscellaneous
  • Vector Types
• CoordinationControl  
• Diagnosis  
  • Diagnosis
  • Introduction
  • Event-Diagnosis
  • Language-Diagnosis
  • Modular Diagnosis
  • Decentralized Diagnosis
  • Application Example
• Example  
• FaultTolerantControl  
  • FaultTolerantControl
  • Introduction
  • Example
  • Fault-Accommodation
  • Reconfiguration
  • Fault-Patterns
• HioSys  
  • HioSys
  • Introduction
  • Step-By-Step
  • Synthesis Procedure
  • Liveness Properties
  • Application Example
• Hybrid  
• IoSystem  
  • IoSystem
  • Introduction
  • Properties
  • Synthesis
• Multitasking  
  • Multitasking
  • Introduction
  • Functions
  • Observer
  • Optimal Color Set
  • Reachability
  • Synthesis
• Observer  
  • Observer
  • Introduction
  • Verification
  • Synthesis
  • Example
• Simulator  
  • Simulator
  • Introduction
  • Executor Classes
  • Hardware-In-The-Loop
  • IO-Devices
  • Simulator Interconnection
• Synthesis  
  • Synthesis
  • Introduction
  • Controllability
  • Normality
  • Omega-Controllability
  • Misc Functions
•  
• Functions
• AltAccessible  
•  

Example PlugIn

The example plug-in addresses developers who whish to integrate their functions and data-types with the libFAUDES [X1] build system. It uses an alternative implementation of the function Accessible() to illustrate the the following options:

• implementation of the respective algorithms via the libFAUDES C++ API; this includes technical documentation with doxygen tagged C++ code that integrates with the libFAUDES C++ API documentation;

• organisation of the C++ sources as libFAUDES plug-in; this step announces the source files to the build system.

• integration of the algorithm to the libFAUDES run-time interface; this step registers the new function in the function registry and introduces corresponding HTML documentation to the libFAUDES dictionary;

• automatic generation of corresponding luabindings using the interface egenerator swig; this step provides access to the new functions and data-types for luafaudes scripts;

The sources relevant for this example plug-in are discussed in plug-in how-to section of the developer pages.

Literature

For the purpose of demonstration only, we add a literature reference.

[X1] T. Moor, S. Perk, K. Schmidt: libFAUDES - An Open Source C++ Library for Discrete Event Systems, Workshop on Discrete Event Systems, Goeteborg, Sweden, 2008.

libFAUDES 2.32b --- 2024.03.01 --- with "synthesis-observer-observability-diagnosis-hiosys-iosystem-multitasking-coordinationcontrol-timed-simulator-iodevice-luabindings-hybrid-example-pybindings"