| |
luafaudes
Tutorials
|
luafaudes Tutorial: diag_1_event.luaTo run the below Lua script, cd to the tutorial section of the respective plugin and enter ./luafaudes diag_1_event.lua at the command prompt. The script will read input data from ./tutorial/data/. -- Diognoser synthesis example -- Report print('diagnosis: lua tutorial 1') print('diagnosis: event diagnosis example') -- Read nominal plant behaviour nomdyn = faudes.System('data/diag_system_3.gen') print('diagnosis: nominal plant dynamics from file') nomdyn:Write() -- Read failure partition and report fmap = faudes.FailureTypeMap('data/diag_failure_typemap_3.txt') print('diagnosis: failure type map from file') fmap:Write() -- Compute diagnoser print('diagnosis: diagnoser synthesis') diag=faudes.Diagnoser() faudes.ComputeEventDiagnoser(nomdyn,fmap,diag) -- Report result print('diagnosis: result') diag:Write() diag:GraphWrite('tmp_diagnoser_1_lua.svg') print('diagnosis: statistics (expect 5 states)') diag:SWrite() -- Record test case FAUDES_TEST_DUMP("diagnoser",diag) |
libFAUDES 2.14g --- 2009-12-3 --- plugins "example synthesis observer diagnosis hiosys multitasking timed simulator iodevice luabindings"