Issue 13036: States like HALTED can not be realized as easy on platforms like VxWorks (amsm-ftf) Source: THALES (Mr. Willy Boenink, willy.boenink(at)nl.thalesgroup.com) Nature: Enhancement Severity: Significant Summary: States like HALTED can not be realized as easy on platforms like VxWorks. For a single task this is easy, but GNATworks based applications can be multithreaded (thus have a process like model). Supporting a HALTED state for GNATworks on VxWorks would require a special profile to be supported. This state must be made optional. Resolution: Move the HALTED state from the Normal Package to the Maximum Control Package as long as the matching functions and transitions Revised Text: Page 37: In section 7.1.4, replace the figure 7.7 ("Application class diagram (1/3)") with the following one: Page 44: In the 19th, 21st and 22nd row of the table of the section 7.1.4.3 (marked as "Load", "Stop" and "Continue"), add the following text in the first column: <<optional MC>>. At the end of the paragraphs 7.1.4.3.2 ("Continue") and 7.1.4.3.9 ("Stop"), add the following line: This method is optional ("Maximum Control" profile). Page 118 and following: Replace the figure 7.27 with the following one: In paragraph 7.1.14.1.4 ("Running"), replace the cell in the first row, second column with the following text: Halt the execution of the Software Element (e.g., a SIGSTOP on Unix). This transition is optional ("Maximum Control" profile). In paragraph 7.1.14.1.5 ("Halted"), add the following line before the line "Transitions": This state and its transitions are optional ("Maximum Control" profile). Actions taken: October 31, 2008: received issue July 23, 2009: closed issue Discussion: End of Annotations:===== m: webmaster@omg.org Date: 31 Oct 2008 07:44:35 -0500 To: Subject: Issue/Bug Report -------------------------------------------------------------------------------- Name: Willy Boenink Company: Thales Nederland mailFrom: willy.boenink@nl.thalesgroup.com Notification: No Specification: AMSM Section: 7.1.14.1 FormalNumber: dtc/2008-02-02 Version: Beta 2 RevisionDate: 02/02/2008 Page: 118 Nature: Enhancement Severity: Significant HTTP User Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-GB; rv:1.9) Gecko/2008051206 Firefox/3.0 Description States like HALTED can not be realized as easy on platforms like VxWorks. For a single task this is easy, but GNATworks based applications can be multithreaded (thus have a process like model). Supporting a HALTED state for GNATworks on VxWorks would require a special profile to be supported. This state must be made optional.