• luafaudes
• Introduction  
• Lua-Console  
• Lua-Extensions  
• Technical Detail  
•  
• Tutorials
• 1_containers.lua  
• 2_generators.lua  
• 3_regular.lua  
• 4_composition.lua  
• 5_faulttolerant.lua  
• decdemo_verify.lua  
• diag_1_event.lua  
• diag_2_language.lua  
• diag_3_modular.lua  
• elevator_synthesis.lua  
• ftc_tutorial_models.lua  
• ftc_tutorial_reconf.lua  
• hio_1_introduction.lua  
• hio_2_hiogenerators.lua  
• hio_3_hiofunctions.lua  
• hio_4_transport_unit.lua  
• ios_1_system.lua  
• mtc_1_generators.lua  
• mtc_2_functions.lua  
• mtc_3_observer.lua  
• op_fsmsynth_ds.lua  
• op_fsmsynth_exit1.lua  
• op_fsmsynth_exit2.lua  
• op_fsmsynth_ics.lua  
• op_fsmsynth_ms.lua  
• op_fsmsynth_pc1.lua  
• op_fsmsynth_pc1_exit1_ics.lua  
• op_fsmsynth_pc2.lua  
• syn_1_simple.lua  
• syn_3_reduction.lua  
• syn_4_validate.lua  
• syn_5_stdcons.lua  

luafaudes Tutorial: diag_3_modular.lua

To run the below Lua script, cd to the tutorial section of the respective plug-in and enter luafaudes diag_3_modular.lua at the command prompt. The script will read input data from ./tutorial/data/.

--  Modular diognoser synthesis example (stackfeeder/conveyor belt)

-- Report
print('diagnosis: lua tutorial 3')
print('diagnosis: modular diagnosis example "system sf/c1"')


-- Report
print('diagnosis: a) reading input data')

-- Read nominal plant behaviours to a vector
plant = faudes.SystemVector()
plant:Name('Plant components')
plant:Append('data/diag_system_3_modular_sf.gen')
plant:Append('data/diag_system_3_modular_c1.gen')

-- Read language specification to a vector
spec = faudes.GeneratorVector();
spec:Name('Specifications per component')
spec:Append('data/diag_specification_3_modular_sf.gen')
spec:Append('data/diag_specification_3_modular_c1.gen')

-- Test modular diagnosability
print('diagnosis: b) testing modular diagnosability (expect PASS)')
ok=faudes.IsModularDiagnosable(plant,spec)

-- Report
if ok then
  print("The overall system G is modular diagnosable with respect to overall specification")
else
  print("The overall system G is *NOT* modular diagnosable with respect to overall specification")
end

-- Synthesize modular diagnosers
print('diagnosis: c) synthesising diagnoser moduls')
diag=faudes.GeneratorVector()
faudes.ModularDiagnoser(plant,spec,diag)

-- Report for inspection
print('diagnosis: writing graph output')
diag[0]:GraphWrite('tmp_demo_diagnoser_3_modul_sf.png')
diag[1]:GraphWrite('tmp_demo_diagnoser_3_modul_c1.png')


-- Record test case
FAUDES_TEST_DUMP("modular sys 3",ok)
FAUDES_TEST_DUMP("modular sys 3",diag)

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