From 634705b50126f983f8dd35b2f50b392d70a354b7 Mon Sep 17 00:00:00 2001 From: kityansiu Date: Tue, 1 Feb 2022 08:02:36 -0500 Subject: [PATCH] [convertStandards] DO-178C.sadl replaced with .csv files --- RACK-Ontology/ontology/DO-178C/AGENT_1.csv | 3 + RACK-Ontology/ontology/DO-178C/DO-178C.sadl | 426 ------------------ .../ontology/DO-178C/OBJECTIVE_1.csv | 72 +++ .../ontology/DO-178C/OBJECTIVE_2.csv | 72 +++ RACK-Ontology/ontology/DO-178C/SECTION_1.csv | 12 + RACK-Ontology/ontology/DO-178C/SECTION_2.csv | 82 ++++ .../ontology/DO-178C/SPECIFICATION_1.csv | 2 + .../ontology/DO-178C/SPECIFICATION_2.csv | 2 + RACK-Ontology/ontology/DO-178C/import.yaml | 12 + 9 files changed, 257 insertions(+), 426 deletions(-) create mode 100644 RACK-Ontology/ontology/DO-178C/AGENT_1.csv delete mode 100644 RACK-Ontology/ontology/DO-178C/DO-178C.sadl create mode 100644 RACK-Ontology/ontology/DO-178C/OBJECTIVE_1.csv create mode 100644 RACK-Ontology/ontology/DO-178C/OBJECTIVE_2.csv create mode 100644 RACK-Ontology/ontology/DO-178C/SECTION_1.csv create mode 100644 RACK-Ontology/ontology/DO-178C/SECTION_2.csv create mode 100644 RACK-Ontology/ontology/DO-178C/SPECIFICATION_1.csv create mode 100644 RACK-Ontology/ontology/DO-178C/SPECIFICATION_2.csv create mode 100644 RACK-Ontology/ontology/DO-178C/import.yaml diff --git a/RACK-Ontology/ontology/DO-178C/AGENT_1.csv b/RACK-Ontology/ontology/DO-178C/AGENT_1.csv new file mode 100644 index 00000000..f6548340 --- /dev/null +++ b/RACK-Ontology/ontology/DO-178C/AGENT_1.csv @@ -0,0 +1,3 @@ +description,identifier,title,definedIn_identifier,actedOnBehalfOf_identifier,dataInsertedBy_identifier +,SC-205,,,, +,RTCA,,,, \ No newline at end of file diff --git a/RACK-Ontology/ontology/DO-178C/DO-178C.sadl b/RACK-Ontology/ontology/DO-178C/DO-178C.sadl deleted file mode 100644 index 3e0fd238..00000000 --- a/RACK-Ontology/ontology/DO-178C/DO-178C.sadl +++ /dev/null @@ -1,426 +0,0 @@ -/* Copyright (c) 2020, General Electric Company - * - * All Rights Reserved - * - * This material is based upon work supported by the Defense Advanced Research - * Projects Agency (DARPA) under Contract No. FA8750-20-C-0203. - * - * Any opinions, findings and conclusions or recommendations expressed in this - * material are those of the author(s) and do not necessarily reflect the views - * of the Defense Advanced Research Projects Agency (DARPA). - */ - -uri "http://common/DO-178C" alias DO-178C. -import "http://arcos.rack/PROCESS". -import "http://arcos.rack/DOCUMENT". - -A-1 is a SECTION, - has title "Software Planning Process", - has content A-1-1, - has content A-1-2, - has content A-1-3, - has content A-1-4, - has content A-1-5, - has content A-1-6, - has content A-1-7. - -A-1-1 is a OBJECTIVE, - has identifier "A-1-1" - has description "The activities of the software life cycle processes are defined. ". - -A-1-2 is a OBJECTIVE, - has identifier "A-1-2" - has description "The software life cycle(s), including the inter-relationships between the processes, their sequencing, feedback mechanisms, and transition criteria, is defined. ". - -A-1-3 is a OBJECTIVE, - has identifier "A-1-3" - has description "Software life cycle environment is selected and defined. ". - -A-1-4 is a OBJECTIVE, - has identifier "A-1-4" - has description "Additional considerations are addressed. ". - -A-1-5 is a OBJECTIVE, - has identifier "A-1-5" - has description "Software development standards are defined. ". - -A-1-6 is a OBJECTIVE, - has identifier "A-1-6" - has description "Software plans comply with this document. ". - -A-1-7 is a OBJECTIVE, - has identifier "A-1-7" - has description "Development and revision of software plans are coordinated. ". - -A-2 is a SECTION, - has title "Software Development Process", - has content A-2-1, - has content A-2-2, - has content A-2-3, - has content A-2-4, - has content A-2-5, - has content A-2-6, - has content A-2-7. - -A-2-1 is a OBJECTIVE, - has identifier "A-2-1" - has description "High-level requirements are developed. ". - -A-2-2 is a OBJECTIVE, - has identifier "A-2-2" - has description "Derived highlevel requirements are defined and provided to the system processes, including the system safety assessment process. ". - -A-2-3 is a OBJECTIVE, - has identifier "A-2-3" - has description "Software architecture is developed. ". - -A-2-4 is a OBJECTIVE, - has identifier "A-2-4" - has description "Low-level requirements are developed. ". - -A-2-5 is a OBJECTIVE, - has identifier "A-2-5" - has description "Derived lowlevel requirements are defined and provided to the system processes, including the system safety assessment process. ". - -A-2-6 is a OBJECTIVE, - has identifier "A-2-6" - has description "Source Code is developed. ". - -A-2-7 is a OBJECTIVE, - has identifier "A-2-7" - has description "Executable Object Code and Parameter Data Item Files, if any, are produced and loaded in the target computer. ". - -A-3 is a SECTION, - has title "Verification of Outputs of Software Requirements Process", - has content A-3-1, - has content A-3-2, - has content A-3-3, - has content A-3-4, - has content A-3-5, - has content A-3-6, - has content A-3-7. - -A-3-1 is a OBJECTIVE, - has identifier "A-3-1" - has description "High-level requirements comply with system requirements. ". - -A-3-2 is a OBJECTIVE, - has identifier "A-3-2" - has description "High-level requirements are accurate and consistent. ". - -A-3-3 is a OBJECTIVE, - has identifier "A-3-3" - has description "High-level requirements are compatible with target computer. ". - -A-3-4 is a OBJECTIVE, - has identifier "A-3-4" - has description "High-level requirements are verifiable. ". - -A-3-5 is a OBJECTIVE, - has identifier "A-3-5" - has description "High-level requirements conform to standards. ". - -A-3-6 is a OBJECTIVE, - has identifier "A-3-6" - has description "High-level requirements are traceable to system requirements. ". - -A-3-7 is a OBJECTIVE, - has identifier "A-3-7" - has description "Algorithms are accurate. ". - -A-4 is a SECTION, - has title "Verification of Outputs of Software Design Process", - has content A-4-1, - has content A-4-2, - has content A-4-3, - has content A-4-4, - has content A-4-5, - has content A-4-6, - has content A-4-7, - has content A-4-8, - has content A-4-9, - has content A-4-10, - has content A-4-11, - has content A-4-12, - has content A-4-13. - -A-4-1 is a OBJECTIVE, - has identifier "A-4-1" - has description "Low-level requirements comply with high-level requirements. ". - -A-4-2 is a OBJECTIVE, - has identifier "A-4-2" - has description "Low-level requirements are accurate and consistent. ". - -A-4-3 is a OBJECTIVE, - has identifier "A-4-3" - has description "Low-level requirements are compatible with target computer. ". - -A-4-4 is a OBJECTIVE, - has identifier "A-4-4" - has description "Low-level requirements are verifiable. ". - -A-4-5 is a OBJECTIVE, - has identifier "A-4-5" - has description "Low-level requirements conform to standards. ". - -A-4-6 is a OBJECTIVE, - has identifier "A-4-6" - has description "Low-level requirements are traceable to highlevel requirements. ". - -A-4-7 is a OBJECTIVE, - has identifier "A-4-7" - has description "Algorithms are accurate. ". - -A-4-8 is a OBJECTIVE, - has identifier "A-4-8" - has description "Software architecture is compatible with highlevel requirements. ". - -A-4-9 is a OBJECTIVE, - has identifier "A-4-9" - has description "Software architecture is consistent. ". - -A-4-10 is a OBJECTIVE, - has identifier "A-4-10" - has description "Software architecture is compatible with target computer. ". - -A-4-11 is a OBJECTIVE, - has identifier "A-4-11" - has description "Software architecture is verifiable. ". - -A-4-12 is a OBJECTIVE, - has identifier "A-4-12" - has description "Software architecture conforms to standards. ". - -A-4-13 is a OBJECTIVE, - has identifier "A-4-13" - has description "Software partitioning integrity is confirmed. ". - -A-5 is a SECTION, - has title "Verification of Outputs of Software Coding & Integration Processes", - has content A-5-1, - has content A-5-2, - has content A-5-3, - has content A-5-4, - has content A-5-5, - has content A-5-6, - has content A-5-7, - has content A-5-8, - has content A-5-9. - -A-5-1 is a OBJECTIVE, - has identifier "A-5-1" - has description "Source Code complies with low-level requirements. ". - -A-5-2 is a OBJECTIVE, - has identifier "A-5-2" - has description "Source Code complies with software architecture. ". - -A-5-3 is a OBJECTIVE, - has identifier "A-5-3" - has description "Source Code is verifiable. ". - -A-5-4 is a OBJECTIVE, - has identifier "A-5-4" - has description "Source Code conforms to standards. ". - -A-5-5 is a OBJECTIVE, - has identifier "A-5-5" - has description "Source Code is traceable to low-level requirements. ". - -A-5-6 is a OBJECTIVE, - has identifier "A-5-6" - has description "Source Code is accurate and consistent. ". - -A-5-7 is a OBJECTIVE, - has identifier "A-5-7" - has description "Output of software integration process is complete and correct. ". - -A-5-8 is a OBJECTIVE, - has identifier "A-5-8" - has description "Parameter Data Item File is correct and complete ". - -A-5-9 is a OBJECTIVE, - has identifier "A-5-9" - has description "Verification of Parameter Data Item File is achieved. ". - -A-6 is a SECTION, - has title "Verification of Outputs of Integration Process", - has content A-6-1, - has content A-6-2, - has content A-6-3, - has content A-6-4, - has content A-6-5. - -A-6-1 is a OBJECTIVE, - has identifier "A-6-1" - has description "Executable Object Code complies with high-level requirements. ". - -A-6-2 is a OBJECTIVE, - has identifier "A-6-2" - has description "Executable Object Code is robust with high-level requirements. ". - -A-6-3 is a OBJECTIVE, - has identifier "A-6-3" - has description "Executable Object Code complies with low-level requirements. ". - -A-6-4 is a OBJECTIVE, - has identifier "A-6-4" - has description "Executable Object Code is robust with low-level requirements. ". - -A-6-5 is a OBJECTIVE, - has identifier "A-6-5" - has description "Executable Object Code is compatible with target computer. ". - -A-7 is a SECTION, - has title "Verification of Verification Process Results", - has content A-7-1, - has content A-7-2, - has content A-7-3, - has content A-7-4, - has content A-7-5, - has content A-7-6, - has content A-7-7, - has content A-7-8, - has content A-7-9. - -A-7-1 is a OBJECTIVE, - has identifier "A-7-1" - has description "Test procedures are correct. ". - -A-7-2 is a OBJECTIVE, - has identifier "A-7-2" - has description "Test results are correct and discrepancies explained. ". - -A-7-3 is a OBJECTIVE, - has identifier "A-7-3" - has description "Test coverage of high-level requirements is achieved. ". - -A-7-4 is a OBJECTIVE, - has identifier "A-7-4" - has description "Test coverage of low-level requirements is achieved. ". - -A-7-5 is a OBJECTIVE, - has identifier "A-7-5" - has description "Test coverage of software structure (modified condition/decision coverage) is achieved. ". - -A-7-6 is a OBJECTIVE, - has identifier "A-7-6" - has description "Test coverage of software structure (decision coverage) is achieved. ". - -A-7-7 is a OBJECTIVE, - has identifier "A-7-7" - has description "Test coverage of software structure (statement coverage) is achieved. ". - -A-7-8 is a OBJECTIVE, - has identifier "A-7-8" - has description "Test coverage of software structure (data coupling and control coupling) is achieved. ". - -A-7-9 is a OBJECTIVE, - has identifier "A-7-9" - has description "Verification of additional code, that cannot be traced to Source Code, is achieved. ". - -A-8 is a SECTION, - has title "Software Configuration Management Process", - has content A-8-1, - has content A-8-2, - has content A-8-3, - has content A-8-4, - has content A-8-5, - has content A-8-6. - -A-8-1 is a OBJECTIVE, - has identifier "A-8-1" - has description "Configuration items are identified. ". - -A-8-2 is a OBJECTIVE, - has identifier "A-8-2" - has description "Baselines and traceability are established. ". - -A-8-3 is a OBJECTIVE, - has identifier "A-8-3" - has description "Problem reporting, change control, change review, and configuration status accounting are established. ". - -A-8-4 is a OBJECTIVE, - has identifier "A-8-4" - has description "Archive, retrieval, and release are established. ". - -A-8-5 is a OBJECTIVE, - has identifier "A-8-5" - has description "Software load control is established. ". - -A-8-6 is a OBJECTIVE, - has identifier "A-8-6" - has description "Software life cycle environment control is established. ". - -A-9 is a SECTION, - has title "Software Quality Assurance Process", - has content A-9-1, - has content A-9-2, - has content A-9-3, - has content A-9-4, - has content A-9-5. - -A-9-1 is a OBJECTIVE, - has identifier "A-9-1" - has description "Assurance is obtained that software plans and standards are developed and reviewed for compliance with this document and for consistency. ". - -A-9-2 is a OBJECTIVE, - has identifier "A-9-2" - has description "Assurance is obtained that software life cycle processes comply with approved software plans. ". - -A-9-3 is a OBJECTIVE, - has identifier "A-9-3" - has description "Assurance is obtained that software life cycle processes comply with approved software standards. ". - -A-9-4 is a OBJECTIVE, - has identifier "A-9-4" - has description "Assurance is obtained that transition criteria for the software life cycle processes are satisfied. ". - -A-9-5 is a OBJECTIVE, - has identifier "A-9-5" - has description "Assurance is obtained that software conformity review is conducted. ". - -A-10 is a SECTION, - has title "Certification Liaison Process", - has content A-10-1, - has content A-10-2, - has content A-10-3. - -A-10-1 is a OBJECTIVE, - has identifier "A-10-1" - has description "Communication and understanding between the applicant and the certification authority is established. ". - -A-10-2 is a OBJECTIVE, - has identifier "A-10-2" - has description "The means of compliance is proposed and agreement with the Plan for Software Aspects of Certification is obtained. ". - -A-10-3 is a OBJECTIVE, - has identifier "A-10-3" - has description "Compliance substantiation is provided. ". - - -DO-178C-AnnexA is a SECTION, - has title "PROCESS OBJECTIVES AND OUTPUTS BY SOFTWARE LEVEL", - has content A-1, - has content A-2, - has content A-3, - has content A-4, - has content A-5, - has content A-6, - has content A-7, - has content A-8, - has content A-9, - has content A-10. - -DO-178C is a SPECIFICATION, - has dateOfIssue "12/13/2011", - has status Released, - has issuingOrganization SC-205, - has approvalAuthority RTCA, - has content DO-178C-AnnexA. - - -// -SC-205 is an AGENT. -RTCA is an AGENT. diff --git a/RACK-Ontology/ontology/DO-178C/OBJECTIVE_1.csv b/RACK-Ontology/ontology/DO-178C/OBJECTIVE_1.csv new file mode 100644 index 00000000..f6203780 --- /dev/null +++ b/RACK-Ontology/ontology/DO-178C/OBJECTIVE_1.csv @@ -0,0 +1,72 @@ +description,entityURL,generatedAtTime,identifier,invalidatedAtTime,title,definedIn_identifier,satisfiedBy_identifier,dataInsertedBy_identifier,wasAttributedTo_identifier,wasDerivedFrom_identifier,wasGeneratedBy_identifier,wasImpactedBy_identifier,wasRevisionOf_identifier +,,,A-3-7,,,,,,,,,, +,,,A-3-6,,,,,,,,,, +,,,A-3-5,,,,,,,,,, +,,,A-3-4,,,,,,,,,, +,,,A-3-3,,,,,,,,,, +,,,A-3-2,,,,,,,,,, +,,,A-3-1,,,,,,,,,, +,,,A-4-4,,,,,,,,,, +,,,A-4-13,,,,,,,,,, +,,,A-4-8,,,,,,,,,, +,,,A-4-3,,,,,,,,,, +,,,A-4-10,,,,,,,,,, +,,,A-4-6,,,,,,,,,, +,,,A-4-5,,,,,,,,,, +,,,A-4-9,,,,,,,,,, +,,,A-4-12,,,,,,,,,, +,,,A-4-11,,,,,,,,,, +,,,A-4-7,,,,,,,,,, +,,,A-4-2,,,,,,,,,, +,,,A-4-1,,,,,,,,,, +,,,A-5-9,,,,,,,,,, +,,,A-5-6,,,,,,,,,, +,,,A-5-3,,,,,,,,,, +,,,A-5-8,,,,,,,,,, +,,,A-5-5,,,,,,,,,, +,,,A-5-2,,,,,,,,,, +,,,A-5-4,,,,,,,,,, +,,,A-5-7,,,,,,,,,, +,,,A-5-1,,,,,,,,,, +,,,A-6-5,,,,,,,,,, +,,,A-6-4,,,,,,,,,, +,,,A-6-3,,,,,,,,,, +,,,A-6-2,,,,,,,,,, +,,,A-6-1,,,,,,,,,, +,,,A-1-7,,,,,,,,,, +,,,A-1-6,,,,,,,,,, +,,,A-1-5,,,,,,,,,, +,,,A-1-4,,,,,,,,,, +,,,A-1-3,,,,,,,,,, +,,,A-1-2,,,,,,,,,, +,,,A-1-1,,,,,,,,,, +,,,A-10-3,,,,,,,,,, +,,,A-10-2,,,,,,,,,, +,,,A-10-1,,,,,,,,,, +,,,A-2-7,,,,,,,,,, +,,,A-2-6,,,,,,,,,, +,,,A-2-5,,,,,,,,,, +,,,A-2-4,,,,,,,,,, +,,,A-2-3,,,,,,,,,, +,,,A-2-2,,,,,,,,,, +,,,A-2-1,,,,,,,,,, +,,,A-7-1,,,,,,,,,, +,,,A-7-2,,,,,,,,,, +,,,A-7-9,,,,,,,,,, +,,,A-7-3,,,,,,,,,, +,,,A-7-4,,,,,,,,,, +,,,A-7-5,,,,,,,,,, +,,,A-7-6,,,,,,,,,, +,,,A-7-7,,,,,,,,,, +,,,A-7-8,,,,,,,,,, +,,,A-9-5,,,,,,,,,, +,,,A-9-4,,,,,,,,,, +,,,A-9-3,,,,,,,,,, +,,,A-9-2,,,,,,,,,, +,,,A-9-1,,,,,,,,,, +,,,A-8-6,,,,,,,,,, +,,,A-8-5,,,,,,,,,, +,,,A-8-4,,,,,,,,,, +,,,A-8-3,,,,,,,,,, +,,,A-8-2,,,,,,,,,, +,,,A-8-1,,,,,,,,,, \ No newline at end of file diff --git a/RACK-Ontology/ontology/DO-178C/OBJECTIVE_2.csv b/RACK-Ontology/ontology/DO-178C/OBJECTIVE_2.csv new file mode 100644 index 00000000..831db5ea --- /dev/null +++ b/RACK-Ontology/ontology/DO-178C/OBJECTIVE_2.csv @@ -0,0 +1,72 @@ +description,entityURL,generatedAtTime,identifier,invalidatedAtTime,title,definedIn_identifier,satisfiedBy_identifier,dataInsertedBy_identifier,wasAttributedTo_identifier,wasDerivedFrom_identifier,wasGeneratedBy_identifier,wasImpactedBy_identifier,wasRevisionOf_identifier +"Algorithms are accurate. ","","","A-3-7","","","","","","","","","","" +"High-level requirements are traceable to system requirements. ","","","A-3-6","","","","","","","","","","" +"High-level requirements conform to standards. ","","","A-3-5","","","","","","","","","","" +"High-level requirements are verifiable. ","","","A-3-4","","","","","","","","","","" +"High-level requirements are compatible with target computer. ","","","A-3-3","","","","","","","","","","" +"High-level requirements are accurate and consistent. ","","","A-3-2","","","","","","","","","","" +"High-level requirements comply with system requirements. ","","","A-3-1","","","","","","","","","","" +"Low-level requirements are verifiable. ","","","A-4-4","","","","","","","","","","" +"Software partitioning integrity is confirmed. ","","","A-4-13","","","","","","","","","","" +"Software architecture is compatible with highlevel requirements. ","","","A-4-8","","","","","","","","","","" +"Low-level requirements are compatible with target computer. ","","","A-4-3","","","","","","","","","","" +"Software architecture is compatible with target computer. ","","","A-4-10","","","","","","","","","","" +"Low-level requirements are traceable to highlevel requirements. ","","","A-4-6","","","","","","","","","","" +"Low-level requirements conform to standards. ","","","A-4-5","","","","","","","","","","" +"Software architecture is consistent. ","","","A-4-9","","","","","","","","","","" +"Software architecture conforms to standards. ","","","A-4-12","","","","","","","","","","" +"Software architecture is verifiable. ","","","A-4-11","","","","","","","","","","" +"Algorithms are accurate. ","","","A-4-7","","","","","","","","","","" +"Low-level requirements are accurate and consistent. ","","","A-4-2","","","","","","","","","","" +"Low-level requirements comply with high-level requirements. ","","","A-4-1","","","","","","","","","","" +"Verification of Parameter Data Item File is achieved. ","","","A-5-9","","","","","","","","","","" +"Source Code is accurate and consistent. ","","","A-5-6","","","","","","","","","","" +"Source Code is verifiable. ","","","A-5-3","","","","","","","","","","" +"Parameter Data Item File is correct and complete ","","","A-5-8","","","","","","","","","","" +"Source Code is traceable to low-level requirements. ","","","A-5-5","","","","","","","","","","" +"Source Code complies with software architecture. ","","","A-5-2","","","","","","","","","","" +"Source Code conforms to standards. ","","","A-5-4","","","","","","","","","","" +"Output of software integration process is complete and correct. ","","","A-5-7","","","","","","","","","","" +"Source Code complies with low-level requirements. ","","","A-5-1","","","","","","","","","","" +"Executable Object Code is compatible with target computer. ","","","A-6-5","","","","","","","","","","" +"Executable Object Code is robust with low-level requirements. ","","","A-6-4","","","","","","","","","","" +"Executable Object Code complies with low-level requirements. ","","","A-6-3","","","","","","","","","","" +"Executable Object Code is robust with high-level requirements. ","","","A-6-2","","","","","","","","","","" +"Executable Object Code complies with high-level requirements. ","","","A-6-1","","","","","","","","","","" +"Development and revision of software plans are coordinated. ","","","A-1-7","","","","","","","","","","" +"Software plans comply with this document. ","","","A-1-6","","","","","","","","","","" +"Software development standards are defined. ","","","A-1-5","","","","","","","","","","" +"Additional considerations are addressed. ","","","A-1-4","","","","","","","","","","" +"Software life cycle environment is selected and defined. ","","","A-1-3","","","","","","","","","","" +"The software life cycle(s), including the inter-relationships between the processes, their sequencing, feedback mechanisms, and transition criteria, is defined. ","","","A-1-2","","","","","","","","","","" +"The activities of the software life cycle processes are defined. ","","","A-1-1","","","","","","","","","","" +"Compliance substantiation is provided. ","","","A-10-3","","","","","","","","","","" +"The means of compliance is proposed and agreement with the Plan for Software Aspects of Certification is obtained. ","","","A-10-2","","","","","","","","","","" +"Communication and understanding between the applicant and the certification authority is established. ","","","A-10-1","","","","","","","","","","" +"Executable Object Code and Parameter Data Item Files, if any, are produced and loaded in the target computer. ","","","A-2-7","","","","","","","","","","" +"Source Code is developed. ","","","A-2-6","","","","","","","","","","" +"Derived lowlevel requirements are defined and provided to the system processes, including the system safety assessment process. ","","","A-2-5","","","","","","","","","","" +"Low-level requirements are developed. ","","","A-2-4","","","","","","","","","","" +"Software architecture is developed. ","","","A-2-3","","","","","","","","","","" +"Derived highlevel requirements are defined and provided to the system processes, including the system safety assessment process. ","","","A-2-2","","","","","","","","","","" +"High-level requirements are developed. ","","","A-2-1","","","","","","","","","","" +"Test procedures are correct. ","","","A-7-1","","","","","","","","","","" +"Test results are correct and discrepancies explained. ","","","A-7-2","","","","","","","","","","" +"Verification of additional code, that cannot be traced to Source Code, is achieved. ","","","A-7-9","","","","","","","","","","" +"Test coverage of high-level requirements is achieved. ","","","A-7-3","","","","","","","","","","" +"Test coverage of low-level requirements is achieved. ","","","A-7-4","","","","","","","","","","" +"Test coverage of software structure (modified condition/decision coverage) is achieved. ","","","A-7-5","","","","","","","","","","" +"Test coverage of software structure (decision coverage) is achieved. ","","","A-7-6","","","","","","","","","","" +"Test coverage of software structure (statement coverage) is achieved. ","","","A-7-7","","","","","","","","","","" +"Test coverage of software structure (data coupling and control coupling) is achieved. ","","","A-7-8","","","","","","","","","","" +"Assurance is obtained that software conformity review is conducted. ","","","A-9-5","","","","","","","","","","" +"Assurance is obtained that transition criteria for the software life cycle processes are satisfied. ","","","A-9-4","","","","","","","","","","" +"Assurance is obtained that software life cycle processes comply with approved software standards. ","","","A-9-3","","","","","","","","","","" +"Assurance is obtained that software life cycle processes comply with approved software plans. ","","","A-9-2","","","","","","","","","","" +"Assurance is obtained that software plans and standards are developed and reviewed for compliance with this document and for consistency. ","","","A-9-1","","","","","","","","","","" +"Software life cycle environment control is established. ","","","A-8-6","","","","","","","","","","" +"Software load control is established. ","","","A-8-5","","","","","","","","","","" +"Archive, retrieval, and release are established. ","","","A-8-4","","","","","","","","","","" +"Problem reporting, change control, change review, and configuration status accounting are established. ","","","A-8-3","","","","","","","","","","" +"Baselines and traceability are established. ","","","A-8-2","","","","","","","","","","" +"Configuration items are identified. ","","","A-8-1","","","","","","","","","","" \ No newline at end of file diff --git a/RACK-Ontology/ontology/DO-178C/SECTION_1.csv b/RACK-Ontology/ontology/DO-178C/SECTION_1.csv new file mode 100644 index 00000000..c80e18c0 --- /dev/null +++ b/RACK-Ontology/ontology/DO-178C/SECTION_1.csv @@ -0,0 +1,12 @@ +description,entityURL,generatedAtTime,identifier,invalidatedAtTime,title,definedIn_identifier,content_identifier,dataInsertedBy_identifier,wasAttributedTo_identifier,wasDerivedFrom_identifier,wasGeneratedBy_identifier,wasImpactedBy_identifier,wasRevisionOf_identifier +,,,A-1,,,,,,,,,, +,,,A-2,,,,,,,,,, +,,,A-3,,,,,,,,,, +,,,A-4,,,,,,,,,, +,,,A-5,,,,,,,,,, +,,,A-6,,,,,,,,,, +,,,A-7,,,,,,,,,, +,,,A-8,,,,,,,,,, +,,,A-9,,,,,,,,,, +,,,A-10,,,,,,,,,, +,,,DO-178C-AnnexA,,,,,,,,,, \ No newline at end of file diff --git a/RACK-Ontology/ontology/DO-178C/SECTION_2.csv b/RACK-Ontology/ontology/DO-178C/SECTION_2.csv new file mode 100644 index 00000000..c7996f50 --- /dev/null +++ b/RACK-Ontology/ontology/DO-178C/SECTION_2.csv @@ -0,0 +1,82 @@ +description,entityURL,generatedAtTime,identifier,invalidatedAtTime,title,definedIn_identifier,content_identifier,dataInsertedBy_identifier,wasAttributedTo_identifier,wasDerivedFrom_identifier,wasGeneratedBy_identifier,wasImpactedBy_identifier,wasRevisionOf_identifier +,,,A-1,,Software Planning Process,,A-1-1,,,,,, +,,,A-1,,Software Planning Process,,A-1-2,,,,,, +,,,A-1,,Software Planning Process,,A-1-3,,,,,, +,,,A-1,,Software Planning Process,,A-1-4,,,,,, +,,,A-1,,Software Planning Process,,A-1-5,,,,,, +,,,A-1,,Software Planning Process,,A-1-6,,,,,, +,,,A-1,,Software Planning Process,,A-1-7,,,,,, +,,,A-2,,Software Development Process,,A-2-1,,,,,, +,,,A-2,,Software Development Process,,A-2-2,,,,,, +,,,A-2,,Software Development Process,,A-2-3,,,,,, +,,,A-2,,Software Development Process,,A-2-4,,,,,, +,,,A-2,,Software Development Process,,A-2-5,,,,,, +,,,A-2,,Software Development Process,,A-2-6,,,,,, +,,,A-2,,Software Development Process,,A-2-7,,,,,, +,,,A-3,,Verification of Outputs of Software Requirements Process,,A-3-1,,,,,, +,,,A-3,,Verification of Outputs of Software Requirements Process,,A-3-2,,,,,, +,,,A-3,,Verification of Outputs of Software Requirements Process,,A-3-3,,,,,, +,,,A-3,,Verification of Outputs of Software Requirements Process,,A-3-4,,,,,, +,,,A-3,,Verification of Outputs of Software Requirements Process,,A-3-5,,,,,, +,,,A-3,,Verification of Outputs of Software Requirements Process,,A-3-6,,,,,, +,,,A-3,,Verification of Outputs of Software Requirements Process,,A-3-7,,,,,, +,,,A-4,,Verification of Outputs of Software Design Process,,A-4-1,,,,,, +,,,A-4,,Verification of Outputs of Software Design Process,,A-4-2,,,,,, +,,,A-4,,Verification of Outputs of Software Design Process,,A-4-3,,,,,, +,,,A-4,,Verification of Outputs of Software Design Process,,A-4-4,,,,,, +,,,A-4,,Verification of Outputs of Software Design Process,,A-4-5,,,,,, +,,,A-4,,Verification of Outputs of Software Design Process,,A-4-6,,,,,, +,,,A-4,,Verification of Outputs of Software Design Process,,A-4-7,,,,,, +,,,A-4,,Verification of Outputs of Software Design Process,,A-4-8,,,,,, +,,,A-4,,Verification of Outputs of Software Design Process,,A-4-9,,,,,, +,,,A-4,,Verification of Outputs of Software Design Process,,A-4-10,,,,,, +,,,A-4,,Verification of Outputs of Software Design Process,,A-4-11,,,,,, +,,,A-4,,Verification of Outputs of Software Design Process,,A-4-12,,,,,, +,,,A-4,,Verification of Outputs of Software Design Process,,A-4-13,,,,,, +,,,A-5,,Verification of Outputs of Software Coding & Integration Processes,,A-5-1,,,,,, +,,,A-5,,Verification of Outputs of Software Coding & Integration Processes,,A-5-2,,,,,, +,,,A-5,,Verification of Outputs of Software Coding & Integration Processes,,A-5-3,,,,,, +,,,A-5,,Verification of Outputs of Software Coding & Integration Processes,,A-5-4,,,,,, +,,,A-5,,Verification of Outputs of Software Coding & Integration Processes,,A-5-5,,,,,, +,,,A-5,,Verification of Outputs of Software Coding & Integration Processes,,A-5-6,,,,,, +,,,A-5,,Verification of Outputs of Software Coding & Integration Processes,,A-5-7,,,,,, +,,,A-5,,Verification of Outputs of Software Coding & Integration Processes,,A-5-8,,,,,, +,,,A-5,,Verification of Outputs of Software Coding & Integration Processes,,A-5-9,,,,,, +,,,A-6,,Verification of Outputs of Integration Process,,A-6-1,,,,,, +,,,A-6,,Verification of Outputs of Integration Process,,A-6-2,,,,,, +,,,A-6,,Verification of Outputs of Integration Process,,A-6-3,,,,,, +,,,A-6,,Verification of Outputs of Integration Process,,A-6-4,,,,,, +,,,A-6,,Verification of Outputs of Integration Process,,A-6-5,,,,,, +,,,A-7,,Verification of Verification Process Results,,A-7-1,,,,,, +,,,A-7,,Verification of Verification Process Results,,A-7-2,,,,,, +,,,A-7,,Verification of Verification Process Results,,A-7-3,,,,,, +,,,A-7,,Verification of Verification Process Results,,A-7-4,,,,,, +,,,A-7,,Verification of Verification Process Results,,A-7-5,,,,,, +,,,A-7,,Verification of Verification Process Results,,A-7-6,,,,,, +,,,A-7,,Verification of Verification Process Results,,A-7-7,,,,,, +,,,A-7,,Verification of Verification Process Results,,A-7-8,,,,,, +,,,A-7,,Verification of Verification Process Results,,A-7-9,,,,,, +,,,A-8,,Software Configuration Management Process,,A-8-1,,,,,, +,,,A-8,,Software Configuration Management Process,,A-8-2,,,,,, +,,,A-8,,Software Configuration Management Process,,A-8-3,,,,,, +,,,A-8,,Software Configuration Management Process,,A-8-4,,,,,, +,,,A-8,,Software Configuration Management Process,,A-8-5,,,,,, +,,,A-8,,Software Configuration Management Process,,A-8-6,,,,,, +,,,A-9,,Software Quality Assurance Process,,A-9-1,,,,,, +,,,A-9,,Software Quality Assurance Process,,A-9-2,,,,,, +,,,A-9,,Software Quality Assurance Process,,A-9-3,,,,,, +,,,A-9,,Software Quality Assurance Process,,A-9-4,,,,,, +,,,A-9,,Software Quality Assurance Process,,A-9-5,,,,,, +,,,A-10,,Certification Liaison Process,,A-10-1,,,,,, +,,,A-10,,Certification Liaison Process,,A-10-2,,,,,, +,,,A-10,,Certification Liaison Process,,A-10-3,,,,,, +,,,DO-178C-AnnexA,,PROCESS OBJECTIVES AND OUTPUTS BY SOFTWARE LEVEL,,A-1,,,,,, +,,,DO-178C-AnnexA,,PROCESS OBJECTIVES AND OUTPUTS BY SOFTWARE LEVEL,,A-2,,,,,, +,,,DO-178C-AnnexA,,PROCESS OBJECTIVES AND OUTPUTS BY SOFTWARE LEVEL,,A-3,,,,,, +,,,DO-178C-AnnexA,,PROCESS OBJECTIVES AND OUTPUTS BY SOFTWARE LEVEL,,A-4,,,,,, +,,,DO-178C-AnnexA,,PROCESS OBJECTIVES AND OUTPUTS BY SOFTWARE LEVEL,,A-5,,,,,, +,,,DO-178C-AnnexA,,PROCESS OBJECTIVES AND OUTPUTS BY SOFTWARE LEVEL,,A-6,,,,,, +,,,DO-178C-AnnexA,,PROCESS OBJECTIVES AND OUTPUTS BY SOFTWARE LEVEL,,A-7,,,,,, +,,,DO-178C-AnnexA,,PROCESS OBJECTIVES AND OUTPUTS BY SOFTWARE LEVEL,,A-8,,,,,, +,,,DO-178C-AnnexA,,PROCESS OBJECTIVES AND OUTPUTS BY SOFTWARE LEVEL,,A-9,,,,,, +,,,DO-178C-AnnexA,,PROCESS OBJECTIVES AND OUTPUTS BY SOFTWARE LEVEL,,A-10,,,,,, \ No newline at end of file diff --git a/RACK-Ontology/ontology/DO-178C/SPECIFICATION_1.csv b/RACK-Ontology/ontology/DO-178C/SPECIFICATION_1.csv new file mode 100644 index 00000000..0823a9f8 --- /dev/null +++ b/RACK-Ontology/ontology/DO-178C/SPECIFICATION_1.csv @@ -0,0 +1,2 @@ +dateOfIssue,versionNumber,description,entityURL,generatedAtTime,identifier,invalidatedAtTime,title,approvalAuthority_identifier,issuingOrganization_identifier,references_identifier,status_identifier,definedIn_identifier,content_identifier,dataInsertedBy_identifier,wasAttributedTo_identifier,wasDerivedFrom_identifier,wasGeneratedBy_identifier,wasImpactedBy_identifier,wasRevisionOf_identifier +,,,,,DO-178C,,,,,,,,,,,,,, \ No newline at end of file diff --git a/RACK-Ontology/ontology/DO-178C/SPECIFICATION_2.csv b/RACK-Ontology/ontology/DO-178C/SPECIFICATION_2.csv new file mode 100644 index 00000000..9dac7ef9 --- /dev/null +++ b/RACK-Ontology/ontology/DO-178C/SPECIFICATION_2.csv @@ -0,0 +1,2 @@ +dateOfIssue,versionNumber,description,entityURL,generatedAtTime,identifier,invalidatedAtTime,title,approvalAuthority_identifier,issuingOrganization_identifier,references_identifier,status_identifier,definedIn_identifier,content_identifier,dataInsertedBy_identifier,wasAttributedTo_identifier,wasDerivedFrom_identifier,wasGeneratedBy_identifier,wasImpactedBy_identifier,wasRevisionOf_identifier +12/13/2011,,,,,DO-178C,,,RTCA,SC-205,,Released,,DO-178C-AnnexA,,,,,, \ No newline at end of file diff --git a/RACK-Ontology/ontology/DO-178C/import.yaml b/RACK-Ontology/ontology/DO-178C/import.yaml new file mode 100644 index 00000000..3ea55538 --- /dev/null +++ b/RACK-Ontology/ontology/DO-178C/import.yaml @@ -0,0 +1,12 @@ +data-graph: "http://rack001/do-178c" +ingestion-steps: +#Phase1: Identifiers Only +- {nodegroup: "ingest_AGENT", csv: "AGENT_1.csv"} +- {nodegroup: "ingest_SPECIFICATION", csv: "SPECIFICATION_1.csv"} +- {nodegroup: "ingest_SECTION", csv: "SECTION_1.csv"} +- {nodegroup: "ingest_OBJECTIVE", csv: "OBJECTIVE_1.csv"} + +#Phase2: The rest of the data +- {nodegroup: "ingest_SPECIFICATION", csv: "SPECIFICATION_2.csv"} +- {nodegroup: "ingest_SECTION", csv: "SECTION_2.csv"} +- {nodegroup: "ingest_OBJECTIVE", csv: "OBJECTIVE_2.csv"}