Scientific Reports

Table 1 Summary of experimental Data.

From: Verification of temporal consistency constraints in the evolution of software for intelligent unmanned systems driven by model checking

model	Evolve before adding				Evolve after adding
model	States	R/V memory	Time(s)	Limit	States	R/V memory	Time(s)	Limit
SM	TT_SM	14.2/53.0	0.005	CT	TT_SM	14.2/53.0	0.005	CT
DPM	TT_DPM	14.3/53.5	0.008	CT	TT_DPM	14.3/53.5	0.008	CT
PPM	TT_PPM	14.3/53.3	0.026	CT	TT_PPM	14.3/53.3	0.026	CT
BDM	TT_BDM	null	null	null	TT_BDM	14.2/52.9	0.052	CT
ECM	TT_ECM	14.3/53.4	0.048	CT	TT_ECM	14.3/53.4	0.048	CT
OAM	TT_OAM	14.3/53.6	0.006	CT	TT_OAM	14.3/53.6	0.006	CT
TC	TT_TC	14.4/53.7	0.048	CT	TT_TC	14.4/53.7	0.052	NCT

model	Evolved before modification				Evolved after modification
model	states	R/V memory	Time(s)	Limit	states	R/V memory	Time(s)	Limit
SM	TT_SM	14.2/53.0	0.005	CT	TT_SM	14.3/53.5	0.005	CT
DPM	TT_DPM	14.3/53.5	0.009	CT	TT_DPM	14.2/54.1	0.009	CT
PPM	TT_PPM	14.3/53.3	0.025	CT	TT_PPM	14.3/53.4	0.024	CT
ECM	TT_ECM	14.3/53.4	0.047	CT	TT_ECM	14.3/53.6	0.046	CT
OAM	TT_OAM	14.3/53.6	0.008	CT	TT_OAM	14.3/53.8	0.008	CT
TC	TT_TC	14.4/53.7	0.047	CT	TT_TC	14.5/54.5	0.046	CT

model	Evolve before deletion				Evolve after deletion
model	states	R/V memory	Time(s)	Limit	states	R/V memory	Time(s)	Limit
SM	TT_SM	14.2/53.0	0.005	CT	TT_SM	14.1/52.7	0.002	CT
DPM	TT_DPM	14.3/53.5	0.012	CT	TT_DPM	14.2/53.1	0.008	CT
PPM	TT_PPM	14.3/53.3	0.026	CT	TT_PPM	14.5/54.2	0.021	CT
ECM	TT_ECM	14.3/53.4	0.048	CT	TT_ECM	14.3/53.5	0.043	CT
OAM	TT_OAM	14.3/53.6	0.007	CT	TT_OAM	14.4/53.7	0.007	CT
TC	TT_TC	14.4/53.7	0.048	CT	TT_TC	14.2/52.8	0.043	CT

Back to article page

Search

Advanced search

Quick links