Issue 12862: NFP_Type (marte-ftf) Source: (, ) Nature: Revision Severity: Significant Summary: The priority of a FixedPriorityParameter to attach to a SchedulableResource must be of an NFP_Priority type in order to handle it from tools that deal with VSL and parametric descriptions. This is also the case of the priorityCeiling of a MutualExclusionResource. It is convenient to clarified or indicated how to specify the preemption level of the SchedulableResources by means of its scheduling parameters when the StackBasedProtocol is used. If the priority is used for that it should be stated, If an additional parameter is included, then its type should be also an NFP_Type Resolution: In order to handle them from tools that deal with VSL and parametric descriptions the most useful type for priority and ceiling is clearly NFP_Integer, it seems that the use of Integer instead has been just a typo, and it is easy to solve with no harmful implications. For simplicity on the one hand, and for the co-existence of both protocols in a combined EDF-FP platform on the other hand, it is convenient to use the Ceiling attribute to hold both, the priorityCeiling and the preemptionLevel of a mutualExclusionResource under the priorityCeiling and StackBased protection protocols respectively. Since both may be handled with an NFP_Integer type, the restriction already stated in the explanation of the ceiling attribute (section 10.3.2.9 page 104) is applicable also. This is the case for some other values using integer types in GRM, so a consistent modification of them is worth doing. Revised Text: see ptc/2009-05-12 pages 279 - 284 Actions taken: September 26, 2008: received issue October 16, 2009: closed issue Discussion: End of Annotations:===== m: webmaster@omg.org Date: 26 Sep 2008 09:27:17 -0400 To: Subject: Issue/Bug Report -------------------------------------------------------------------------------- Name: Patricia López Company: Universidad de Cantabria mailFrom: lopezpa@unican.es Notification: Yes Specification: UML Profile for MARTE Section: GRM FormalNumber: ptc/08-06-08 Version: Beta 2 RevisionDate: 06/08/2008 Page: 85+ Nature: Revision Severity: Significant HTTP User Agent: Mozilla/4.0 (compatible; MSIE 6.0; Windows NT 5.1; SV1) Description The priority of a FixedPriorityParameter to attach to a SchedulableResource must be of an NFP_Priority type in order to handle it from tools that deal with VSL and parametric descriptions. This is also the case of the priorityCeiling of a MutualExclusionResource. It is convenient to clarified or indicated how to specify the preemption level of the SchedulableResources by means of its scheduling parameters when the StackBasedProtocol is used. If the priority is used for that it should be stated, If an additional parameter is included, then its type should be also an NFP_Type