Model

Property

Satisfiability

Memory [MB]

Time [sec]

The number of states

Original:

Schedulability

yes

168

180

1220

Creation of co-tasks

yes

92

315

1220

Destruction of co-tasks

yes

154

233

1220

Frequency Management

yes

173

265

1220

Tile Management

yes

167

234

1220

Modified tasks:

Schedulability

no

105

10.2

91

Creation of co-tasks

yes

117

145

771

Destruction of co-tasks

yes

82

151

771

Frequency Management

yes

197

115

771

Tile Management

yes

135

107

771

Modified co-tasks:

Schedulability

yes

83

141

768

Creation of co-tasks

yes

85

183

768

Destruction of co-tasks

yes

86

191

768

Frequency Management

yes

104

141

768

Tile Management

yes

119

134

768