ETSI's Bug Tracker - Ext Pack: Continuous signal support (ES 202 786) |
| View Issue Details |
|
| ID | Project | Category | View Status | Date Submitted | Last Update |
| 0005110 | Ext Pack: Continuous signal support (ES 202 786) | Clarification | public | 24-04-2009 18:29 | 23-01-2012 21:30 |
|
| Reporter | user540 | |
| Assigned To | Jens Grabowski | |
| Priority | high | Severity | feature | Reproducibility | have not tried |
| Status | closed | Resolution | fixed | |
| Platform | | OS | | OS Version | |
| Product Version | | |
| Target Version | v1.1.1 (published 2012-04) | Fixed in Version | v1.1.1 (published 2012-04) | |
|
| Summary | 0005110: Concepts to specify tests for continuous systems |
| Description | Embedded systems play an ever increasing role in the realization of
complex control functions in many industrial domains. In particular software-based control systems have specific characteristics and
the test technology used to test such systems has to address the different aspects of discrete behaviors for the communication sequences, continuous behaviors for the control sequences (i.e. control sequences in interaction with sensors/actuators, with other system components and the user). Actually TTCN-3 lacks support to test continuous systems. We propose to introduce such concepts to the language. In particular:
- the notions of time and sampling,
- the notions of streams, stream ports and stream variables, and
- the definition of an automaton alike control flow structure to support the
specification of hybrid behavior.
|
| Steps To Reproduce | |
| Additional Information | |
| Tags | No tags attached. |
| Relationships | | related to | 0004275 | closed | Ina Schieferdecker | Part 01: TTCN-3 Core Language | New Concepts to be defined via Packages |
|
| Attached Files |  Continuous-TTCN3-Concepts_consolidated.pptx (649,439) 24-04-2009 18:29
http://oldforge.etsi.org/mantis/file_download.php?file_id=2116&type=bug
 es_TTCN3Package C-TTCN-3.doc (580,096) 03-12-2009 11:58
http://oldforge.etsi.org/mantis/file_download.php?file_id=2275&type=bug
Continuous-TTCN3-Concepts_final.pptx (531,460) 03-12-2009 11:59
http://oldforge.etsi.org/mantis/file_download.php?file_id=2276&type=bug
Continuous-TTCN3-Concepts_V0.2.pptx (531,594) 07-12-2009 16:55
http://oldforge.etsi.org/mantis/file_download.php?file_id=2281&type=bug
es_TTCN3Package C-TTCN-3_V0.2.doc (836,096) 07-12-2009 16:55
http://oldforge.etsi.org/mantis/file_download.php?file_id=2282&type=bug
es_TTCN3PackageRT-TTCN-3-100121.doc (267,776) 16-02-2010 14:35
http://oldforge.etsi.org/mantis/file_download.php?file_id=2338&type=bug
es_TTCN3Package C-TTCN-3_V0.4.doc (891,904) 27-09-2011 16:20
http://oldforge.etsi.org/mantis/file_download.php?file_id=2564&type=bug
es_TTCN3Package C-TTCN-3_V0.6.doc (829,440) 01-12-2011 10:43
http://oldforge.etsi.org/mantis/file_download.php?file_id=2639&type=bug
 es_TTCN3Package C-TTCN-3_V0.7.zip (393,993) 01-12-2011 12:44
http://oldforge.etsi.org/mantis/file_download.php?file_id=2640&type=bug |
|
| Issue History |
| Date Modified | Username | Field | Change |
| 24-04-2009 18:29 | user540 | New Issue | |
| 24-04-2009 18:29 | user540 | File Added: Continuous-TTCN3-Concepts_consolidated.pptx | |
| 24-04-2009 18:29 | user540 | Clause Reference(s) | => ?? |
| 24-04-2009 18:29 | user540 | Source (company - Author) | => |
| 30-06-2009 09:42 | Ina Schieferdecker | Project | TTCN-3 Change Requests => Part 01: TTCN-3 Core Language |
| 30-06-2009 09:43 | Ina Schieferdecker | Status | new => assigned |
| 30-06-2009 09:43 | Ina Schieferdecker | Assigned To | => Jens Grabowski |
| 30-06-2009 10:20 | Ina Schieferdecker | Category | TTCN-3 Core Language => Clarification |
| 30-06-2009 10:20 | Ina Schieferdecker | Target Version | => Edition 5.1.1 (not yet published) |
| 03-12-2009 11:58 | user540 | File Added: es_TTCN3Package C-TTCN-3.doc | |
| 03-12-2009 11:59 | user540 | File Added: Continuous-TTCN3-Concepts_final.pptx | |
| 03-12-2009 12:00 | user540 | Note Added: 0009081 | |
| 07-12-2009 16:55 | user540 | File Added: Continuous-TTCN3-Concepts_V0.2.pptx | |
| 07-12-2009 16:55 | user540 | File Added: es_TTCN3Package C-TTCN-3_V0.2.doc | |
| 16-02-2010 14:34 | Jens Grabowski | Note Added: 0009222 | |
| 16-02-2010 14:35 | Jens Grabowski | File Added: es_TTCN3PackageRT-TTCN-3-100121.doc | |
| 22-03-2010 17:27 | Gyorgy Rethy | Assigned To | Jens Grabowski => |
| 22-03-2010 17:27 | Gyorgy Rethy | Status | assigned => new |
| 23-03-2010 13:00 | Gyorgy Rethy | Assigned To | => Jens Grabowski |
| 23-03-2010 13:00 | Gyorgy Rethy | Priority | normal => low |
| 23-03-2010 13:00 | Gyorgy Rethy | Status | new => assigned |
| 29-06-2010 11:55 | Gyorgy Rethy | Project | Part 01: TTCN-3 Core Language => Ext Pack: Perf & Real Time Testing (ES 202 782) |
| 30-11-2010 13:29 | Gyorgy Rethy | Note Added: 0009842 | |
| 03-12-2010 09:49 | Gyorgy Rethy | Project | Ext Pack: Perf & Real Time Testing (ES 202 782) => Ext Pack: Continuous signal support (ES 202 786) |
| 07-12-2010 13:49 | Gyorgy Rethy | Assigned To | Jens Grabowski => |
| 07-12-2010 13:49 | Gyorgy Rethy | Target Version | Edition 4.3.1 (not yet published) => v1.1.1 |
| 25-05-2011 11:50 | Sebastian Muellers | Assigned To | => Ina Schieferdecker |
| 25-05-2011 12:02 | Ina Schieferdecker | Assigned To | Ina Schieferdecker => Jens Grabowski |
| 26-05-2011 15:50 | Ina Schieferdecker | Relationship added | related to 0004275 |
| 29-06-2011 14:19 | Jens Grabowski | Assigned To | Jens Grabowski => Jacob Wieland - Spirent |
| 27-09-2011 16:20 | Jacob Wieland - Spirent | File Added: es_TTCN3Package C-TTCN-3_V0.4.doc | |
| 27-09-2011 16:23 | Jacob Wieland - Spirent | Note Added: 0010252 | |
| 27-09-2011 16:23 | Jacob Wieland - Spirent | Assigned To | Jacob Wieland - Spirent => Jens Grabowski |
| 30-11-2011 13:39 | Gyorgy Rethy | Priority | low => high |
| 01-12-2011 10:43 | Jens Grabowski | File Added: es_TTCN3Package C-TTCN-3_V0.6.doc | |
| 01-12-2011 10:45 | Jens Grabowski | Note Added: 0010463 | |
| 01-12-2011 10:55 | Jens Grabowski | Assigned To | Jens Grabowski => Jacob Wieland - Spirent |
| 01-12-2011 12:44 | Jacob Wieland - Spirent | File Added: es_TTCN3Package C-TTCN-3_V0.7.zip | |
| 01-12-2011 12:45 | Jacob Wieland - Spirent | Note Added: 0010476 | |
| 01-12-2011 12:46 | Jacob Wieland - Spirent | Assigned To | Jacob Wieland - Spirent => |
| 01-12-2011 12:54 | Jens Grabowski | Assigned To | => Jens Grabowski |
| 23-01-2012 21:30 | Gyorgy Rethy | Note Added: 0010547 | |
| 23-01-2012 21:30 | Gyorgy Rethy | Status | assigned => closed |
| 23-01-2012 21:30 | Gyorgy Rethy | Resolution | open => fixed |
| 23-01-2012 21:30 | Gyorgy Rethy | Fixed in Version | => v1.1.1 |
|
Notes |
|
|
(0009081)
|
|
user540
|
|
03-12-2009 12:00
|
|
|
I've updated the slides describing the continuous concepts and added a new package description draft. |
|
|
|
|
The resolution of this CR will become part of the Real Time Package. CR 4483
and this CR are merged into this CR. The Real Time Package Draft is uploaded into this CR. |
|
|
|
|
|
STF discussion on 30/11/2010: propose a new WI on continuous signal testing; to be postponed to 2011. |
|
|
|
|
I've reviewed and re-structured the text according to the Syntactical Structure, Semantic Description, Restrictions, Example pattern and moved all BNF rules into the BNF annex.
However, I'm not happy at all with the find/violates constructs as they don't seem to fit with the rest of the concepts (compositionally). I.e. it is unclear to me what their actual semantics shall be. Thus, I would propose to leave them out of the first version. |
|
|
|
|
|
es_TTCN3Package C-TTCN-3_V0.6.doc is for a short internal review of the STF. After the review, the text will be restructured according to the structure of the other extension packages. |
|
|
|
|
corrected definitions of lengthof/sizeof to be in sync with core standard.
Deleted superfluous chapter 8.
Otherwise, ok with me. |
|
|
|
|
|
Draft has been sent to TB MTS for approval |
|