Issue 11780: SAM: General (marte-ftf) Source: Fundacion Tecnalia Research and Innovation (Mr. Huascar Espinoza Ph.D., Huascar.Espinoza(at)tecnalia.com) Nature: Enhancement Severity: Significant Summary: SAM: General] Time-triggered system modelling are supported in some way by the TimeTableDriven scheduling policy (fig 10-19). However, it is not clear how to specify a table (format) and where (e.g. Scheduler stereotype, schedule: OpaqueExpression attribute?). Some examples for time-triggered system modelling should be provided in MARTE. Resolution: Schedulers of the other variants of SchedPolicyKind use configuration parameters which are expressed in the SchedulableResource::SchedParameters attributes. To be consistent, when modeling TimeTableDriven scheduling, the SchedParameters stereotype SHALL include a tag definition SchedParameters::tableEntry of type OpaqueExpression which SHALL store the information necessary to schedule the SchedulableResource according to the algorithm of the Scheduler's time-triggered, table-based scheduling. The algorithm of the time-triggered, table-based scheduler SHALL be expressed within the Scheduler::schedule's OpaqueExpression. Revised Text: In Figure 10.11, on page 93, provide the tag definitions of SchedParameters as stated and revised in Section 10.3.3.8. In Figure 10.14, on page 96, provide the stereotype SchedParameters and enumerate its tag definition attributes as stated and revised in Section 10.3.3.8. Show that SchedParameters extends UML::Classes::Kernel::InstanceSpecification. In Figure 10.19, on page 99, provide the tag definitions of SchedParameters as stated and revised in Section 10.3.3.8. In Section 10.3.3.8, on page 112, add the Attribute tag definition of tableEntry with this definition: o tableEntry: OpaqueExpression [0..*] parameters used for the particular SchedulableResource in a time-triggered, table-based scheduler whose algorithm is expressed in the associated Scheduler::schedule. In Section F.4.31, on page 529, replace the absence of content with appropriate text that relates to the content in Section 10.3.3.8. In Section 10.4, on page 113, provide a simple example which expresses an algorithm (preferably in no specific programming language) for time-triggered, table-based scheduling within an instance of a Scheduler::schedule attribute and which uses per-SchedulableResource scheduling parameters expressed in the tableEntry attributes of a SchedParameters. Actions taken: December 7, 2007: received issue February 17, 2010: closed issue Discussion: End of Annotations:===== m: webmaster@omg.org Date: 07 Dec 2007 09:34:08 -0500 To: Subject: Issue/Bug Report -------------------------------------------------------------------------------- Name: Dr. Huascar Espinoza Company: CEA LIST mailFrom: huascar.espinoza@cea.fr Notification: Yes Specification: UML Profile for MARTE Section: SAM FormalNumber: ptc/07-08-04 Version: Beta 1 RevisionDate: 08/04/07 Page: 97 Nature: Enhancement Severity: Significant HTTP User Agent: Mozilla/4.0 (compatible; MSIE 6.0; Windows NT 5.1; SV1; .NET CLR 2.0.50727; InfoPath.1) Description [SAM: General] Time-triggered system modelling are supported in some way by the TimeTableDriven scheduling policy (fig 10-19). However, it is not clear how to specify a table (format) and where (e.g. Scheduler stereotype, schedule: OpaqueExpression attribute?). Some examples for time-triggered system modelling should be provided in MARTE. Subject: SAM, see the Wiki discussion on issue 11780 Date: Wed, 19 Mar 2008 13:57:24 +0100 X-MS-Has-Attach: X-MS-TNEF-Correlator: Thread-Topic: SAM, see the Wiki discussion on issue 11780 Thread-Index: AciJvaUUUrrGzSICQeGf2kf7WiPgrAAAX47w From: "Medina Pasaje, Julio Luis" To: Sébastien Demathieu , "VanZandt, Lonnie" Cc: X-OriginalArrivalTime: 19 Mar 2008 12:57:25.0103 (UTC) FILETIME=[C7551FF0:01C889C0] X-imss-version: 2.050 X-imss-result: Passed X-imss-scanInfo: M:P L:E SM:0 X-imss-tmaseResult: TT:0 TS:0.0000 TC:00 TRN:0 TV:5.0.1023(15796.003) X-imss-scores: Clean:73.66684 C:2 M:12 S:5 R:5 X-imss-settings: Baseline:1 C:1 M:2 S:2 R:2 (0.0000 0.0000) X-MIME-Autoconverted: from quoted-printable to 8bit by amethyst.omg.org id m2JCviN4002729 Lonnie, Huascar Please see if this helps in the resolution of this issue. The idea is to generate an example of expression that may fit this strudture. http://www.omgwiki.org/marte/doku.php?id=sam_wg:11780_draft If you think that it is useful, we may add an additional Attribute in SchedParams choiceType speciall for table-driven also opaque... In fact it is not typically used for implementation, since in this approach most actions are taken by the scheduler, but for some validation techniques it may be useful to know which windows or slices correspond to the schedulableresource. Cheers, Julio