Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
TTCN-3 Libraries
LibIts
Commits
6923d0bb
Commit
6923d0bb
authored
Jan 27, 2021
by
Yann Garcia
Browse files
Validate AtsSpatem
parent
18a7b38a
Changes
3
Hide whitespace changes
Inline
Side-by-side
ttcn/MapemSpatem/LibItsMapemSpatem_Pics.ttcn
View file @
6923d0bb
...
@@ -88,13 +88,13 @@ module LibItsMapemSpatem_Pics {
...
@@ -88,13 +88,13 @@ module LibItsMapemSpatem_Pics {
* @desc Support for SPATEM reception
* @desc Support for SPATEM reception
* @see TODO
* @see TODO
*/
*/
modulepar
boolean
PICS_SPATEM_PEDESTRIAN_MANOEUVRES
:=
fals
e
;
modulepar
boolean
PICS_SPATEM_PEDESTRIAN_MANOEUVRES
:=
tru
e
;
/**
/**
* @desc Support for SPATEM reception
* @desc Support for SPATEM reception
* @see TODO
* @see TODO
*/
*/
modulepar
boolean
PICS_SPATEM_SPECIALIZED_MANOEUVRES
:=
fals
e
;
modulepar
boolean
PICS_SPATEM_SPECIALIZED_MANOEUVRES
:=
tru
e
;
/**
/**
* @desc Support for SPATEM reception
* @desc Support for SPATEM reception
...
@@ -112,31 +112,25 @@ module LibItsMapemSpatem_Pics {
...
@@ -112,31 +112,25 @@ module LibItsMapemSpatem_Pics {
* @desc Support for SPATEM reception
* @desc Support for SPATEM reception
* @see TODO
* @see TODO
*/
*/
modulepar
boolean
PICS_SPATEM_
PEDESTRIAN_MAOEUVRES
:=
fals
e
;
modulepar
boolean
PICS_SPATEM_
HAS_OPTIMAL_SPEED
:=
tru
e
;
/**
/**
* @desc Support for SPATEM reception
* @desc Support for SPATEM reception
* @see TODO
* @see TODO
*/
*/
modulepar
boolean
PICS_SPATEM_HAS_
OPTIMAL
_SPEED
:=
fals
e
;
modulepar
boolean
PICS_SPATEM_HAS_
SIGNAL_PROGRESSION
_SPEED
:=
tru
e
;
/**
/**
* @desc Support for SPATEM reception
* @desc Support for SPATEM reception
* @see TODO
* @see TODO
*/
*/
modulepar
boolean
PICS_SPATEM_HAS_
SIGNAL_PROGRESSION_SPEED
:=
fals
e
;
modulepar
boolean
PICS_SPATEM_HAS_
EGRESS_QUEUE
:=
tru
e
;
/**
/**
* @desc Support for SPATEM reception
* @desc Support for SPATEM reception
* @see TODO
* @see TODO
*/
*/
modulepar
boolean
PICS_SPATEM_HAS_EGRESS_QUEUE
:=
false
;
modulepar
boolean
PICS_SPATEM_TRANSMISSION_RATE
:=
true
;
/**
* @desc Support for SPATEM reception
* @see TODO
*/
modulepar
boolean
PICS_SPATEM_TRANSMISSION_RATE
:=
false
;
modulepar
float
PICS_T_GEN_SPATEM_MIN
:=
0.1
;
modulepar
float
PICS_T_GEN_SPATEM_MIN
:=
0.1
;
...
...
ttcn/MapemSpatem/LibItsMapemSpatem_Templates.ttcn
View file @
6923d0bb
...
@@ -878,20 +878,20 @@ module LibItsMapemSpatem_Templates {
...
@@ -878,20 +878,20 @@ module LibItsMapemSpatem_Templates {
}
}
template
(
present
)
MovementEvent
mw_movementEvent
(
template
(
present
)
MovementEvent
mw_movementEvent
(
in
template
(
present
)
MovementPhaseState
p_eventState
:=
?
,
template
(
present
)
MovementPhaseState
p_eventState
:=
?
,
in
template
TimeChangeDetails
p_timing
:=
*
,
template
TimeChangeDetails
p_timing
:=
*
,
in
template
MovementEvent
.
speeds
p_speeds
:=
*
template
MovementEvent
.
speeds
p_speeds
:=
*
)
:=
{
)
:=
{
eventState
:=
stop_Then_Proceed
,
// Consisting of: Phase state (the basic 11 states) and Directional, protected, or permissive state
eventState
:=
p_eventState
,
// Consisting of: Phase state (the basic 11 states) and Directional, protected, or permissive state
timing
:=
p_timing
,
// Timing Data in UTC time stamps for event includes start and min/max end times of phase confidence and estimated next occurrence
timing
:=
p_timing
,
// Timing Data in UTC time stamps for event includes start and min/max end times of phase confidence and estimated next occurrence
speeds
:=
p_speeds
,
// Various speed advisories for use by general and specific types of vehicles supporting green-wave and other flow needs
speeds
:=
p_speeds
,
// Various speed advisories for use by general and specific types of vehicles supporting green-wave and other flow needs
regional
:=
*
regional
:=
*
}
}
template
(
present
)
TimeChangeDetails
mw_timeChangeDetails
(
template
(
present
)
TimeChangeDetails
mw_timeChangeDetails
(
in
template
(
present
)
TimeMark
p_minEndTime
:=
?
,
template
(
present
)
TimeMark
p_minEndTime
:=
?
,
in
template
TimeMark
p_startTime
:=
*
,
template
TimeMark
p_startTime
:=
*
,
in
template
TimeMark
p_nextTime
:=
*
template
TimeMark
p_nextTime
:=
*
)
:=
{
)
:=
{
startTime
:=
p_startTime
,
startTime
:=
p_startTime
,
minEndTime
:=
p_minEndTime
,
minEndTime
:=
p_minEndTime
,
...
@@ -902,8 +902,8 @@ module LibItsMapemSpatem_Templates {
...
@@ -902,8 +902,8 @@ module LibItsMapemSpatem_Templates {
}
}
template
(
present
)
ConnectionManeuverAssist
mw_connectionManeuverAssist
(
template
(
present
)
ConnectionManeuverAssist
mw_connectionManeuverAssist
(
in
template
(
present
)
LaneConnectionID
p_connectionID
:=
?
,
template
(
present
)
LaneConnectionID
p_connectionID
:=
?
,
in
template
PedestrianBicycleDetect
p_pedBicycleDetect
:=
?
template
(
present
)
PedestrianBicycleDetect
p_pedBicycleDetect
:=
?
)
:=
{
)
:=
{
connectionID
:=
p_connectionID
,
connectionID
:=
p_connectionID
,
queueLength
:=
*
,
queueLength
:=
*
,
...
@@ -914,9 +914,9 @@ module LibItsMapemSpatem_Templates {
...
@@ -914,9 +914,9 @@ module LibItsMapemSpatem_Templates {
}
}
template
(
present
)
ConnectionManeuverAssist
mw_connectionManeuverAssist_queueAndAvailableStorageLength
(
template
(
present
)
ConnectionManeuverAssist
mw_connectionManeuverAssist_queueAndAvailableStorageLength
(
in
template
(
present
)
LaneConnectionID
p_connectionID
:=
?
,
template
(
present
)
LaneConnectionID
p_connectionID
:=
?
,
in
template
ZoneLength
p_queueLength
:=
?
,
template
(
present
)
ZoneLength
p_queueLength
:=
?
,
in
template
ZoneLength
p_availableStorageLength
:=
?
template
(
present
)
ZoneLength
p_availableStorageLength
:=
?
)
:=
{
)
:=
{
connectionID
:=
p_connectionID
,
connectionID
:=
p_connectionID
,
queueLength
:=
p_queueLength
,
queueLength
:=
p_queueLength
,
...
...
ttcn/MapemSpatem/LibItsMapemSpatem_TypesAndValues.ttcn
View file @
6923d0bb
...
@@ -73,10 +73,15 @@ module LibItsMapemSpatem_TypesAndValues {
...
@@ -73,10 +73,15 @@ module LibItsMapemSpatem_TypesAndValues {
}
}
type
enumerated
Event
{
type
enumerated
Event
{
mapProfile0
(
0
),
mapProfile0
(
0
),
mapProfile1
(
1
),
mapProfile1
(
1
),
mapProfile2
(
2
),
mapProfile2
(
2
),
spatProfile0
(
3
)
spatProfile0
(
3
),
spatProfile1
(
4
),
spatProfile2
(
5
),
spatProfile3
(
6
),
tlmPedestrianDetected
(
10
),
stopTLMService
(
20
)
}
with
{
}
with
{
variant
"FIELDLENGTH(8)"
variant
"FIELDLENGTH(8)"
}
}
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment