Industrial deployment of system engineering methods providing high dependability and productivity


Some NuSMV Experiments on the Mode Synchronization Protocol in DSAOCSS

Varpaaniemi, Kimmo (2012) Some NuSMV Experiments on the Mode Synchronization Protocol in DSAOCSS. Space Systems Finland Ltd. (Unpublished)

[img] Other (ModeSyncSBMCbyNuSMV.tar.gz)


A non-exhaustive collection of files on NuSMV experiments on the mode synchronization protocol in DSAOCSS. The "input files" are mpbase.smv,,,, and inc.txt.The file btc.txt and and all lmp??.txt files have been produced by that in turn needs mp??.smv files produced by mp??.smv files are not included in this archive because they are easily reproducible and because every mp??.smv is simply a concatenation of mpbase.smv and a single LTLSPEC line. The file gdbmp22.txt is an output of a debugging session and is included in order to support the conjecture that all segmentation fault messages in btc.txt are due to effective running out of memory in software where use of memory is not properly monitored.

Item Type:Other
Subjects:Industrial Deployment
Industrial Deployment > Space
ID Code:362
Deposited By: Dr. Kimmo Varpaaniemi
Deposited On:10 Jan 2012 11:33
Last Modified:16 Jan 2012 11:25

Repository Staff Only: item control page

Deploy-Project - All right reserved