CVS difference for ais/ai-00347.txt

Differences between 1.1 and version 1.2
Log of other versions for file ais/ai-00347.txt

--- ais/ai-00347.txt	2003/09/19 01:42:28	1.1
+++ ais/ai-00347.txt	2003/10/29 00:40:27	1.2
@@ -1,5 +1,11 @@
-!standard  H.00                                        03-08-11  AI95-00347/01
+!standard  H.00                                        03-10-23  AI95-00347/02
+!standard  1.1.2(13)
+!standard  H.00(1)
+!standard  H.04
+!standard  H.04(2)
 !class amendment 03-08-11
+!status Amendment 200Y 03-10-23
+!status ARG Approved 10-0-0  03-10-03
 !status work item 03-08-11
 !status received 03-08-11
 !priority Medium
@@ -56,7 +62,51 @@
 
 Not appropriate.
 
---!corrigendum H.00(00)
+!corrigendum 1.1.2(13)
+
+@drepl
+@xbullet<Annex H, ``Safety and Security''>
+@dby
+@xbullet<Annex H, ``High Integrity Systems''>
+
+!corrigendum H.00(00)
+
+@drepl
+Safety and Security
+@dby
+High Integrity Systems
+
+!corrigendum H.00(1)
+
+@drepl
+This Annex addresses requirements for systems that are safety critical or have
+security constraints. It provides facilities and specifies documentation
+requirements that relate to several needs:
+@dby
+This Annex addresses requirements for high integrity systems (including
+safety-critical systems and security-critical systems). It provides facilities
+and specifies documentation requirements that relate to several needs:
+
+!corrigendum H.04(00)
+
+@drepl
+Safety and Security Restrictions
+@dby
+High Integrity Restrictions
+
+!corrigendum H.04(02)
+
+@drepl
+The following restrictions, the same as in D.7, apply in this Annex:
+No_Task_Hierarchy, No_Abort_Statement, No_Implicit_Heap_Allocation,
+Max_Task_Entries is 0, Max_Asynchronous_Select_Nesting is 0, and Max_Tasks is
+0. The last three restrictions are checked prior to program execution.
+@dby
+The following restrictions, the same as in D.7, apply in this Annex:
+No_Task_Hierarchy, No_Abort_Statement, No_Implicit_Heap_Allocation,
+Max_Task_Entries is 0, Max_Asynchronous_Select_Nesting is 0, and Max_Tasks is
+0. The last three restrictions are checked prior to program execution.
+Pragma Profile(Ravenscar) applies in this Annex.
 
 !ACATS test
 

Questions? Ask the ACAA Technical Agent