FaultGenerate.cc File Reference

#include <iostream>
#include <sstream>
#include <fstream>
#include <string>
#include <map>
#include <list>
#include <cmath>
#include <utils/Random.hh>
#include <utils/Verbose.hh>
#include <utils/Log.hh>
#include <utils/CmdInterface.hh>
#include <automata/ObservableComponent.hh>

Go to the source code of this file.

Enumerations
enum	Option {   OUTPUT =0, VERBOSE =1, EVENTS =2, NOTEVENTS =3,   HELP =4, STATEABSTRACTIONS = 5, EVENT = 0, HELP = 1,   OUTPUT =0, HELP = 0, EVENTS = 1, EVENTNB = 2,   STATES = 3, STATENB = 4, TRANSITIONS = 5, TRANSITIONNB = 6,   OBSERVABLES = 7, OBSERVABLENB = 8, UNOBSERVABLES = 9, UNOBSERVABLENB =10,   INITIALSTATES = 11, INITIALSTATENB = 12, NAME = 13, STATISTICS = 14,   STATEMIN = 0, STATEMAX = 1, OBSMIN = 2, OBSMAX = 3,   EVTMIN = 4, EVTMAX = 5, SEED = 6, DIRNAME = 7,   LATEXFILENAME = 8, TOPOLOGYFILENAME = 9, OBSINTERACTIONMIN = 10, OBSINTERACTIONMAX = 11,   NODEBEHAVIOUR = 12, HELP = 13, OUTPUTDEGREEMAX = 14, PETRINET = 15,   STATISTICS =0, HELP =1, FAULTS = 2, NOFAILURES =0,   FAILURES =1, OBSERVABLES =2, HDFILE =3, DOTFILE =4,   CPPFILE =5, WITHSILENTCLOSURE =6, HELP =7, FAULTMAX =0,   SEED =1, HELP =2, HELP =0, FAULTS = 0,   ALGORITHMS = 1, HELP = 0, EVENTS = 1, TIMEDEVENTS = 2,   OBSERVATIONS = 3, TIMEDOBSERVATIONS = 4, FAULTS = 5, OBSMIN = 0,   OBSMAX = 1, TIMEMIN = 2, TIMEMAX = 3, NOEVT = 4,   SEED = 5, XML = 6, GENERATEFAULTS = 7, HELP = 8,   INTERACTIVE = 9, PTALOG = 10, NBSIM = 11, HELP =0,   COMPONENTS =0, EVENTS =1, NUMBER =2, CONNECTIONWITHEVENT =3,   HELP =4 }
enum	FileExtension {   DESCOMP =0, DESCOMP =0, RULES =1, DESCOMP =0,   DESCOMP =0, RULES =1, XML =2, ABSTRACTION = 3,   DIAGNOSER = 4, DESCOMP =0, ARCHV = 0, DESCOMP =0,   RULES =1, XML =2, DESCOMP = 0, RULES = 1,   XML =0, RULES =0 }

Functions
vector< string >	fileExtensions (numberOfFileExtensions)
vector< string >	options (numberOfOptions)
vector< bool >	isSet (numberOfOptions, false)
void	initialiseOptions ()
int	main (int argc, char **argv)

Variables
unsigned	numberOfOptions = 3
unsigned	numberOfFileExtensions = 1
string	description ="Usage: dd-fault-generate\n\t --help |\n\t [--seed randomSeed] [--faultMax nbFaultMax] [file1.des_comp ...] \n\n\t Generate randomly a set of fault events out of the models. If no model file is\n\t provided as argument, read the input standard. The set of chosen faults\n\t is printed on the standard output."

Detailed Description

This file is the main file of the command dd-fault-generate

Usage:  dd-fault-generate
--help |
[--seed randomSeed] [--faultMax nbFaultMax] [file1.des_comp ...]  

Generate randomly a set of fault events out of the models. If
no model file is provided as argument, read the input standard.
The set of chosen faults is printed on the standard output.

Author

Yannick Pencole - LAAS CNRS

Version

0.1

Definition in file FaultGenerate.cc.

Enumeration Type Documentation

FileExtension

enum FileExtension

Enumerator
DESCOMP
DESCOMP
RULES
DESCOMP
DESCOMP
RULES
XML
ABSTRACTION
DIAGNOSER
DESCOMP
ARCHV
DESCOMP
RULES
XML
DESCOMP
RULES
XML
RULES

Definition at line 42 of file FaultGenerate.cc.

Option

enum Option

Enumerator
OUTPUT
VERBOSE
EVENTS
NOTEVENTS
HELP
STATEABSTRACTIONS
EVENT
HELP
OUTPUT
HELP
EVENTS
EVENTNB
STATES
STATENB
TRANSITIONS
TRANSITIONNB
OBSERVABLES
OBSERVABLENB
UNOBSERVABLES
UNOBSERVABLENB
INITIALSTATES
INITIALSTATENB
NAME
STATISTICS
STATEMIN
STATEMAX
OBSMIN
OBSMAX
EVTMIN
EVTMAX
SEED
DIRNAME
LATEXFILENAME
TOPOLOGYFILENAME
OBSINTERACTIONMIN
OBSINTERACTIONMAX
NODEBEHAVIOUR
HELP
OUTPUTDEGREEMAX
PETRINET
STATISTICS
HELP
FAULTS
NOFAILURES
FAILURES
OBSERVABLES
HDFILE
DOTFILE
CPPFILE
WITHSILENTCLOSURE
HELP
FAULTMAX
SEED
HELP
HELP
FAULTS
ALGORITHMS
HELP
EVENTS
TIMEDEVENTS
OBSERVATIONS
TIMEDOBSERVATIONS
FAULTS
OBSMIN
OBSMAX
TIMEMIN
TIMEMAX
NOEVT
SEED
XML
GENERATEFAULTS
HELP
INTERACTIVE
PTALOG
NBSIM
HELP
COMPONENTS
EVENTS
NUMBER
CONNECTIONWITHEVENT
HELP

Definition at line 41 of file FaultGenerate.cc.

Function Documentation

fileExtensions()

vector<string> fileExtensions

(

numberOfFileExtensions

)

Referenced by initialiseOptions(), and main().

initialiseOptions()

void initialiseOptions

(

)

Definition at line 55 of file FaultGenerate.cc.

References DESCOMP, FAULTMAX, fileExtensions(), HELP, options(), and SEED.

Referenced by main().

isSet()

vector<bool> isSet	(	numberOfOptions	,
		false
	)

Referenced by main().

main()

int main	(	int	argc,
		char **	argv
	)

Main function of the program des_generate

Basically, this function analyses the parameters to initiate the generation Then it calls the generator of shared events, then the generator of behaviours Write the results in output files.

Parameters

argc	the number of parameters
argv	the list of parameters

Returns

0 if success

Definition at line 77 of file FaultGenerate.cc.

References DESCOMP, description, Diades::Automata::Component::eventBegin(), Diades::Automata::Component::eventEnd(), FAULTMAX, fileExtensions(), Diades::Utils::generateRandomValue(), Diades::Utils::getFileExtension(), HELP, Diades::Automata::Component::importDesCompModel(), initialiseOptions(), initialiseRandomGenerator(), Diades::Utils::initialiseSeed(), isSet(), Diades::Automata::ObservableMask::isUnobservable(), Diades::Automata::ObservableComponent::mask(), options(), printError(), printUsage(), SEED, and Diades::Utils::selectNValues().

options()

vector<string> options

(

numberOfOptions

)

Referenced by initialiseOptions(), and main().

Variable Documentation

description

string description ="Usage: dd-fault-generate\n\t --help |\n\t [--seed randomSeed] [--faultMax nbFaultMax] [file1.des_comp ...] \n\n\t Generate randomly a set of fault events out of the models. If no model file is\n\t provided as argument, read the input standard. The set of chosen faults\n\t is printed on the standard output."

Definition at line 52 of file FaultGenerate.cc.

Referenced by main().

numberOfFileExtensions

unsigned numberOfFileExtensions = 1

Definition at line 45 of file FaultGenerate.cc.

numberOfOptions

unsigned numberOfOptions = 3

Definition at line 44 of file FaultGenerate.cc.