CVS difference for ais/ai-00347.txt

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

--- ais/ai-00347.txt	2004/01/23 04:59:29	1.4
+++ ais/ai-00347.txt	2005/08/21 06:00:32	1.5
@@ -1,5 +1,6 @@
-!standard  H.00                                        03-12-03  AI95-00347/03
+!standard  H.00                                        05-08-08  AI95-00347/04
 !standard  1.1.2(13)
+!standard  13.12(10)
 !standard  H.00(1)
 !standard  H.04
 !standard  H.04(2)
@@ -55,6 +56,13 @@
 Add the following sentence to the end of paragraph H.4(2)
 Pragma Profile(Ravenscar) applies in this Annex.
 
+Change 13.11(10):
+
+Restrictions intended to facilitate the construction of efficient tasking
+run-time systems are defined in D.7. {Restrictions intended for use when
+constructing high integrity systems}[Safety- and security-related restrictions]
+are defined in H.4.
+
 !discussion
 
 (See problem.)
@@ -69,6 +77,17 @@
 @xbullet<Annex H, ``Safety and Security''>
 @dby
 @xbullet<Annex H, ``High Integrity Systems''>
+
+!corrigendum 13.12(10)
+
+@drepl
+@xindent<@s9<30 Restrictions intended to facilitate the construction of
+efficient tasking run-time systems are defined in D.7. Safety- and
+security-related restrictions are defined in H.4.>>
+@dby
+@xindent<@s9<30 Restrictions intended to facilitate the construction of
+efficient tasking run-time systems are defined in D.7. Restrictions intended
+for use when constructing high integrity systems are defined in H.4.>>
 
 !corrigendum H.00(00)
 

Questions? Ask the ACAA Technical Agent