• luafaudes
• Introduction  
• Lua-Console  
• Lua-Extensions  
• Technical Detail  
•  
• Tutorials
• 1_containers.lua  
• 2_generators.lua  
• 3_regular.lua  
• 4_composition.lua  
• 5_faulttolerant.lua  
• 6_algorithm.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: syn_5_stdcons.lua

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

-- Test cases for IsStdSynthesisConsistent

-- ------------------------------------------
-- test case A
-- ------------------------------------------

-- read plant incl attributes
plant  = faudes.System("data/syn_5_planta.gen")

-- prepare abstraction
sig_o  = plant:ObservableEvents()
plant_o = faudes.Generator()
faudes.Project(plant,sig_o,plant_o)

-- perform test
ssc = faudes.IsStdSynthesisConsistent(plant,plant_o)

-- report
if ssc then
  print("consistency case A: passed [expected]")
else
  print("consistency case A: failed [ERROR]")
end

-- graphical output for documentation
plant:Write("tmp_syn_5_planta.gen")
plant:GraphWrite("tmp_syn_5_planta.svg")
plant_o:Write("tmp_syn_5_planta0.gen")
plant_o:GraphWrite("tmp_syn_5_planta0.svg")

-- record testcase
FAUDES_TEST_DUMP("std consistency A",ssc)



-- ------------------------------------------
-- test case B
-- ------------------------------------------

-- read plant incl attributes
plant  = faudes.System("data/syn_5_plantb.gen")

-- prepare abstraction
sig_o  = plant:ObservableEvents()
plant_o = faudes.Generator()
faudes.Project(plant,sig_o,plant_o)

-- perform test
ssc = faudes.IsStdSynthesisConsistent(plant,plant_o)

-- report
if ssc then
  print("consistency case B: passed [ERROR]")
else
  print("consistency case B: failed [expected]")
end

-- graphical output for documentation
plant:Write("tmp_syn_5_plantb.gen")
plant:GraphWrite("tmp_syn_5_plantb.svg")
plant_o:Write("tmp_syn_5_plantb0.gen")
plant_o:GraphWrite("tmp_syn_5_plantb0.svg")

-- record
FAUDES_TEST_DUMP("std consistency B",ssc)

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