Skip to content

Commit 8e8a0b8

Browse files
committed
process: delete ASIL_D option. Add testcases
Ref: closes #102
1 parent c2210d7 commit 8e8a0b8

4 files changed

Lines changed: 384 additions & 42 deletions

File tree

src/extensions/score_metamodel/BUILD

Lines changed: 0 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -32,10 +32,6 @@ score_py_pytest(
3232
name = "score_metamodel_tests",
3333
size = "small",
3434
srcs = glob(["tests/*.py"]),
35-
args = [
36-
"-s",
37-
"-vv",
38-
],
3935
# All requirements already in the library so no need to have it double
4036
data = ["//src:test_rst_files"] + glob(
4137
["tests/**/*.rst"],

src/extensions/score_metamodel/metamodel.yaml

Lines changed: 18 additions & 18 deletions
Original file line numberDiff line numberDiff line change
@@ -188,7 +188,7 @@ needs_types:
188188
id: ^doc__[0-9a-z_]*$
189189
status: ^(valid|draft|invalid)$
190190
optional_options:
191-
safety: "^(QM|ASIL_B|ASIL_D)$"
191+
safety: "^(QM|ASIL_B)$"
192192
security: "^(YES|NO)$"
193193
realizes: "^wp__.+$"
194194

@@ -201,7 +201,7 @@ needs_types:
201201
id: ^stkh_req__[0-9a-z_]*$
202202
# req-Id: tool_req__docs_req_attr_reqtype
203203
reqtype: ^(Functional|Interface|Process|Legal|Non-Functional)$
204-
safety: ^(QM|ASIL_B|ASIL_D)$
204+
safety: ^(QM|ASIL_B)$
205205
status: ^(valid|invalid)$
206206
# req-Id: tool_req__docs_req_attr_rationale
207207
rationale: ^.+$
@@ -225,7 +225,7 @@ needs_types:
225225
# req-Id: tool_req__docs_req_attr_reqtype
226226
reqtype: ^(Functional|Interface|Process|Legal|Non-Functional)$
227227
security: ^(YES|NO)$
228-
safety: ^(QM|ASIL_B|ASIL_D)$
228+
safety: ^(QM|ASIL_B)$
229229
status: ^(valid|invalid)$
230230
mandatory_links:
231231
# req-Id: tool_req__docs_req_link_satisfies_allowed
@@ -248,7 +248,7 @@ needs_types:
248248
# req-Id: tool_req__docs_req_attr_reqtype
249249
reqtype: ^(Functional|Interface|Process|Legal|Non-Functional)$
250250
security: ^(YES|NO)$
251-
safety: ^(QM|ASIL_B|ASIL_D)$
251+
safety: ^(QM|ASIL_B)$
252252
status: ^(valid|invalid)$
253253
mandatory_links:
254254
# req-Id: tool_req__docs_req_link_satisfies_allowed
@@ -269,7 +269,7 @@ needs_types:
269269
mandatory_options:
270270
id: ^tool_req__[0-9a-z_]*$
271271
security: ^(YES|NO)$
272-
safety: ^(QM|ASIL_B|ASIL_D)$
272+
safety: ^(QM|ASIL_B)$
273273
status: ^(valid|invalid)$
274274
optional_links:
275275
# req-Id: tool_req__docs_req_link_satisfies_allowed
@@ -298,7 +298,7 @@ needs_types:
298298
# req-Id: tool_req__docs_req_attr_reqtype
299299
reqtype: ^(Functional|Interface|Process|Legal|Non-Functional)$
300300
security: ^(YES|NO)$
301-
safety: ^(QM|ASIL_B|ASIL_D)$
301+
safety: ^(QM|ASIL_B)$
302302
status: ^(valid|invalid)$
303303
optional_options:
304304
codelink: ^.*$
@@ -321,7 +321,7 @@ needs_types:
321321
mandatory_options:
322322
id: ^feat_arc_sta__[0-9a-z_]+$
323323
security: ^(YES|NO)$
324-
safety: ^(QM|ASIL_B|ASIL_D)$
324+
safety: ^(QM|ASIL_B)$
325325
status: ^(valid|invalid)$
326326
mandatory_links:
327327
includes: ^logic_arc_int(_op)*__.+$
@@ -336,7 +336,7 @@ needs_types:
336336
mandatory_options:
337337
id: ^feat_arc_dyn__[0-9a-z_]+$
338338
security: ^(YES|NO)$
339-
safety: ^(QM|ASIL_B|ASIL_D)$
339+
safety: ^(QM|ASIL_B)$
340340
status: ^(valid|invalid)$
341341
mandatory_links:
342342
fulfils: ^feat_req__.+$
@@ -349,7 +349,7 @@ needs_types:
349349
mandatory_options:
350350
id: ^logic_arc_int__[0-9a-z_]+$
351351
security: ^(YES|NO)$
352-
safety: ^(QM|ASIL_B|ASIL_D)$
352+
safety: ^(QM|ASIL_B)$
353353
status: ^(valid|invalid)$
354354
optional_links:
355355
includes: ^logic_arc_int_op__.+$
@@ -363,7 +363,7 @@ needs_types:
363363
mandatory_options:
364364
id: ^logic_arc_int_op__[0-9a-z_]+$
365365
security: ^(YES|NO)$
366-
safety: ^(QM|ASIL_B|ASIL_D)$
366+
safety: ^(QM|ASIL_B)$
367367
status: ^(valid|invalid)$
368368
mandatory_links:
369369
included_by: ^logic_arc_int__.+$
@@ -394,7 +394,7 @@ needs_types:
394394
mandatory_options:
395395
id: ^comp_arc_sta__[0-9a-z_]+$
396396
security: ^(YES|NO)$
397-
safety: ^(QM|ASIL_B|ASIL_D)$
397+
safety: ^(QM|ASIL_B)$
398398
status: ^(valid|invalid)$
399399
optional_links:
400400
implements: ^real_arc_int(_op)*__.+$
@@ -410,7 +410,7 @@ needs_types:
410410
mandatory_options:
411411
id: ^comp_arc_dyn__[0-9a-z_]+$
412412
security: ^(YES|NO)$
413-
safety: ^(QM|ASIL_B|ASIL_D)$
413+
safety: ^(QM|ASIL_B)$
414414
status: ^(valid|invalid)$
415415
optional_links:
416416
fulfils: ^comp_req__.+$
@@ -423,7 +423,7 @@ needs_types:
423423
mandatory_options:
424424
id: ^real_arc_int__[0-9a-z_]+$
425425
security: ^(YES|NO)$
426-
safety: ^(QM|ASIL_B|ASIL_D)$
426+
safety: ^(QM|ASIL_B)$
427427
status: ^(valid|invalid)$
428428
language: ^(cpp|rust)$
429429
optional_links:
@@ -437,7 +437,7 @@ needs_types:
437437
mandatory_options:
438438
id: ^real_arc_int_op__[0-9a-z_]+$
439439
security: ^(YES|NO)$
440-
safety: ^(QM|ASIL_B|ASIL_D)$
440+
safety: ^(QM|ASIL_B)$
441441
status: ^(valid|invalid)$
442442
mandatory_links:
443443
included_by: ^real_arc_int__.+$
@@ -463,7 +463,7 @@ needs_types:
463463
mandatory_options:
464464
id: ^dd_sta__[0-9a-z_]*$
465465
security: ^(YES|NO)$
466-
safety: ^(QM|ASIL_B|ASIL_D)$
466+
safety: ^(QM|ASIL_B)$
467467
status: ^(valid|invalid)$
468468
mandatory_links:
469469
implements: ^comp_req__.*$
@@ -479,7 +479,7 @@ needs_types:
479479
mandatory_options:
480480
id: ^dd_dyn__[0-9a-z_]*$
481481
security: ^(YES|NO)$
482-
safety: ^(QM|ASIL_B|ASIL_D)$
482+
safety: ^(QM|ASIL_B)$
483483
status: ^(valid|invalid)$
484484
mandatory_links:
485485
implements: ^comp_req__.*$
@@ -491,7 +491,7 @@ needs_types:
491491
mandatory_options:
492492
id: ^sw_unit__[0-9a-z_]*$
493493
security: ^(YES|NO)$
494-
safety: ^(QM|ASIL_B|ASIL_D)$
494+
safety: ^(QM|ASIL_B)$
495495
status: ^(valid|invalid)$
496496
sw_unit_int:
497497
title: Software unit interfaces
@@ -501,7 +501,7 @@ needs_types:
501501
mandatory_options:
502502
id: ^sw_unit_int__[0-9a-z_]*$
503503
security: ^(YES|NO)$
504-
safety: ^(QM|ASIL_B|ASIL_D)$
504+
safety: ^(QM|ASIL_B)$
505505
status: ^(valid|invalid)$
506506

507507
# Safety Analysis DFA

0 commit comments

Comments
 (0)