Skip to content

Commit

Permalink
updated HEPS GSN patterns
Browse files Browse the repository at this point in the history
  • Loading branch information
pauls4GE committed Jul 8, 2024
1 parent 018026d commit 6be4766
Show file tree
Hide file tree
Showing 43 changed files with 10,085 additions and 405 deletions.

Large diffs are not rendered by default.

Original file line number Diff line number Diff line change
@@ -0,0 +1,35 @@
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:j.0="http://arcos.rack/PROV-S#"
xmlns:builtinfunctions="http://sadl.org/builtinfunctions#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:sadlimplicitmodel="http://sadl.org/sadlimplicitmodel#"
xmlns:p1core="http://sadl.org/PLAN-CORE-Process1.sadl#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:sadlbasemodel="http://sadl.org/sadlbasemodel#"
xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
xmlns:dapcore="http://sadl.org/PLAN-CORE.sadl#">
<owl:Ontology rdf:about="http://sadl.org/PLAN-CORE-Process1.sadl">
<owl:imports rdf:resource="http://sadl.org/PLAN-CORE.sadl"/>
<owl:imports rdf:resource="http://sadl.org/builtinfunctions"/>
<owl:imports rdf:resource="http://sadl.org/sadlimplicitmodel"/>
<owl:imports rdf:resource="http://sadl.org/sadlbasemodel"/>
<rdfs:comment xml:lang="en">This ontology was created from a SADL file 'PLAN-CORE-Process1.sadl' and should not be directly edited.</rdfs:comment>
</owl:Ontology>
<dapcore:Process rdf:about="http://sadl.org/PLAN-CORE-Process1.sadl#Process-1">
<dapcore:objective>
<dapcore:Objective rdf:about="http://sadl.org/PLAN-CORE-Process1.sadl#Objective-1-2">
<j.0:description>Transition criteria and interrelationship among processes are defined. </j.0:description>
<j.0:identifier>Objective-1-2</j.0:identifier>
</dapcore:Objective>
</dapcore:objective>
<dapcore:objective>
<dapcore:Objective rdf:about="http://sadl.org/PLAN-CORE-Process1.sadl#Objective-1-1">
<j.0:description>System development and integral processes activities are defined </j.0:description>
<j.0:identifier>Objective-1-1</j.0:identifier>
</dapcore:Objective>
</dapcore:objective>
<j.0:description>Planning Process</j.0:description>
<j.0:identifier>Process-1</j.0:identifier>
</dapcore:Process>
</rdf:RDF>
Original file line number Diff line number Diff line change
@@ -0,0 +1,65 @@
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:p2core="http://sadl.org/PLAN-CORE-Process2.sadl#"
xmlns:j.0="http://arcos.rack/PROV-S#"
xmlns:builtinfunctions="http://sadl.org/builtinfunctions#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:sadlimplicitmodel="http://sadl.org/sadlimplicitmodel#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:sadlbasemodel="http://sadl.org/sadlbasemodel#"
xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
xmlns:dapcore="http://sadl.org/PLAN-CORE.sadl#">
<owl:Ontology rdf:about="http://sadl.org/PLAN-CORE-Process2.sadl">
<owl:imports rdf:resource="http://sadl.org/PLAN-CORE.sadl"/>
<owl:imports rdf:resource="http://sadl.org/builtinfunctions"/>
<owl:imports rdf:resource="http://sadl.org/sadlimplicitmodel"/>
<owl:imports rdf:resource="http://sadl.org/sadlbasemodel"/>
<rdfs:comment xml:lang="en">This ontology was created from a SADL file 'PLAN-CORE-Process2.sadl' and should not be directly edited.</rdfs:comment>
</owl:Ontology>
<dapcore:Process rdf:about="http://sadl.org/PLAN-CORE-Process2.sadl#Process-2">
<j.0:identifier>Process-2</j.0:identifier>
<dapcore:objective>
<dapcore:Objective rdf:about="http://sadl.org/PLAN-CORE-Process2.sadl#Objective-2-2">
<j.0:description>Aircraft functions are allocated to systems </j.0:description>
<j.0:identifier>Objective-2-2</j.0:identifier>
</dapcore:Objective>
</dapcore:objective>
<dapcore:objective>
<dapcore:Objective rdf:about="http://sadl.org/PLAN-CORE-Process2.sadl#Objective-2-1">
<j.0:description>Aircraft-level functions, functional requirement, functional interfaces and assumptions are defined </j.0:description>
<j.0:identifier>Objective-2-1</j.0:identifier>
</dapcore:Objective>
</dapcore:objective>
<dapcore:objective>
<dapcore:Objective rdf:about="http://sadl.org/PLAN-CORE-Process2.sadl#Objective-2-4">
<j.0:description>System derived requirements (including derived safety-related requirements) are defined and rationale explained</j.0:description>
<j.0:identifier>Objective-2-4</j.0:identifier>
</dapcore:Objective>
</dapcore:objective>
<dapcore:objective>
<dapcore:Objective rdf:about="http://sadl.org/PLAN-CORE-Process2.sadl#Objective-2-3">
<j.0:description>System requirements, including assumptions and system interfaces are defined. </j.0:description>
<j.0:identifier>Objective-2-3</j.0:identifier>
</dapcore:Objective>
</dapcore:objective>
<dapcore:objective>
<dapcore:Objective rdf:about="http://sadl.org/PLAN-CORE-Process2.sadl#Objective-2-6">
<j.0:description>System requirements are allocated to the items.</j.0:description>
<j.0:identifier>Objective-2-6</j.0:identifier>
</dapcore:Objective>
</dapcore:objective>
<dapcore:objective>
<dapcore:Objective rdf:about="http://sadl.org/PLAN-CORE-Process2.sadl#Objective-2-5">
<j.0:description>System architecture is defined.</j.0:description>
<j.0:identifier>Objective-2-5</j.0:identifier>
</dapcore:Objective>
</dapcore:objective>
<j.0:description>Aircraft and System Development Process and Requirements Capture </j.0:description>
<dapcore:objective>
<dapcore:Objective rdf:about="http://sadl.org/PLAN-CORE-Process2.sadl#Objective-2-7">
<j.0:description>Appropriate item, system and aircraft integrations are performed. </j.0:description>
<j.0:identifier>Objective-2-7</j.0:identifier>
</dapcore:Objective>
</dapcore:objective>
</dapcore:Process>
</rdf:RDF>
Original file line number Diff line number Diff line change
@@ -0,0 +1,23 @@
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:j.0="http://arcos.rack/PROV-S#"
xmlns:builtinfunctions="http://sadl.org/builtinfunctions#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:sadlimplicitmodel="http://sadl.org/sadlimplicitmodel#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:p3core="http://sadl.org/PLAN-CORE-Process3.sadl#"
xmlns:sadlbasemodel="http://sadl.org/sadlbasemodel#"
xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
xmlns:dapcore="http://sadl.org/PLAN-CORE.sadl#">
<owl:Ontology rdf:about="http://sadl.org/PLAN-CORE-Process3.sadl">
<owl:imports rdf:resource="http://sadl.org/PLAN-CORE.sadl"/>
<owl:imports rdf:resource="http://sadl.org/builtinfunctions"/>
<owl:imports rdf:resource="http://sadl.org/sadlimplicitmodel"/>
<owl:imports rdf:resource="http://sadl.org/sadlbasemodel"/>
<rdfs:comment xml:lang="en">This ontology was created from a SADL file 'PLAN-CORE-Process3.sadl' and should not be directly edited.</rdfs:comment>
</owl:Ontology>
<dapcore:Process rdf:about="http://sadl.org/PLAN-CORE-Process3.sadl#Process-3">
<j.0:description>Safety Assessment Process</j.0:description>
<j.0:identifier>Process-3</j.0:identifier>
</dapcore:Process>
</rdf:RDF>
Original file line number Diff line number Diff line change
@@ -0,0 +1,53 @@
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:j.0="http://arcos.rack/PROV-S#"
xmlns:builtinfunctions="http://sadl.org/builtinfunctions#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:p4core="http://sadl.org/PLAN-CORE-Process4.sadl#"
xmlns:sadlimplicitmodel="http://sadl.org/sadlimplicitmodel#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:sadlbasemodel="http://sadl.org/sadlbasemodel#"
xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
xmlns:dapcore="http://sadl.org/PLAN-CORE.sadl#">
<owl:Ontology rdf:about="http://sadl.org/PLAN-CORE-Process4.sadl">
<owl:imports rdf:resource="http://sadl.org/PLAN-CORE.sadl"/>
<owl:imports rdf:resource="http://sadl.org/builtinfunctions"/>
<owl:imports rdf:resource="http://sadl.org/sadlimplicitmodel"/>
<owl:imports rdf:resource="http://sadl.org/sadlbasemodel"/>
<rdfs:comment xml:lang="en">This ontology was created from a SADL file 'PLAN-CORE-Process4.sadl' and should not be directly edited.</rdfs:comment>
</owl:Ontology>
<dapcore:Process rdf:about="http://sadl.org/PLAN-CORE-Process4.sadl#Process-4">
<dapcore:objective>
<dapcore:Objective rdf:about="http://sadl.org/PLAN-CORE-Process4.sadl#Objective-4-6">
<j.0:description>Validation compliance substantiation is provided</j.0:description>
<j.0:identifier>Objective-4-6</j.0:identifier>
</dapcore:Objective>
</dapcore:objective>
<dapcore:objective>
<dapcore:Objective rdf:about="http://sadl.org/PLAN-CORE-Process4.sadl#Objective-4-4">
<j.0:description>Requirements are traceable</j.0:description>
<j.0:identifier>Objective-4-4</j.0:identifier>
</dapcore:Objective>
</dapcore:objective>
<dapcore:objective>
<dapcore:Objective rdf:about="http://sadl.org/PLAN-CORE-Process4.sadl#Objective-4-3">
<j.0:description>Derived requirements are justified and validated</j.0:description>
<j.0:identifier>Objective-4-3</j.0:identifier>
</dapcore:Objective>
</dapcore:objective>
<dapcore:objective>
<dapcore:Objective rdf:about="http://sadl.org/PLAN-CORE-Process4.sadl#Objective-4-2">
<j.0:description>Assumptions are justified and validated</j.0:description>
<j.0:identifier>Objective-4-2</j.0:identifier>
</dapcore:Objective>
</dapcore:objective>
<dapcore:objective>
<dapcore:Objective rdf:about="http://sadl.org/PLAN-CORE-Process4.sadl#Objective-4-1">
<j.0:description>Aircraft, system, item requirements are complete and correct</j.0:description>
<j.0:identifier>Objective-4-1</j.0:identifier>
</dapcore:Objective>
</dapcore:objective>
<j.0:description>Requirements Validation Process</j.0:description>
<j.0:identifier>Process-4</j.0:identifier>
</dapcore:Process>
</rdf:RDF>
Original file line number Diff line number Diff line change
@@ -0,0 +1,23 @@
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:j.0="http://arcos.rack/PROV-S#"
xmlns:builtinfunctions="http://sadl.org/builtinfunctions#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:sadlimplicitmodel="http://sadl.org/sadlimplicitmodel#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:sadlbasemodel="http://sadl.org/sadlbasemodel#"
xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
xmlns:p5core="http://sadl.org/PLAN-CORE-Process5.sadl#"
xmlns:dapcore="http://sadl.org/PLAN-CORE.sadl#">
<owl:Ontology rdf:about="http://sadl.org/PLAN-CORE-Process5.sadl">
<owl:imports rdf:resource="http://sadl.org/PLAN-CORE.sadl"/>
<owl:imports rdf:resource="http://sadl.org/builtinfunctions"/>
<owl:imports rdf:resource="http://sadl.org/sadlimplicitmodel"/>
<owl:imports rdf:resource="http://sadl.org/sadlbasemodel"/>
<rdfs:comment xml:lang="en">This ontology was created from a SADL file 'PLAN-CORE-Process5.sadl' and should not be directly edited.</rdfs:comment>
</owl:Ontology>
<dapcore:Process rdf:about="http://sadl.org/PLAN-CORE-Process5.sadl#Process-5">
<j.0:description>Implementation Verification Process</j.0:description>
<j.0:identifier>Process-5</j.0:identifier>
</dapcore:Process>
</rdf:RDF>
Original file line number Diff line number Diff line change
@@ -0,0 +1,23 @@
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:j.0="http://arcos.rack/PROV-S#"
xmlns:p6core="http://sadl.org/PLAN-CORE-Process6.sadl#"
xmlns:builtinfunctions="http://sadl.org/builtinfunctions#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:sadlimplicitmodel="http://sadl.org/sadlimplicitmodel#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:sadlbasemodel="http://sadl.org/sadlbasemodel#"
xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
xmlns:dapcore="http://sadl.org/PLAN-CORE.sadl#">
<owl:Ontology rdf:about="http://sadl.org/PLAN-CORE-Process6.sadl">
<owl:imports rdf:resource="http://sadl.org/PLAN-CORE.sadl"/>
<owl:imports rdf:resource="http://sadl.org/builtinfunctions"/>
<owl:imports rdf:resource="http://sadl.org/sadlimplicitmodel"/>
<owl:imports rdf:resource="http://sadl.org/sadlbasemodel"/>
<rdfs:comment xml:lang="en">This ontology was created from a SADL file 'PLAN-CORE-Process6.sadl' and should not be directly edited.</rdfs:comment>
</owl:Ontology>
<dapcore:Process rdf:about="http://sadl.org/PLAN-CORE-Process6.sadl#Process-6">
<j.0:description>Configuration Management Process</j.0:description>
<j.0:identifier>Process-6</j.0:identifier>
</dapcore:Process>
</rdf:RDF>
Original file line number Diff line number Diff line change
@@ -0,0 +1,23 @@
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:j.0="http://arcos.rack/PROV-S#"
xmlns:builtinfunctions="http://sadl.org/builtinfunctions#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:sadlimplicitmodel="http://sadl.org/sadlimplicitmodel#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:p7core="http://sadl.org/PLAN-CORE-Process7.sadl#"
xmlns:sadlbasemodel="http://sadl.org/sadlbasemodel#"
xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
xmlns:dapcore="http://sadl.org/PLAN-CORE.sadl#">
<owl:Ontology rdf:about="http://sadl.org/PLAN-CORE-Process7.sadl">
<owl:imports rdf:resource="http://sadl.org/PLAN-CORE.sadl"/>
<owl:imports rdf:resource="http://sadl.org/builtinfunctions"/>
<owl:imports rdf:resource="http://sadl.org/sadlimplicitmodel"/>
<owl:imports rdf:resource="http://sadl.org/sadlbasemodel"/>
<rdfs:comment xml:lang="en">This ontology was created from a SADL file 'PLAN-CORE-Process7.sadl' and should not be directly edited.</rdfs:comment>
</owl:Ontology>
<dapcore:Process rdf:about="http://sadl.org/PLAN-CORE-Process7.sadl#Process-7">
<j.0:description>Process Assurance Process</j.0:description>
<j.0:identifier>Process-7</j.0:identifier>
</dapcore:Process>
</rdf:RDF>
Original file line number Diff line number Diff line change
@@ -0,0 +1,23 @@
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:p8core="http://sadl.org/PLAN-CORE-Process8.sadl#"
xmlns:j.0="http://arcos.rack/PROV-S#"
xmlns:builtinfunctions="http://sadl.org/builtinfunctions#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:sadlimplicitmodel="http://sadl.org/sadlimplicitmodel#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:sadlbasemodel="http://sadl.org/sadlbasemodel#"
xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
xmlns:dapcore="http://sadl.org/PLAN-CORE.sadl#">
<owl:Ontology rdf:about="http://sadl.org/PLAN-CORE-Process8.sadl">
<owl:imports rdf:resource="http://sadl.org/PLAN-CORE.sadl"/>
<owl:imports rdf:resource="http://sadl.org/builtinfunctions"/>
<owl:imports rdf:resource="http://sadl.org/sadlimplicitmodel"/>
<owl:imports rdf:resource="http://sadl.org/sadlbasemodel"/>
<rdfs:comment xml:lang="en">This ontology was created from a SADL file 'PLAN-CORE-Process8.sadl' and should not be directly edited.</rdfs:comment>
</owl:Ontology>
<dapcore:Process rdf:about="http://sadl.org/PLAN-CORE-Process8.sadl#Process-8">
<j.0:description>Certification and Regulatory Authority Coordination Process</j.0:description>
<j.0:identifier>Process-8</j.0:identifier>
</dapcore:Process>
</rdf:RDF>
Loading

0 comments on commit 6be4766

Please sign in to comment.