ETSI's Bug Tracker - Ext Pack: Continuous signal support (ES 202 786)
View Issue Details

ID | Project | Category | View Status | Date Submitted | Last Update
0006626 | Ext Pack: Continuous signal support (ES 202 786) | Clarification | public | 07-10-2013 14:12 | 20-06-2014 10:14

Reporter | Tomas Urban |
Assigned To | Jens Grabowski |
Priority | normal | Severity | minor | Reproducibility | have not tried
Status | closed | Resolution | fixed |
Platform |  | OS |  | OS Version |
Product Version | v1.1.1 (published 2012-04) |
Target Version | v1.3.1 (published 2015-06) | Fixed in Version |  |

Summary | 0006626: Continuous signalling: restriction on blocking operations in modes

Description

The current specification contains several identical restrictions forbidding the use of blocking statements in various sections of mode statements. I found two issues concerning these rules:
1. The rules don't include functions called from these places, thus an additional rule shall be added saying that functions invoked from modes cannot contain blocking statements and also modes. (Because that would mess up the sampling mechanism. For the same reasons, modes are forbidden in the cont statement).
2. The rule shall be general for the whole mode statement. Currently it is used in places where blocking operations are syntactically possible. However, when functions mentioned in the previous point are considered, it should be added to more places, such as guards of the until block and invariant statements. In my opinion, it is better to create a general rule with one notable exception - the trigger part of the until statement (in which case the "blocking" commands are actually not causing real blocking)

Steps To Reproduce |
Additional Information |
Tags | No tags attached.
Relationships |
Attached Files | CR6626_v1.docx (23,104) 09-04-2014 16:31 http://oldforge.etsi.org/mantis/file_download.php?file_id=2985&type=bug

Issue History
Date Modified | Username | Field | Change
07-10-2013 14:12 | Tomas Urban | New Issue |
07-10-2013 14:12 | Tomas Urban | Clause Reference(s) | => 5.4.1
07-10-2013 14:12 | Tomas Urban | Source (company - Author) | => Elvior
07-10-2013 14:18 | Gyorgy Rethy | Project | TTCN-3 Change Requests => Ext Pack: Continuous signal support (ES 202 786)
07-10-2013 14:19 | Gyorgy Rethy | Assigned To | => Jens Grabowski
07-10-2013 14:19 | Gyorgy Rethy | Status | new => assigned
07-10-2013 14:19 | Gyorgy Rethy | Target Version | => v1.2.1 (published 2014-06)
08-04-2014 12:06 | Jens Grabowski | Assigned To | Jens Grabowski => Tomas Urban
08-04-2014 17:11 | Gyorgy Rethy | Product Version | => v1.1.1 (published 2012-04)
08-04-2014 17:11 | Gyorgy Rethy | Target Version | v1.2.1 (published 2014-06) => v1.3.1 (published 2015-06)
09-04-2014 16:31 | Tomas Urban | File Added: CR6626_v1.docx |
09-04-2014 16:34 | Tomas Urban | Note Added: 0011976 |
09-04-2014 16:34 | Tomas Urban | Assigned To | Tomas Urban => Jens Grabowski
10-04-2014 11:14 | Tomas Urban | Status | assigned => confirmed
20-06-2014 10:14 | Jens Grabowski | Note Added: 0012179 |
20-06-2014 10:14 | Jens Grabowski | Status | confirmed => closed
20-06-2014 10:14 | Jens Grabowski | Resolution | open => fixed

Notes

(0011976)
Tomas Urban
09-04-2014 16:34

Resolution uploaded. Please check.

(0012179)
Jens Grabowski
20-06-2014 10:14

Implemented as proposed in Draft of next version.