View Issue Details

Jump to NotesJump to History
IDProjectCategoryView StatusDate SubmittedLast Update
000536510000-009: Alarms and ConditionsSpecpublic2019-12-27 05:582020-07-20 15:49
ReporterPaul Hunkar Assigned ToPaul Hunkar  
PrioritynormalSeverityminorReproducibilityalways
Status closedResolutionfixed 
Summary0005365: Fixed inconsistencies between nodeset file and specification
Description

The model checker identified a number of inconsistencies between the specification and the Nodeset file. Some of these were also inconsistencies in the specification. This mantis issue updated all including

HasTrueSubState illustration in the TwoStateVariableType table definition
HasFalseSubState illustration in the TwoStateVariableType table definition
should only be described in the text below the table, since they are optional references that can be used

In conditionRefresh method table and in Conditionrefresh2 method table
The AlwaysGeneratesEvent references should be pointing to the EventType - need to add "Type" to the event names

AlarmConditiontype
LatchedStateis a variable and should be listed as a variable
also Subtype need to include that they are "Type"

ExclusiveLimitAlarmType
has tabel entry that has a duplicated Type - delete second type

AuditConditionRespondEventType
Unt32 needs to be UInt32

TagsNo tags attached.
Commit Version
Fix Due Date

Relationships

has duplicate 0005803 closedJim Luth AlarmConditionType HasSubtype references have wrong NodeClass 

Activities

Paul Hunkar

2019-12-27 06:27

developer   ~0011384

Fixed All issues as indicated

Jim Luth

2020-03-05 16:51

administrator   ~0011685

Agreed to fixes edited in Dallas Meeting.

Issue History

Date Modified Username Field Change
2019-12-27 05:58 Paul Hunkar New Issue
2019-12-27 05:58 Paul Hunkar Status new => assigned
2019-12-27 05:58 Paul Hunkar Assigned To => Paul Hunkar
2019-12-27 06:17 Paul Hunkar Description Updated
2019-12-27 06:27 Paul Hunkar Status assigned => resolved
2019-12-27 06:27 Paul Hunkar Resolution open => fixed
2019-12-27 06:27 Paul Hunkar Fixed in Version => 1.05
2019-12-27 06:27 Paul Hunkar Note Added: 0011384
2020-03-05 16:51 Jim Luth Status resolved => closed
2020-03-05 16:51 Jim Luth Note Added: 0011685
2020-07-20 15:49 Jim Luth Relationship added has duplicate 0005803