• 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_2_language.lua

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

--  Language diagnoser examples

-- ----------------------------------------------------------------
-- Example that fails to be lang.-diagnosable
-- ----------------------------------------------------------------

-- Report
print('diagnosis: lua tutorial 2')
print('diagnosis: language diagnosis example "system 2"')

-- Read input data
gen=faudes.System('data/diag_system_2_language.gen')
spec=faudes.Generator('data/diag_specification_2_language.gen')

-- Write input data (for HTML docu)
gen:Write("tmp_diag_system_2_language.gen") 
spec:Write("tmp_diag_specification_2_language.gen")

-- Run test
print('diagnosis: run language-diagnosability test (expect FAIL)')
ok=faudes.IsLanguageDiagnosable(gen,spec)

-- Report
if ok then
  print('diagnosis: System is diagnosable.')
else
  print('diagnosis: System is not diagnosable.')
end

-- Synthesise diagnoser
print('diagnosis: run language-diagnoser synthesis (unsuccessful diagnoser)')
diag=faudes.Diagnoser()
faudes.LanguageDiagnoser(gen,spec,diag)

-- Write result
diag:Write("tmp_diag_diagnoser_2.gen");

-- Record test case
FAUDES_TEST_DUMP("language sys 2",ok)
FAUDES_TEST_DUMP("language sys 2",diag)


-- ----------------------------------------------------------------
-- Example for abstraction based language diagnosability
-- ----------------------------------------------------------------

-- Report
print('diagnosis: abstraction based diagnosis')

-- Read input data
gen=faudes.System('data/diag_system_2_abstraction_fails.gen')
halph=faudes.EventSet('data/diag_abstrAlph_2_abstraction_fails.alph')

-- Write input data (for HTML docu)
gen:Write("tmp_diag_system_2_abstraction_fails.gen") 

-- Run test
print('diagnosis: run loop preserving test (expect FAIL)')
ok=faudes.IsLoopPreservingObserver(gen,halph)

-- Report
if ok then
  print('diagnosis: Alphabet is loop preserving.')
else
  print('diagnosis: Alphabet is not loop preserving.')
end

-- Construct high level alphabet
print('diagnosis: construct high level alphabet')
hhalph=faudes.EventSet()
faudes.LoopPreservingObserver(gen,halph,hhalph)

-- Report
print('diagnosis: new high level alphabet:')
hhalph:Write()

-- Record test case
FAUDES_TEST_DUMP("high alph",hhalph)

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