!standard D.7 (10)                                   03-09-24  AI95-00353/01
!class amendment 02-09-24
!status work item 02-09-24
!status received 02-09-24
!priority High
!difficulty Medium
!subject New Restrictions identifier No_Synchronous_Control

!summary

A new Restricitions identifier is needed to specify that there are no
dependencies on Ada.Synchronous_Task_Control to enable the development of
runtime systems that do not include any part of an Ada tasking kernel.

!problem

In some implementations, the feature Ada.Synchronous_Task_Control requires the
inclusion of a portion of the tasking module of an Ada runtime system. To
enable the development of a minimal runtime system that eliminates all of the
Ada tasking and scheduling features, a new restriction is needed to specify
that there are no dependencies on Ada.Synchronous_Task_Control.

!proposal

The following new pragma Restrictions identifier is identified and applies to
the alternative mode of operation defined by the ARINC_653_Processes Profile:

     No_Synchronous_Control

There are no dependencies on Ada.Synchronous_Task_Control.

!wording

Following paragraph 10 of section D.7 add the following

No_Synchronous_Control
          There are no dependencies on Ada.Synchronous_Task_Control.

!discussion

!example

--!corrigendum D.7(10)

!ACATS test

An ACATS test should be created for this pragma.

!appendix

From: Joyce Tokar
Sent: Wednesday, September 24, 2003  12:11 PM

Attached please find two candidate AIs that are a result of last week's IRTAW
meeting.  I am submitting these for consideration of the ARG at the next
meeting.

****************************************************************