Statemate version 4.6.1.3 Release Notes

IBM Corporation
11 Apr, 2011

 

 

© Copyright IBM Corporation 1989, 2011
U.S. Government Users Restricted Rights - Use, duplication, or disclosure restricted by GSA ADP Schedule Contract with IBM Corp.

This file contains last-minute product information and updates to Statemate 4.6.1.3

It is divided into the following sections:

For the latest news and information on Rational Statemate, visit the Web site at http://www.ibm.com/software/rational/support/.

System requirements

To run Statemate 4.6.1.3 you need:

Operating System

Required Software

Supported Compilers

Hardware

Solaris 5.10

OpenWindows

Sun Studio 12 Update 1
GNAT Ada gcc 2.8.1

sun4u sparc SUNW,A70
1 GB RAM
Approximately 500Mb free
disk space

Windows XP SP3
Windows 7

MKS XServer 8.5
MKS Platform
Components 9.4

Microsoft Visual C++ 2008

Intel® Core™2CPU, 2 GHz
Minimum 1 GB, recommended 2 GB RAM
Approximately 600Mb free
disk space

 

At the time of writing, the third party products tested with <productname> n.n are:

 

Compatible products

  • Adobe Acrobat Reader 6.0 or newer
  • CANoe V3.0
  • ClearCase V3.1.1
  • Continuous 4.5
  • DOORS 9.2, 9.3.0.1 (Windows Systems)
  • dSPACE (models 1102 & 1103)
  • dSPACE ControlDesk 1.2 P2
  • FlexNet v 11.5.0.0
  • FrameMaker 7.0
  • PVCS Version Manager v6.7.00 (Build 894)
  • QNX V6.3.2
  • VxWorks: 5.4 (Tornado 2.0)
  • Word 2003
  • GNAT ADA version 2.8.1 (Solaris)

 

Installing Statemate 4.6.1.3

Before installing, it is recommended that you check in and unlock all configuration items in all workareas.
For more information, see the Statemate Administrator’s Guide and Statemate Installation Guide.


Obtaining a license for Statemate

Statemate uses Telelogic Lifecycle Solutions licensing. - hidden
For more details about obtaining a license, please see “TLS_licensing_guide”. - hidden
The file can be found on the distribution CD, under “license_server_windows_1.3” - hidden
directory for Windows, and under “license_server_1.3” directory for Solaris. – hidden
For details about obtaining a license, please refer to Statemate customer support.

What's new in version 4.6.1.3

    • The Check-model tool was enhanced to allow insertion of user comments in the Message Suppression View.
    • A new Check-model test was added to report a warning when the model includes transition priorities, and Statemate is running in Classic mode.
    • A "Delete Empty" button was added to the attributes matrix in the attributes form, to delete all un-enforced attributes with no value.
    • Statemate was enhanced to support DOORS 9.3.0.1 (version 9.3 is not supported).
    • Workarea backup option was added by creating copies of the charts.data file in the workarea, for use in case of workarea corruption. Creation of the backups is active when setting the environment variable STM_DO_AUTOSAVE.
    • Statemate was enhanced to automatically use the pm.old file when parsing of the pm.dat file fails. This behavior is available when setting the environment variable STM_AUTO_PM_RECOVERY.
    • New dataport function was added to retrieve truth-table information:

stm_truth_table_rec_ptr stm_r_tt_all( stm_id st_id, int *status);

    • A New API was added to the Configuration Management interface, to determine charts/files revisions when creating a configuration file:

STM_CM_get_revision_for_config_file(

                const char *workfile_name,

                const char *ext,

                char revision[STM_CM_version_length],

                char error_message[STM_CM_message_length] );

 

  • MicroC Enhancements
    • In the MicroC generated code, timeouts related to test-benches will be named using the following template:
      tm_tb<timeout-id>
      instead of:
      tm_<timeout-id>
    • 4 New OSDT API's were added to configure names of auto-generated variables in the MicroC generated code:
      * Context Variable Name(nameid, varName)
      * Next State Info Variable Name(activityNameid, prefix, activityCGName)
      * Stay Same State Info Variable Name(activityNameid, prefix, activityCGName)
      * Current State Info Variable Name(activityNameid, prefix, activityCGName)

      Available in distribution with the OSI's: MAINLOOP_SC, MAINLOOP_SC_EXT.
      Can be updated also from default OSI

  • MKS X-Server update
    • A patch for MKS X-Server 8.5 is required if the MS Update for Windows XP KB2536276 is installed. The X-Server patch is available here on IBM Fix-Central.

What's new in version 4.6.1.2

  • General Enhancements
    • Statemate was enhanced to support transition priorities on compound transitions.
    • The properties dialog of Information-flows was enhanced to support quick navigation to referenced elements. Double-click on an item in the "Consist of" list navigates to the properties of that item. The Properties preference "Open New Editor for References" determines whether this opens in a new properties dialog or the current one.
    • The tool was enhanced to allow opening of 2 or more external editors for element properties simultaneously.

  • MicroC Enhancements
    • Context Variables used in a Statechart shall be allocated only in the Statechart related functions in which they are actually used.

  • Statemate Autosar Generator (SAG) Enhancements
    • Use Design-Attributes to configure AUTOSAR features
      • SAG was enhanced to use the Design-Attribute “Its Port” of Data-Item, Condition or Event to determine the Port’s name. If the value of the Design-Attribute “Its Port” is empty or “none”, the Port name will be determined by the Flow-Line label.
      • SAG was enhanced to use the Design-Attributes “Data Exchange Method” and “Data Exchange Behavior” of Data-Item, Condition or Event to determine their communication type, regardless of the port’s setting in the SAG profile.
        This is enabled by selecting a new option, “By Design Attribute", for the “Data Exchange Method” and “Data Exchange Behavior” pop-up menus in the SAG profile.

                 

    • Support Buffered/Direct access for Explicit/Implicit data on SWC interface and IRVs
      • SAG was enhanced to support all the following options (default value is marked with *):
        • CalPrm Access Mode

Buffered Access *                                 

Direct Using Get/Set API’s Access

        • Explicit Read Access Mode

Buffered Access *

Direct Using Get/Set API’s Access

        • Implicit Read Access Mode

Buffered Access *

Direct Using Get/Set API’s Access

        • Explicit Write Access Mode

Buffered Access                                               

Direct Using Get/Set API’s Access *

        • Implicit Write Access Mode

Buffered Access

Direct Using Get/Set API’s Access *

        • Explicit IRV Access Mode

Buffered Access

Direct Using Get/Set API’s Access *

        • Implicit IRV Access Mode

Buffered Access

Direct Using Get/Set API’s Access *

      • Internal-Behavior Design-Attributes shall be used to configure the SAG profile’s “Access Mode” policy. Possible values for the above Internal-Behavior Design-Attributes:
        • Buffered
        • Direct Using Get/Set API’s
        • By Design Attribute

When “By Design Attribute” is selected, SAG will refer the Design-Attribute “Double Buffered” in the following way:

          • When “Double Buffered” is set to “yes”, Buffered access will be used.
          • When “Double Buffered” is set to “no”, Direct Using Get/Set API’s access will be used.

 

    • RAM Optimized implementation regarding “Explicit Read” of data
      SAG was enhanced to declare local (auto) variables for Explicit-Access input-data and read the data via an RTE API at the beginning of the relevant functions, rather than allocating global data and calling the read RTE API in the beginning of the task’s execution.

The enhanced implementation is enabled by one of the following:

      • The Internal-Behavior Design-Attribute “Explicit Read Access Mode” is set to “Direct Using Get/Set API’s".
      • The Internal-Behavior Design-Attribute “Explicit Read Access Mode” is set to “By Design Attribute”, and the Design-Attribute “Double Buffered” for the corresponding Data-Item or Condition is set to “no".

 

What's new in version 4.6.1.1

  • Workflow Enhancements
    • New option Print Tree to file was added to the File menu of the Charts tab, to create a postscript file of the model tree.
    • New flag '-yes_to_all' was added to the Statemate command-line syntax, to avoid interactive dialogs during long operations. The '-yes_to_all' flag will enforce 'yes' to convert workarea or update files version when opening workarea, and to overwrite existing charts/files during check-out/import/export/backup/restore operations.
    • In the Advanced Query's Query by Attribute form, string '*' in the Name field will search for any attribute with the given value, and empty Name field will search for elements with no attributes at all (regardless of the given "value").

  • Check Model Enhancements
    • The Check-model used/affected tests were enhanced to accurately identify used/affected elements, when in/out data-flows carry compound elements.
    • The Check-model tests:
      C4106 "Data-Elements with Enumerated Value names"
      C3023 "Defined data elements that are used incorrectly"
      were enhanced to be reported even if the definition chart of the regarded element is not included in       the profile, but charts using that element are in the profile.

  • Doors interface Enhancements
    • The activation of the DOORS interface was enhanced to support the DOORS "Use system usernames" login policy.
    • The DOORS bridge was enhanced to export the contents of an Information-Flow (consists of) into the "Object Info" attribute in DOORS.

  • Statemate Autosar Generator (SAG) Enhancements
    • SAG was enhanced to support buffered access to compound conditions that are used in ch(), tr(), fs() expressions, as it was for non-compound conditions.

  • Dataport Enhancements
    • A new dataport API was added to support check-in of charts and files:
      void stm_check_in_item(char *item_name,
                             char *ext, stm_boolean with_lock,
                             void (*error_func)(const char* msg),
                             int *status);
    • Two new API functions were added to handle locking of charts/files:
      void stm_lock_item(char *item_name,
                         char *ext,
                         void (*error_func)(const char* msg),
                         int *status);
      void stm_unlock_item(char *item_name,
                           char *ext,
                           void (*error_func)(const char* msg),
                           int *status);

What's new in version 4.6.1

  • General Enhancements
    • Supported Platforms
      • Statemate for Windows enhanced to support Windows 7
      • Statemate for Unix enhanced to support Solaris 5.10
    • License Borrowing
      • Statemate was enhanced to support license borrowing, via the IBM Rational License Borrower
    • Documentation for chart file format
      • Description of the chart file format was added to the Statemate Configuration Management User's Guide
    • Supported Compilers Upgrade
      • The Statemate runtime libraries on Windows were upgraded to VisualStudio 2008.
      • The Statemate runtime libraries on Solaris were upgraded to  Sun Studio 12 Update 1.
  • Workflow Enhancements
    • "Where Referenced" function
      • The "Where Referenced" icon was added to the Charts tab of Statemate-main and to the properties form, to allow quick access to the properties of the referencing elements
    • Preserve elements Ids in chart-file
      • New Databank preference "Preserve elements Ids in chart-file" replaces the environment variable STM_PRESERVE_IDS_MODE, with default value 'No'. When set to 'Yes', element Id's are saved in the chart file after check-in, and restored during check-out.
    • Database diagnostics of joint cells in truth-tables
      • The Database diagnostics was enhanced to report mismatch of joint cells in truth-tables
    • Automatically update activity references
      • The tool was enhanced to automatically update activity references when renaming an Activity. This behavior is available when using the 'Rename' dialog from the properties form or from the Charts tab of the main view.
    • Support selection of all elements in the "Consists of" list
      • The properties dialog of information-flows was enhanced to support CTRL+A for selection of all elements in the "Consists of" list
    • Automatic update of Simulation and CheckModel profiles
      • A new check-box "Modify Profiles" was added to the "Rename" dialog of charts, to support automatic update of Simulation and CheckModel profiles with the new chart name

  • CheckModel and Simulation Enhancements
    • Priority settings on transitions
      • Statemate was enhanced to allow priority settings on transitions to targets in different hierarchy levels, as long as they do not violate Statechart semantics, i.e. transitions which according to the regular Transition Priority rule (following the Statechart hierarchy) have higher priority than others, cannot be assigned a lower user-defined priority
    •  (C1139) Transitions with priority settings which violate Statechart semantics
      • New CheckModel test was added to report situations where user-defined priorities contradict the Transition Priority rule by state hierarchy.
        This test replaces the "Prioritized Transitions which exit parent of source state” test
    • New CheckModel preference
      • A new Check-model preference "Optimize report of used/affected test results” was added.
        This preference replaces the environment variable “STM_AVOID_CONTAINING_TESTS”.
        The default value of this preference is “Yes”.
        When set to 'No', the results of Check-model tests regarding used/affected elements are not optimized, and thus performance is enhanced.
        As a result, some redundancy may occur in reports of complex elements. For instance, if the test results include ARR and ARR(2), both expressions may be listed, even though ARR already contains ARR(2).
    • Exact Minispec expression in Simulation Execution Log
      • The Simulation "Execution Log" feature was enhanced to specify the exact executed expression from mini-specs and static-reactions
  • MicroC Enhancements
    • MicroC CG optimization for ELSE transition
      • The MicroC code generator was enhanced to perform the "else" transition as the last one out of all transitions with a common LCA state, and to only check for "inState". i.e. without checking on the negation of all the other Transition triggers going out of the same source state
    • Generic Activity as function
      • The MicroC code generator was enhanced to support generation of a Generic Activity as function when the actual parameter of a generic instance is bound to an external symbol under the condition that all the instances of the generic are bound to the same element for that specific parameter.
    • Enumeration operations for enum UDT's
      • The MicroC code generator was enhanced to support enumeration operations for enum UDT's that use assignment in their definition:
        enum colors { red=10, blue=20, green=30}.
        The generated implementation of the following operators was modified:
        enum_succ – now uses macro: <UDT>_SUCC(val)
        enum_pred – now uses macro: <UDT>_PRED(val)
        enum_ordinal – now uses macro: <UDT>_ORDINAL(val)
        enum_value – now uses macro: <UDT>_VALUE(val)
    • RESET_DATA and RESET_ALL_ELEMENTS initialization code for generic data
      • Statemate MicroC Code generator was enhanced to generate the macros RESET_DATA and RESET_ALL_ELEMENTS initialization code for generic data as well.
    • New OSDT API’s
      • The following OSDT API’S are added to the OSI’s: mainloop_sc and mainloop_sc_ext, under “Code Style” > “File Header/Footer”:
        Profile H File Header(profileName, fileName, genDate, genTime, profileOptions, Project, Workarea, profileVersion)
        Profile H File Footer(profileName, fileName, genDate, genTime, profileOptions, Project, Workarea, profileVersion)
      • OSDT API’s are enhanced to enable placing constant data in separate memory segment:
        The OSDT API’s for configuring the data declaration begin and end sections are enhanced to tell whether the corresponding Data object is constant, using the isConstant key-word.
        The following API’s are enhanced:
                    8-bit Declaration Begin Section
                    8-bit Declaration End Section
                    16-bit Declaration Begin Section
                    16-bit Declaration end Section
                    32-bit Declaration Begin Section
                    32-bit Declaration End Section
                    Record Declaration Begin Section
                    Record Declaration End Section
                    Other Types Declaration Begin Section
                    Other Types Declaration End Section
                    8-bit Extern Declaration Begin Section
                    8-bit Extern Declaration End Section
                    16-bit Extern Declaration Begin Section
                    16-bit Extern Declaration End Section
                    32-bit Extern Declaration Begin Section
                    32-bit Extern Declaration End Section
                    Record Extern Declaration Begin Section
                    Record Extern Declaration End Section
                    Other Types Extern Declaration Begin Section
                    Other Types Extern Declaration End Section
  • Statemate Autosar Generator (SAG) Enhancements
    • Retrieve RTE Status for Explicit Read/Write
      • A new Design-Attribute “RTE Status Variable Name” was added to Data-Item, Condition and Event.
        The value of this Design-Attribute specifies the name of a variable that will be assigned with the return value of the Explicit Read/Write RTE API’s.
        Its default value is empty string.
        When the value is not empty, the generated code will assign the return value of the relevant RTE API to a variable with that name.
        It is the user’s responsibility to define such variable (Data-Item) in the model , with the correct settings, e.g.: Exact Type = Std_ReturnType.

 

Contacting Support

Please visit our Telelogic support overview site at: http://www.ibm.com/software/rational/support/telelogic/
You will find a one-sheet reference guide about how to best contact support in your geography.

 

Notices

This information was developed for products and services offered in the U.S.A. IBM may not offer the products, services, or features discussed in this document in other countries. Consult your local IBM representative for information on the products and services currently available in your area. Any reference to an IBM product, program, or service is not intended to state or imply that only that IBM product, program, or service may be used. Any functionally equivalent product, program, or service that does not infringe any IBM intellectual property right may be used instead. However, it is the user's responsibility to evaluate and verify the operation of any non-IBM product, program, or service.

IBM may have patents or pending patent applications covering subject matter described in this document. The furnishing of this document does not grant you any license to these patents. You can send written license inquiries to:

IBM Director of Licensing
IBM Corporation
North Castle Drive
Armonk, NY 10504-1785
U.S.A.

For license inquiries regarding double-byte character set (DBCS) information, contact the IBM Intellectual Property Department in your country or send written inquiries to:

IBM World Trade Asia Corporation
Licensing
2-31 Roppongi 3-chome, Minato-ku
Tokyo 106-0032, Japan

The following paragraph does not apply to the United Kingdom or any other country where such provisions are inconsistent with local law:
INTERNATIONAL BUSINESS MACHINES CORPORATION PROVIDES THIS PUBLICATION “AS IS” WITHOUT WARRANTY OF ANY KIND, EITHER EXPRESS OR IMPLIED, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF NON-INFRINGEMENT, MERCHANTABILITY OR FITNESS FOR A PARTICULAR PURPOSE. Some states do not allow disclaimer of express or implied warranties in certain transactions. Therefore, this statement may not apply to you.

This information could include technical inaccuracies or typographical errors. Changes are periodically made to the information herein; these changes will be incorporated in new editions of the publication. IBM may make improvements and/or changes in the product(s) and/or the program(s) described in this publication at any time without notice.

Any references in this information to non-IBM Web sites are provided for convenience only and do not in any manner serve as an endorsement of those Web sites. The materials at those Web sites are not part of the materials for this IBM product and use of those Web sites is at your own risk.

IBM may use or distribute any of the information you supply in any way it believes appropriate without incurring any obligation to you. Licensees of this program who wish to have information about it for the purpose of enabling: (i) the exchange of information between independently created programs and other programs (including this one) and (ii) the mutual use of the information which has been exchanged, should contact:

Intellectual Property Dept. for Rational Software
IBM Corporation
1 Rogers Street
Cambridge, Massachusetts 02142
U.S.A.

Such information may be available, subject to appropriate terms and conditions, including in some cases, payment of a fee.

The licensed program described in this document and all licensed material available for it are provided by IBM under terms of the IBM Customer Agreement, IBM International Program License Agreement or any equivalent agreement between us.

Any performance data contained herein was determined in a controlled environment. Therefore, the results obtained in other operating environments may vary significantly. Some measurements may have been made on development-level systems and there is no guarantee that these measurements will be the same on generally available systems. Furthermore, some measurements may have been estimated through extrapolation. Actual results may vary. Users of this document should verify the applicable data for their specific environment.

Information concerning non-IBM products was obtained from the suppliers of those products, their published announcements or other publicly available sources. IBM has not tested those products and cannot confirm the accuracy of performance, compatibility or any other claims related to non-IBM products. Questions on the capabilities of non-IBM products should be addressed to the suppliers of those products.

This information contains examples of data and reports used in daily business operations. To illustrate them as completely as possible, the examples include the names of individuals, companies, brands, and products. All of these names are fictitious and any similarity to the names and addresses used by an actual business enterprise is entirely coincidental.

If you are viewing this information softcopy, the photographs and color illustrations may not appear.

Trademarks

IBM, the IBM logo, and ibm.com are trademarks or registered trademarks of International Business Machines Corp., registered in many jurisdictions worldwide. Other product and service names might be trademarks of IBM or other companies. A current list of IBM trademarks is available on the Web at Copy and Trademark information at www.ibm.com/legal/copytrade.html.

Adobe, the Adobe logo, PostScript, and the PostScript logo are either registered trademarks or trademarks of Adobe Systems Incorporated in the United States, and/or other countries.

IT Infrastructure Library is a registered trademark of the Central Computer and Telecommunications Agency which is now part of the Office of Government Commerce

Intel, Intel logo, Intel Inside, Intel Inside logo, Intel Centrino, Intel Centrino logo, Celeron, Intel Xeon, Intel SpeedStep, Itanium, and Pentium are trademarks or registered trademarks of Intel Corporation or its subsidiaries in the United States and other countries.

Linux is a registered trademark of Linus Torvalds in the United States, other countries, or both.

Microsoft, Windows, Windows NT, and the Windows logo are trademarks of Microsoft Corporation in the United States, other countries, or both.

ITIL is a registered trademark, and a registered community trademark of the Office of Government Commerce, and is registered in the U.S. Patent and Trademark Office

UNIX is a registered trademark of The Open Group in the United States and other countries.

Cell Broadband Engine is a trademark of Sony Computer Entertainment, Inc. in the United States, other countries, or both and is used under license therefrom.

Java and all Java-based trademarks and logos are trademarks of Sun Microsystems, Inc. in the United States, other countries, or both.

Other company, product or service names may be trademarks or service marks of others.