IEEE P1076.1 Working Group Telco Meeting Minutes - July 8, 2015, 8am PDT (15:00 UTC)

Status: approved by WG on August 12, 2015

Attendees

• Ernst Christen, Mentor Graphics (WG chair)
• Alain Vachoux, EPFL (LRM editor)
• David Smith (Treasurer)
• Joachim Haase (note taker)

This was a web meeting. The main discussion topics of the meeting are covered by the meeting slides. The minutes complement the meeting slides.

Agenda

• Call to order
• Approval of agenda
• Administrative issues
  • Minutes of June 10, 2015 meeting
  • Review of IEEE patent policy
  • PAR status
  • Public reviews follow-up
• Project discussions
  • LCS 201x-03 Architecture statements: review follow-up
  • LCS 201x-04 Types and natures review
  • LRM status
  • Table-Driven Modeling
• Next meeting
• AOB
• Adjourn

Call to order

Ernst started the meeting at 8:03 am PDT.

Approval of agenda

Agenda was approved with no objections. David moved, Alain seconded.

Administrative issues

Approval of June 10, 2015 minutes
The June 10, 2015 minutes were approved after correction, with motion by Alain seconded by David.

Patent policy
Ernst offered to show the patent policy, but presentation was unnecessary since the attendees are all regulars.

PAR status
PAR was confirmed by the IEEE-SA Standards Activities Board. It is valid for two more years.

Public reviews follow-up
Ernst attended a training on the Public Review procedure. Ernst will make the slides of the Review Committee available on this site. The schedule of the WG was updates in accordance with the new procedure.

Project discussion

LCS 201x-03 Architecture statements: review follow-up
The LCS 201x-03-201x is available in the Member-only area. There are two schemes to integrate Simultaneous Statements into Clause 11 Concurrent Statements in the LCS document. The flat organization seems to be better. Tools access numbering from the LRM. It is an disadvantage that with the hierarchical approach numbering will be changed. The structural statement should be introduced as a statement to represent the structural decomposition of a model. It was agreed to subdivide concurrent statements into concurrent and structural statements. There are no real consequences for the grammar. Alain prepared comments to the LCS 201x-03 that were also discussed. The feedback will be taken into a consolidated updated document for LCS 201x-03.

Alain asked when he can bring the LCS to the revised LRM. Ernst explainded the procedure. The status is recorded in a LCS. After analysis and revision, a LCS can be approved by the attendees of a WG meeting with quorum. At this point, it can be brought to the revised LRM. The whole WG shall only be asked if the LRM revision is completed.

LCS 201x-04 Types and natures review
This LCS is part of creating the Baseline LRM, focusing specifically on the changes related to supporting unconstrained, fully constrained and partially constrained natures and subnatures. Ernst explained the details. The advice was given to have a look at the LCS and give feedback to Ernst.

LRM status
For details see the meeting slides. It was suggested to work with the documents for individual chapters to create a LCS.

Table-driven modelling
There was no progress.Joachim will prepare a short note on handling parameters for the PREPARE-TABLE_DATA function for the multi-dimensional case.

Vector/Matrix Operations
No update available

Handling of copyrighted material
No progress

Next steps

• Handling of copyrighted material.
• P&P revision to take away the treasurer position.

Next meeting

Wednesday, August 12, 2015, 8.00am PDT (15:00 UTC).

AOB

No other business.

Adjourn

The meeting was adjourned at 9:12am PDT.

-- JoachimHaase - 2015-07-09