pulling SRI-SS.sadl into the core data model

ge-high-assurance · Mar 28, 2023 · bdbed21 · bdbed21
1 parent a0cd804
commit bdbed21
Show file tree

Hide file tree

Showing 6 changed files with 368 additions and 374 deletions.
diff --git a/RACK-Ontology/ontology/GeneratePropInfoCSV.sadl b/RACK-Ontology/ontology/GeneratePropInfoCSV.sadl
@@ -23,7 +23,7 @@ import "http://arcos.rack/MODEL".
 import "http://arcos.rack/PROCESS".
 import "http://arcos.rack/REQUIREMENTS".
 import "http://arcos.rack/REVIEW".
-import "http://arcos.rack/SECURITY".
+import "http://arcos.rack/SAFETY-SECURITY".
 import "http://arcos.rack/SOFTWARE".
 import "http://arcos.rack/SYSTEM".
 import "http://arcos.rack/TESTING".

diff --git a/RACK-Ontology/ontology/REQUIREMENTS.sadl b/RACK-Ontology/ontology/REQUIREMENTS.sadl
@@ -38,6 +38,14 @@ REQUIREMENT
 
 	wasGeneratedBy of REQUIREMENT only has values of type REQUIREMENT_DEVELOPMENT.
 
+// DB 2/27/22: Added new class RequirementSet with common properties for all types of requirement sets
+REQUIREMENT_SET 
+	(note "a set of requirements that together defines the required behavior of a SYSTEM (or part thereof)")
+	is a type of COLLECTION.
+	content of REQUIREMENT_SET only has values of type REQUIREMENT.
+	// note: 'specifies' is not a subtype of 'wasImpactedBy, which has the reverse meaning. RequirementSet occurs before the SYSTEM is constructed.
+	specifies (note "the system or component this requirement set governs/specifies") describes REQUIREMENT_SET with values of type ENTITY.
+
 DATA_DICTIONARY_TERM
 	(note "Defines some conceptual data that may be collected somewhere and used somewhere else")
 	is a type of ENTITY.