Merge pull request #1327 from AdaCore/space-software-booklet

First version of the space systems software booklet

Author: gusthoff

content/booklets/adacore-technologies-for-space-systems-software/chapters/abbreviations.csv

@@ -0,0 +1,29 @@
+Abbreviation,Expansion
+API,Application Program Interface
+AR,Acceptance Review
+CDR,Critical Design Review
+DDF,Design Definition File
+DJF,Design Justification File
+DRD,Document Requirements Definition
+DRL,Document Requirements List
+EAL,Evaluation Assurance Level
+ECSS,European Cooperation for Space Standardization
+ESA,European Space Agency
+GCC,GNU Compiler Collection
+GUI,Graphical User Interface
+IDE,Integrated Development Environment
+IRTAW,International Real-Time Ada Workshop
+ISO,International Organization for Standardization
+LSP,Liskov Substitution Principle
+MF,Maintenance File
+MGT,Management File
+OP,Operational Plan
+ORR,Operational Readiness Review
+PAF,Product Assurance File
+PDR,Preliminary Design Review
+QR,Qualification Review
+RB,Requirements Baseline
+RTOS,Real-Time Operating Systems
+SRR,System Requirements Review
+TQL,Tool Qualification Level
+TS,Technical Specification

content/booklets/adacore-technologies-for-space-systems-software/chapters/abbreviations.rst

@@ -0,0 +1,11 @@
+.. include:: ../../../global.txt
+
+.. _Space_Systems_SW_Abbreviations:
+
+Abbreviations
+=============
+
+.. csv-table::
+      :file: abbreviations.csv
+      :header-rows: 1
+      :widths: 20, 70

content/booklets/adacore-technologies-for-space-systems-software/chapters/compliance-e40c.rst

@@ -0,0 +1,18 @@
+CWE weakness,Description
+"CWE 120, 124, 125, 126, 127, 129, 130, 131",Buffer overflow/underflow
+"CWE 136, 137","Variant record field violation, Use of incorrect type in inheritance hierarchy"
+"CWE 190, 191",Numeric overflow/underflow
+"CWE 362, 366",Race condition
+CWE 369,Division by zero
+CWE 457,Use of uninitialized variable
+CWE 476,Null pointer dereference
+CWE 561,Dead (unreachable) code
+CWE 563,Unused or redundant assignment
+CWE 570,Expression is always false
+CWE 571,Expression is always true
+CWE 628,Incorrect arguments in call
+CWE 667,Improper locking
+CWE 682,Incorrect calculation
+CWE 820,Missing synchronization
+CWE 821,Incorrect synchronization
+CWE 835,Infinite loop

content/booklets/adacore-technologies-for-space-systems-software/chapters/compliance-q80c.rst

@@ -0,0 +1,2 @@
+Code coverage versus criticality category,A,B,C,D
+Object code coverage,100.00%,N/A,N/A,N/A

content/booklets/adacore-technologies-for-space-systems-software/chapters/introduction.rst

@@ -0,0 +1,4 @@
+Code coverage versus criticality category,A,B,C,D
+Source code statement coverage,100.00%,100.00%,TBA,TBA
+Source code decision coverage,100.00%,100.00%,TBA,TBA
+Source code modified condition and decision coverage,100.00%,TBA,TBA,TBA

content/booklets/adacore-technologies-for-space-systems-software/chapters/programming.rst

@@ -0,0 +1,22 @@
+CWE Weakness,Description
+"CWE 119, 120, 123, 124, 125, 126, 127, 129, 130, 131",Buffer overflow/underflow
+"CWE 136, 137","Variant record field violation, Use of incorrect type in inheritance hierarchy"
+CWE 188,Reliance on data layout
+"CWE 190, 191",Numeric overflow/underflow
+CWE 193,Off-by-one error
+CWE 194,Unexpected sign extension
+CWE 197,Numeric truncation error
+"CWE 252, 253",Unchecked or incorrectly checked return value
+CWE 366,Race Condition
+CWE 369,Division by zero
+"CWE 456, 457",Use of uninitialized variable
+"CWE 466, 468, 469",Pointer errors
+CWE 476,Null pointer dereference
+CWE 562,Return of stack variable address
+CWE 563,Unused or redundant assignment
+CWE 682,Range constraint violation
+"CWE 786, 787, 788, 805",Buffer access errors
+CWE 820,Missing synchronization
+CWE 821,Incorrect synchronization
+"CWE 822, 823, 824, 825",Pointer errors
+CWE 835,Infinite loop