IBM Rational Statemate helps systems engineers meet the challenges of complex embedded systems marketplace

Transcription

1 , dated June 2, 2009 IBM helps systems engineers meet the challenges of complex embedded systems marketplace Table of contents 1 At a glance 4 Publications 1 Overview 5 Technical information 2 Key prerequisites 6 Software Services 2 Planned availability dates 6 Ordering information 2 Description 16 Terms and conditions 4 Program 18 Prices 4 Offering Information 19 Order now At a glance An increase in design content, an explosion of new features, ambiguous design parameters, and evolving customer requirements are huge challenges that embedded systems engineers must tackle in order to succeed in the competitive embedded system marketplace. IBM Rational Statemate offers a comprehensive graphical modeling and simulation solution for the development of complex embedded systems to meet those customer challenges. For ordering, contact your IBM representative, an IBM Business ner, or IBM Americas Call Centers at 800-IBM-CALL. Overview Complete systems are specified using IBM so that costly errors due to ambiguous requirements can be found and corrected early in the design process. IBM allows systems engineers to conquer today's design challenges by providing an iterative and complete graphical design environment. This latest release of IBM focuses on continuing to improve system engineer design workflow, the GUI, and overall tool performance. Current feature set: Full graphical design environment UML use case diagrams UML sequence diagrams UML Statecharts Functional flow block diagrams (Activity Charts) Architecture diagrams (Activity Charts) Flow charts Truth tables Engineering panel prototypes Full simulation environment Formal verification technologies: del Checker and del C Production quality and prototype code generation for the development environment and target IBM is a registered trademark of International Business Machines Corporation 1

2 Automatic documentation generation Automatic test generation del Data exchange, import/export including XMI, XML, and ASCII Wide range of plugs-ins and interfaces available, including requirements management PC Windows and UNIX versions, available in floating license configurations Key prerequisites For details, refer to the Hardware requirements and the Software requirements sections. Planned availability dates June 2, 2009 (electronic software delivery) June 19, 2009 (media and documentation) Description Using a combination of traditional graphical design notations combined with some of the Unified deling Language (UML) diagrams, IBM is a comprehensive graphical modeling and simulation solution for the rapid development of complex embedded systems. IBM provides a direct and formal link between user requirements and software implementation by allowing the user to create a complete, executable specification. Operating on a PC or an engineering workstation, IBM creates a visual specification that clearly and precisely represents the intended functions and behavior of the system being specified. This specification may be executed (graphically simulated) so the system engineer can explore what-if scenarios to determine if the behavior and the interactions between system elements are correct. This executable specification is also used to communicate with customers or end users to confirm that the specification meets their requirements. Additionally, the IBM MicroC Code Generator can automatically generate production-quality "micro" C applications from the graphical specification, specifically tuned for automotive ECUs. IBM also offers advanced technologies, including formal verification. This type of analysis can be performed so engineers can validate their IBM graphical specifications to ensure that they follow good design practices and prove that they meet user-defined critical properties such as safety. With advanced technology offered by the IBM Automatic Test Generation, engineers can automatically generate a whole range of test vectors from the graphical specification that can be included in test plans. The generated test vectors can be run on the embedded system with a hardware in-the-loop tester to ensure that build meets the specification. IBM Simulator An IBM model is a formal model that can be simulated and automatically translated into code. The visualization capabilities of IBM Rational Statemate vastly improve communication among project members, vendors, and customers, allowing the engineer to test the specification to ensure correctness. The simulator provides feedback to the user by highlighting active states, functions, and scenarios within the model as it is being simulated. In addition, the operator interface may be simulated using mockup panels. The mockup panels can be run from within IBM. This mockup, which is linked to the model, is able to provide both input to and output from the simulation. IBM is a registered trademark of International Business Machines Corporation 2

3 Another advantage of the IBM Simulator is its ability to simulate an incomplete design, allowing the user to build the model and simulate it in an iterative top-down, bottom-up, or middle-out fashion. The simulator environment provides all the traditional debugging apparatus such as waveforms, monitors, and debugger windows. This allows you to analyze the specification in order to ensure that its behavior is correct and to capture the test data that will be used later to test the implementation. Formal verification technologies: IBM del Checker IBM del Checker Plus IBM Rational Automatic Test Generation IBM del Checker allows systems designers to validate their IBM models, ensuring that they follow good design practices. IBM del Checker Plus is used to prove that the IBM models meet user-defined critical properties, such as safety. It allows system engineers to ensure that their designs perform correctly under all circumstances, including those that are expected, as well as those that are unexpected. These solutions not only reduce the time needed to develop a good specification model, which can be used as a "Reference model," but significantly improve its quality above and beyond what is achievable with current validation methods. Taking testing to the next level: IBM Automatic Test Generation With the help of IBM Automatic Test Generation (ATG), engineers can significantly reduce the time it takes to produce tests. Through an easy-touse interface, ATG automatically produces a set of test vectors that completely covers the design model. They can be used to validate the model by running the automatically generated tests with the IBM Simulator. In addition, they can be used on the target implementation, and because ATG not only generates test vectors based on input stimuli but also output values, it is possible to completely automate the testing process. Prototyping: IBM C Code Generator IBM Ada Code Generator IBM Embedded Rapid Prototyper The IBM Code Generator allows the user to automatically convert the formal IBM model into high-quality C or Ada code for software developers. The software creates a virtual prototype for operation on a PC or a workstation, or code that runs on the target test bench system. This provides a rapid route to virtual and embedded prototyping that dramatically accelerates the prototyping process. This push-button process is orders of magnitude faster than the traditional method of handwriting prototype code, and it ensures that the prototype matches the specification. By creating virtual prototypes, the engineer can present the prototype to the customer and the customer can actually exercise it. This is an excellent way of communicating and ensuring that the design is what the customer wants. It takes only seconds to make a change to the specification and then re-run a new updated prototype for the customer. In addition, IBM allows the user to take this prototype into the target environment to ensure that the specification behaves correctly under actual operating conditions. To aid in this process, IBM Rational offers the Embedded Rapid Prototyper, which enables the user to generate, compile, download, and execute code running on a prototype target system, while displaying debug and analysis information back to the model on the host. IBM is a registered trademark of International Business Machines Corporation 3

4 Production-quality code generation: IBM MicroC code generator To complement the IBM prototype code generators, the MicroC Code Generator (and IBM Developer) allows production-quality ANSI C code to be generated from the IBM design model at any point during development. Creating an Operating System Definition enables this capability and allows the code generator to take care of the tedious error-prone coding required to move from design to implementation. This Operating System Definition is created using a menu-driven solution that is included with the MicroC Code Generator. It serves as an abstraction of the underlying operating system or scheduler and adds no overhead in code size. The MicroC Code Generator also includes out-of-the-box Operating System Definitions for the OSEK and MicroITRON standards, along with examples for mainloop scheduling. In addition, the MicroC Code Generator automatically generates the required source code and makefiles, and even invokes the compiler and linker, enabling the software developer to build the graphical design into a complete library or executable. IBM automatic documentation generation IBM Automatic Documentor allows the engineer to extract all model data, both graphical and textual, and output it into standard or custom documentation. The documents generated can include XML hyperlinks. Similar to the navigation on a Web site, hyperlinks within the generated IBM Rational Statemate document provide navigation around the model, but within the context of the document. This is ideal when communicating with Marketing or with the customer who is not directly familiar with the model itself. Further, these hyperlinked documents can easily be published on the Web to allow teams in many different locations to collaborate. IBM Node Allocator IBM Node Allocator automates the time-consuming process of defining extremely complex interface definitions with clear description and documentation typically done by developers when moving from the functional architecture to the physical architecture. Program Program VRM Program name 5724-X IBM Offering Information Product information is available via the Offering Information Web site Also, visit the Passport Advantage Web site Publications No publications are shipped with this product. The IBM Publications Center IBM is a registered trademark of International Business Machines Corporation 4

5 The Publications Center is a worldwide central repository for IBM product publications and marketing material with a catalog of 70,000 items. Extensive search facilities are provided. Payment options for orders are via credit card (in the U.S.) or customer for 20 countries. A large of publications are available online in various file formats, and they can all be downloaded by all countries. Technical information Specified operating environment Hardware requirements UNIX System memory (RAM): 32 MB (Minimum) Hard drive: 350 MB Minimum system swap space: 100 MB Windows CPU: Pentium 266 MHz, or faster System memory (RAM): 256 MB Hard drive: 250 MB available space Software requirements Solaris 2.8, 2.9, and CDE 1 Open Windows: 3 1 tif SunWorkshop C/C GNAT Ada gcc 3.12 Windows 2000 (SP3) 2 Windows XP (SP2) X-Vision Microsoft Visual C/C++ V6.0,.NET 1 These products are shipped in conjunction with the operating system. 2 Statemate V3.3 release, and above. The program's specifications and specified operating environment information may be found in documentation accompanying the program, if available, such as a readme file, or other information published by IBM, such as an announcement letter. Documentation and other program content may be supplied only in the English language. Planning information Customer responsibilities Software Subscription and Support (also referred to as Software Maintenance) is included with licenses purchased through Passport Advantage and Passport Advantage Express. Product upgrades and technical support are provided by the Software Subscription and Support offering as described in the Agreements. Product upgrades provide the latest versions and releases to entitled software, and IBM is a registered trademark of International Business Machines Corporation 5

6 technical support provides voice and electronic access to IBM support organizations, worldwide. IBM includes one year of Software Subscription and Support with each program license acquired. The initial period of Software Subscription and Support can be extended by the purchase of a renewal option, if available. Packaging IBM V4.6.0 IBM V4.6.0 Quick Start Guide IBM V4.6.0 Security, auditability, and control The customer is responsible for evaluation, selection, and implementation of security features, administrative procedures, and appropriate controls in application systems and communication facilities. Software Services IBM Software Services has the breadth, depth, and reach to manage your services needs. You can leverage the deep technical skills of our lab-based, software services team and the business consulting, project management, and infrastructure expertise of our IBM Global Services team. Also, we extend our IBM Software Services reach through IBM Business ners to provide an extensive portfolio of capabilities. Together, we provide the global reach, intellectual capital, industry insight, and technology leadership to support a wide range of critical business needs. To learn more about IBM Software Services or to contact a Software Services sales specialist, visit Ordering information This product is only available via Passport Advantage. It is not available as shrinkwrap. Product information Licensed function title Product Product group category IBM Ada Code Design and Design and Generator Construction Construction IBM Automatic Design and Design and Test Generation Construction Construction IBM C Code Design and Design and Generator Construction Construction IBM Code Design and Design and Generator Builder API Construction Construction IBM Developer Design and Design and Construction Construction IBM Documentor Design and Design and Construction Construction IBM Embedded Design and Design and Rapid Prototyper Construction Construction IBM Entry Design and Design and dule Construction Construction IBM MicroC Code Design and Design and Generator Construction Construction IBM del Design and Design and Checker Construction Construction IBM is a registered trademark of International Business Machines Corporation 6

7 IBM del Design and Design and Checker Plus Construction Construction IBM Node Design and Design and Allocator Construction Construction IBM Simulator Design and Design and Construction Construction IBM for PVCS Design and Design and Interface Construction Construction IBM for XMI Design and Design and Bridge Construction Construction PID Charge unit Program name description IBM Ada Code 5724-X72 Per Authorized Generator IBM Ada Code 5724-X72 Per Floating Generator IBM Automatic 5724-X72 Per Floating Test Generation IBM Automatic 5724-X72 Per Authorized Test Generation IBM C Code 5724-X72 Per Authorized Generator IBM C Code 5724-X72 Per Floating Generator IBM Code 5724-X72 Per Authorized Generator Builder API IBM Code 5724-X72 Per Floating Generator Builder API IBM Developer 5724-X72 Per Authorized IBM Developer 5724-X72 Per Floating IBM Documentor 5724-X72 Per Authorized IBM Documentor 5724-X72 Per Floating IBM Embedded 5724-X72 Per Authorized Rapid Prototyper IBM Embedded 5724-X72 Per Floating Rapid Prototyper IBM Entry dule 5724-X72 Per Authorized IBM Entry dule 5724-X72 Per Floating IBM MicroC Code 5724-X72 Per Floating Generator IBM MicroC Code 5724-X72 Per Authorized Generator IBM del Checker 5724-X72 Per Floating IBM del Checker 5724-X72 Per Authorized IBM del Checker 5724-X72 Per Authorized Plus IBM del Checker 5724-X72 Per Floating Plus IBM Node 5724-X72 Per Authorized Allocator IBM Node 5724-X72 Per Floating Allocator IBM Simulator 5724-X72 Per Floating IBM Simulator 5724-X72 Per Authorized IBM for PVCS 5724-X72 Per Authorized Interface IBM for PVCS 5724-X72 Per Floating Interface IBM for XMI 5724-X72 Per Authorized Bridge IBM for XMI 5724-X72 Per Floating Bridge IBM is a registered trademark of International Business Machines Corporation 7

8 Charge metrics definitions Authorized Authorized is the unit of measure by which this program is licensed. An Authorized is an individual (named or unnamed) within or outside of your enterprise. The program may be installed on one or more computers or servers and accessed by the of users authorized by the Proof of Entitlement (PoE). You must have an entitlement for each Authorized accessing the program or any program component in any manner directly or indirectly (for example, via a multiplexing program, device, or application server) through any means. Floating You may utilize the program, including installation of the program on multiple servers, provided that use of the program occurs via a license server, and the total of concurrent users does not exceed the total of Floating licenses obtained for the program. Passport Advantage program licenses IBM for PVCS Interface Ratl Statemate PVCS Interface Auth Annual SW S&S E0770LL Ratl Statemate PVCS Interface Auth Initl FT D096XLL Ratl Statemate PVCS Interface Auth Lic + SW S&S 12 D09MRLL Ratl Statemate PVCS Interface Auth SW S&S D09G2LL Reinstate 12 Ratl Statemate PVCS Interface Auth SubSq FT E06XVLL Ratl Statemate PVCS Interface Floating Annual SW E0771LL S&S Ratl Statemate PVCS Interface Floating Initl FT D096YLL Ratl Statemate PVCS Interface Floating Lic + SW D09MSLL S&S 12 Ratl Statemate PVCS Interface Floating SW S&S D09G3LL Reinstate 12 Ratl Statemate PVCS Interface Floating SubSq FT E06XWLL IBM for XMI Bridge Ratl Statemate XMI Bridge Auth Annual SW S&S E076ULL Ratl Statemate XMI Bridge Auth Initl FT Lic+S&S 12 D096VLL Ratl Statemate XMI Bridge Auth Lic + SW S&S 12 D09MKLL Ratl Statemate XMI Bridge Auth SW S&S Reinstate 12 D09FWLL Ratl Statemate XMI Bridge Auth SubSq FT Lic+S&S 12 E06XTLL Ratl Statemate XMI Bridge Floating Annual SW S&S E076YLL Ratl Statemate XMI Bridge Floating Initl FT D096WLL Ratl Statemate XMI Bridge Floating Lic + SW S&S 12 D09MPLL Ratl Statemate XMI Bridge Floating SW S&S D09G0LL Reinstate 12 Ratl Statemate XMI Bridge Floating SubSq FT E06XULL IBM is a registered trademark of International Business Machines Corporation 8

9 IBM Automatic Test Generation Ratl Statemate Automatic Test Gen Auth Annual SW E0776LL S&S Ratl Statemate Automatic Test Gen Auth Initl FT D096TLL Ratl Statemate Automatic Test Gen Auth Lic + SW D09MXLL S&S 12 Ratl Statemate Automatic Test Gen Auth SW S&S D09G8LL Reinstate 12 Ratl Statemate Automatic Test Gen Auth SubSq FT E06XRLL Ratl Statemate Automatic Test Gen Floating Annual E076TLL SW S&S Ratl Statemate Automatic Test Gen Floating Initl D096ULL FT Ratl Statemate Automatic Test Gen Floating Lic + D09MJLL SW S&S 12 Ratl Statemate Automatic Test Gen Floating SW S&S D09FVLL Reinstate 12 Ratl Statemate Automatic Test Gen Floating SubSq E06XSLL FT IBM Developer Ratl Statemate Developer Auth Annual SW S&S E077HLL Ratl Statemate Developer Auth Initl FT Lic+S&S 12 D096RLL Ratl Statemate Developer Auth Lic + SW S&S 12 D09N8LL Ratl Statemate Developer Auth SW S&S Reinstate 12 D09GJLL Ratl Statemate Developer Auth SubSq FT Lic+S&S 12 E06XPLL Ratl Statemate Developer Floating Annual SW S&S E077JLL Ratl Statemate Developer Floating Initl FT Lic+S&S D096SLL 12 Ratl Statemate Developer Floating Lic + SW S&S 12 D09NALL Ratl Statemate Developer Floating SW S&S Reinstate D09GLLL 12 Ratl Statemate Developer Floating SubSq FT Lic+S&S E06XQLL 12 IBM Documentor Ratl Statemate Documentor Auth Annual SW S&S E077CLL Ratl Statemate Documentor Auth Initl FT Lic+S&S 12 D096NLL Ratl Statemate Documentor Auth Lic + SW S&S 12 D09N3LL Ratl Statemate Documentor Auth SW S&S Reinstate 12 D09GELL Ratl Statemate Documentor Auth SubSq FT Lic+S&S 12 E06XLLL Ratl Statemate Documentor Floating Annual SW S&S E077ELL Ratl Statemate Documentor Floating Initl FT D096QLL Ratl Statemate Documentor Floating Lic + SW S&S 12 D09N5LL Ratl Statemate Documentor Floating SW S&S D09GGLL Reinstate 12 Ratl Statemate Documentor Floating SubSq FT E06XNLL IBM is a registered trademark of International Business Machines Corporation 9

10 IBM Embedded Rapid Prototyper Ratl Statemate Emb Rpd Prtype Auth Annual SW S&S E077KLL Ratl Statemate Emb Rpd Prtype Auth Initl FT D0972LL Ratl Statemate Emb Rpd Prtype Auth Lic + SW S&S 12 D09NBLL Ratl Statemate Emb Rpd Prtype Auth SW S&S D09GMLL Reinstate 12 Ratl Statemate Emb Rpd Prtype Auth SubSq FT E06Y0LL Ratl Statemate Emb Rpd Prtype Floating Annual SW E0779LL S&S Ratl Statemate Emb Rpd Prtype Floating Initl FT D096PLL Ratl Statemate Emb Rpd Prtype Floating Lic + SW D09N0LL S&S 12 Ratl Statemate Emb Rpd Prtype Floating SW S&S D09GBLL Reinstate 12 Ratl Statemate Emb Rpd Prtype Floating SubSq FT E06XMLL IBM Entry dule Ratl Statemate Entry dule Auth Annual SW S&S E079ALL Ratl Statemate Entry dule Auth Initl FT Lic+S&S D0974LL 12 Ratl Statemate Entry dule Auth Lic + SW S&S 12 D09Q1LL Ratl Statemate Entry dule Auth SW S&S Reinstate D09ICLL 12 Ratl Statemate Entry dule Auth SubSq FT Lic+S&S E06Y2LL 12 Ratl Statemate Entry dule Floating Annual SW S&S E078FLL Ratl Statemate Entry dule Floating Initl FT D0973LL Ratl Statemate Entry dule Floating Lic + SW S&S D09P6LL 12 Ratl Statemate Entry dule Floating SW S&S D09HHLL Reinstate 12 Ratl Statemate Entry dule Floating SubSq FT E06Y1LL IBM del Checker Plus Ratl Statemate del Checker Plus Auth Annual SW E0799LL S&S Ratl Statemate del Checker Plus Auth Initl FT D097JLL Ratl Statemate del Checker Plus Auth Lic + SW D09Q0LL S&S 12 Ratl Statemate del Checker Plus Auth SW S&S D09IBLL Reinstate 12 Ratl Statemate del Checker Plus Auth SubSq FT E06YHLL Ratl Statemate del Checker Plus Floating Annual E079CLL SW S&S Ratl Statemate del Checker Plus Floating Initl D0975LL FT IBM is a registered trademark of International Business Machines Corporation 10

11 Ratl Statemate del Checker Plus Floating Lic + D09Q3LL SW S&S 12 Ratl Statemate del Checker Plus Floating SW S&S D09IELL Reinstate 12 Ratl Statemate del Checker Plus Floating SubSq E06Y3LL FT IBM del Checker Ratl Statemate del Checker Auth Annual SW S&S E079KLL Ratl Statemate del Checker Auth Initl FT Lic+S&S D097HLL 12 Ratl Statemate del Checker Auth Lic + SW S&S 12 D09QBLL Ratl Statemate del Checker Auth SW S&S Reinstate D09IMLL 12 Ratl Statemate del Checker Auth SubSq FT Lic+S&S E06YFLL 12 Ratl Statemate del Checker Floating Annual SW E079BLL S&S Ratl Statemate del Checker Floating Initl FT D097ILL Ratl Statemate del Checker Floating Lic + SW S&S D09Q2LL 12 Ratl Statemate del Checker Floating SW S&S D09IDLL Reinstate 12 Ratl Statemate del Checker Floating SubSq FT E06YGLL IBM Node Allocator Ratl Statemate Node Allocator Auth Annual SW S&S E079LLL Ratl Statemate Node Allocator Auth Initl FT D097FLL Ratl Statemate Node Allocator Auth Lic + SW S&S 12 D09QCLL Ratl Statemate Node Allocator Auth SW S&S D09INLL Reinstate 12 Ratl Statemate Node Allocator Auth SubSq FT E06YDLL Ratl Statemate Node Allocator Floating Annual SW E079PLL S&S Ratl Statemate Node Allocator Floating Initl FT D097GLL Ratl Statemate Node Allocator Floating Lic + SW D09QFLL S&S 12 Ratl Statemate Node Allocator Floating SW S&S D09IRLL Reinstate 12 Ratl Statemate Node Allocator Floating SubSq FT E06YELL IBM Simulator Ratl Statemate Simulator Auth Annual SW S&S E078RLL Ratl Statemate Simulator Auth Initl FT Lic+S&S 12 D097KLL Ratl Statemate Simulator Auth Lic + SW S&S 12 D09PHLL Ratl Statemate Simulator Auth SW S&S Reinstate 12 D09HTLL Ratl Statemate Simulator Auth SubSq FT Lic+S&S 12 E06YILL Ratl Statemate Simulator Floating Annual SW S&S E079FLL IBM is a registered trademark of International Business Machines Corporation 11

12 Ratl Statemate Simulator Floating Initl FT Lic+S&S D097ELL 12 Ratl Statemate Simulator Floating Lic + SW S&S 12 D09Q6LL Ratl Statemate Simulator Floating SW S&S Reinstate D09IHLL 12 Ratl Statemate Simulator Floating SubSq FT Lic+S&S E06YCLL 12 IBM Code Generator Builder API Ratl Statemate Code Gen Bld API Auth Annual SW S&S E078MLL Ratl Statemate Code Gen Bld API Auth Initl FT D097BLL Ratl Statemate Code Gen Bld API Auth Lic + SW S&S D09PDLL 12 Ratl Statemate Code Gen Bld API Auth SW S&S D09HPLL Reinstate 12 Ratl Statemate Code Gen Bld API Auth SubSq FT E06Y9LL Ratl Statemate Code Gen Bld API Floating Annual SW E078QLL S&S Ratl Statemate Code Gen Bld API Floating Initl FT D097DLL Ratl Statemate Code Gen Bld API Floating Lic + SW D09PGLL S&S 12 Ratl Statemate Code Gen Bld API Floating SW S&S D09HSLL Reinstate 12 Ratl Statemate Code Gen Bld API Floating SubSq FT E06YBLL IBM Ada Code Generator Ratl Statemate Ada Code Gen Auth Annual SW S&S E0788LL Ratl Statemate Ada Code Gen Auth Initl FT Lic+S&S D097MLL 12 Ratl Statemate Ada Code Gen Auth Lic + SW S&S 12 D09NZLL Ratl Statemate Ada Code Gen Auth SW S&S Reinstate D09HALL 12 Ratl Statemate Ada Code Gen Auth SubSq FT Lic+S&S E06YKLL 12 Ratl Statemate Ada Code Gen Floating Annual SW S&S E078CLL Ratl Statemate Ada Code Gen Floating Initl FT D098CLL Ratl Statemate Ada Code Gen Floating Lic + SW S&S D09P3LL 12 Ratl Statemate Ada Code Gen Floating SW S&S D09HELL Reinstate 12 Ratl Statemate Ada Code Gen Floating SubSq FT E06ZALL IBM C Code Generator Ratl Statemate C Code Gen Auth Annual SW S&S E0783LL Ratl Statemate C Code Gen Auth Initl FT Lic+S&S 12 D0971LL Ratl Statemate C Code Gen Auth Lic + SW S&S 12 D09NULL Ratl Statemate C Code Gen Auth SW S&S Reinstate 12 D09H5LL IBM is a registered trademark of International Business Machines Corporation 12

13 Ratl Statemate C Code Gen Auth SubSq FT Lic+S&S 12 E06XZLL Ratl Statemate C Code Gen Floating Annual SW S&S E0787LL Ratl Statemate C Code Gen Floating Initl FT D097CLL Ratl Statemate C Code Gen Floating Lic + SW S&S 12 D09NYLL Ratl Statemate C Code Gen Floating SW S&S D09H9LL Reinstate 12 Ratl Statemate C Code Gen Floating SubSq FT E06YALL IBM MicroC Code Generator Ratl Statemate MicroC Code Gen Auth Annual SW S&S E0775LL Ratl Statemate MicroC Code Gen Auth Initl FT D096ZLL Ratl Statemate MicroC Code Gen Auth Lic + SW S&S D09MWLL 12 Ratl Statemate MicroC Code Gen Auth SW S&S D09G7LL Reinstate 12 Ratl Statemate MicroC Code Gen Auth SubSq FT E06XXLL Ratl Statemate MicroC Code Gen Floating Annual SW E077LLL S&S Ratl Statemate MicroC Code Gen Floating Initl FT D0970LL Ratl Statemate MicroC Code Gen Floating Lic + SW D09NCLL S&S 12 Ratl Statemate MicroC Code Gen Floating SW S&S D09GNLL Reinstate 12 Ratl Statemate MicroC Code Gen Floating SubSq FT E06XYLL Passport Advantage Trade-up licenses Precursor product Trade-up product IBM Simulator IBM Ratl Statemate Simulator D09RWLL Simulator per Authorized Floating AU Trdup Lic + SW S&S 12 Precursor product Trade-up product IBM Node Allocator IBM Ratl Statemate Node D09RILL Node Allocator per Allocator Floating AU Authorized Trdup Lic + SW S&S 12 Precursor product Trade-up product IBM del Checker IBM Ratl Statemate del D09RKLL del Checker per Checker Floating AU Authorized Trdup Lic + SW S&S 12 IBM is a registered trademark of International Business Machines Corporation 13

14 Precursor product Trade-up product IBM Code Generator Builder API IBM Ratl Statemate Code Gen D09RYLL Code Generator Builder API Bld API Floating AU per Authorized Trdup Lic + SW S&S 12 Precursor product Trade-up product IBM MicroC Code Generator IBM Ratl Statemate MicroC Code D09TALL MicroC Code Generator per Gen Floating AU Trdup Authorized Lic + SW S&S 12 Precursor product Trade-up product IBM C Code Generator IBM C Code Generator per Authorized Ratl Statemate C Code Gen D09SXLL Floating AU Trdup Lic + SW S&S 12 Precursor product Trade-up product IBM Ada Code Generator IBM Ada Ratl Statemate Ada Code Code Generator per Gen Floating AU Trdup Authorized Lic + SW S&S 12 D09SHLL Precursor product Trade-up product IBM del Checker Plus IBM Ratl Statemate del D09RQLL del Checker Plus per Checker Plus Floating Authorized AU Trdup Lic + SW S&S 12 Precursor product Trade-up product IBM Automatic Test Generation IBM Ratl Statemate Automatic D09T2LL Automatic Test Generation Test Gen Floating AU per Authorized Trdup Lic + SW S&S 12 Precursor product Trade-up product IBM for XMI Bridge IBM for Ratl Statemate XMI Bridge D09T6LL XMI Bridge per Authorized Floating AU Trdup Lic + SW S&S 12 IBM is a registered trademark of International Business Machines Corporation 14

15 Precursor product Trade-up product IBM for PVCS Interface IBM for Ratl Statemate PVCS PVCS Interface per Interface Floating AU Authorized Trdup Lic + SW S&S 12 D09T7LL Precursor product Trade-up product IBM Developer IBM Ratl Statemate Developer D09T1LL Developer per Authorized Floating AU Trdup Lic + SW S&S 12 Precursor product Trade-up product IBM Entry dule IBM Ratl Statemate Entry D09RTLL Entry dule per dule Floating AU Authorized Trdup Lic + SW S&S 12 Precursor product Trade-up product IBM Embedded Rapid Prototyper IBM Ratl Statemate Emb Rpd D09RULL Embedded Rapid Prototyper Prtype Floating AU per Authorized Trdup Lic + SW S&S 12 Precursor product Trade-up product IBM Documentor IBM Ratl Statemate Documentor D09T5LL Documentor per Authorized Floating AU Trdup Lic + SW S&S 12 Passport Advantage supply Program name/description Ratl Statemate Ada CdGnrtr V4.6.0 Ratl Statemate Ada CdGnrtr Other V4.6.0 ENC Unrestricted CD ROM Digital Di BT08MEN Passport Advantage customer: Media pack entitlement details Customers with active maintenance or subscription for the products listed are entitled to receive the corresponding media pack. Ratl Statemate Ada CdGnrtr V4.6.0 Entitled maintenance offerings description Media packs description IBM Ada Ratl Statemate Ada CdGnrtr BT08MEN Code Generator per Other V4.6.0 ENC Authorized Unrestricted CD ROM IBM is a registered trademark of International Business Machines Corporation 15

16 Digital Di IBM Ada Ratl Statemate Ada CdGnrtr BT08MEN Code Generator per Other V4.6.0 ENC Floating Unrestricted CD ROM Digital Di Terms and conditions The information provided in this announcement letter is for reference and convenience purposes only. The terms and conditions that govern any transaction with IBM are contained in the applicable contract documents such as the IBM International Program License Agreement, IBM International Passport Advantage Agreement, and the IBM Agreement for Acquisition of Software Maintenance. Licensing IBM International Program License Agreement including the License Information document and Proof of Entitlement (PoE) govern your use of the program. PoEs are required for all authorized use. products only, offered outside of Passport Advantage, where applicable, are license only and do not include Software Maintenance. This software license includes Software Subscription and Support (also referred to as Software Maintenance). License Information form s Program Program name Form IBM 5724-X72 L-KHUY-7QJK8S IBM Ada Code 5724-X72 L-KHUY-7QJK8S Generator IBM C Code Generator 5724-X72 L-KHUY-7QJK8S IBM MicroC Code 5724-X72 L-KHUY-7QJK8S Generator IBM for PVCS 5724-X72 L-KHUY-7QJK8S Interface IBM Developer 5724-X72 L-KHUY-7QJK8S IBM Documentor 5724-X72 L-KHUY-7QJK8S IBM Embedded Rapid 5724-X72 L-KHUY-7QJK8S Prototyper IBM Entry dule 5724-X72 L-KHUY-7QJK8S IBM Simulator 5724-X72 L-KHUY-7QJK8S IBM Code Generator 5724-X72 L-KHUY-7QJK8S Builder API IBM del Checker 5724-X72 L-KHUY-7QJKP2 Plus IBM del Checker 5724-X72 L-KHUY-7QJKP2 IBM Node Allocator 5724-X72 L-KHUY-7QJLNB IBM for XMI Bridge 5724-X72 L-KHUY-7QJLXQ IBM Automatic Test 5724-X72 L-KHUY-7QJFEQ Generation The program's License Information will be available for review on the IBM Software License Agreement Web site Limited warranty applies Yes Warranty IBM warrants that when the program is used in the specified operating environment, it will conform to its specifications. The warranty applies only to the unmodified portion of the program. IBM does not warrant uninterrupted or error-free operation IBM is a registered trademark of International Business Machines Corporation 16

17 of the program or that IBM will correct all program defects. You are responsible for the results obtained from the use of the program. IBM provides you with access to IBM databases containing information on known program defects, defect corrections, restrictions, and bypasses at no additional charge. Consult the IBM Software Support Handbook for further information at IBM will maintain this information for at least one year after the original licensee acquires the program (warranty period). Program technical support Technical support of a program product will be available for a minimum of five years from the general availability date, as long as your Software Maintenance is in effect. This technical support allows you to obtain assistance (via telephone or electronic means) from IBM for product-specific, task-oriented questions regarding the installation and operation of the program product. Software Maintenance also provides you with access to updates, releases, and versions of the program. You will be notified, via announcement letter, of discontinuance of support with 12 months' notice. If you require additional technical support from IBM, including an extension of support beyond the discontinuance date, contact your IBM representative or IBM Business ner. This extension may be available for a fee. ney-back guarantee If for any reason you are dissatisfied with the program and you are the original licensee, you may obtain a refund of the amount you paid for it, if within 30 days of your invoice date you return the program and its PoE to the party from whom you obtained it. If you downloaded the program, you may contact the party from whom you acquired it for instructions on how to obtain the refund. For programs acquired under the IBM International Passport Advantage Agreement, this term applies only to your first acquisition of the program. Authorization for use on home/portable computer The program may be stored on the primary machine and another machine, provided that the program is not in active use on both machines at the same time. You may not copy and use this program on another computer without paying additional license fees. Product name Yes Volume orders (IVO) No Passport Advantage applies Yes, and through the Passport Advantage Web site at This product is only available via Passport Advantage. It is not available as shrinkwrap. Software Subscription and Support applies Yes. Software Subscription and Support (also referred to as Software Maintenance) is included with licenses purchased through Passport Advantage and Passport Advantage Express. Product upgrades and technical support are provided by the Software Subscription and Support offering as described in the Agreements. IBM is a registered trademark of International Business Machines Corporation 17

18 Product upgrades provide the latest versions and releases to entitled software, and Technical Support provides voice and electronic access to IBM support organizations, worldwide. IBM includes one year of Software Subscription and Support with each program license acquired. The initial period of Software Subscription and Support can be extended by the purchase of a renewal option, if available. While your Software Subscription and Support is in effect, IBM provides you assistance for your routine, short duration installation and usage (how-to) questions, and code-related questions. IBM provides assistance via telephone and, if available, electronic access, to your information systems (IS) technical support personnel during the normal business hours (published prime shift hours) of your IBM support center. (This assistance is not available to your end users.) IBM provides Severity 1 assistance 24 hours a day, 7 days a week. For additional details, consult your IBM Software Support Handbook at Software Subscription and Support does not include assistance for the design and development of applications, your use of programs in other than their specified operating environment, or failures caused by products for which IBM is not responsible under the applicable agreements. For additional information about the International Passport Advantage Agreement and the IBM International Passport Advantage Express Agreement, visit the Passport Advantage Web site at System i Software Maintenance applies No Educational allowance available Not applicable. Prices Passport Advantage For Passport Advantage information and charges, contact your IBM representative or authorized IBM Business ner. Additional information is also available at Business ner information If you are an IBM Business ner -- Distributor for Workstation Software acquiring products from IBM, you may link to Passport Advantage Online for resellers where you can obtain Business ner pricing information. An IBM ID and password are required. IBM is a registered trademark of International Business Machines Corporation 18

19 Order now To order, contact the Americas Call Centers, your local IBM representative, or your IBM Business ner. Identify your local IBM representative or IBM Business ner, call 800-IBM-4YOU ( ). Phone: 800-IBM-CALL ( ) Fax: 800-2IBM-FAX ( ) Internet: For IBM Business ner: Mail: IBM Teleweb Customer Support ibm.com Sales Execution Center, Americas North 3500 Steeles Ave. East, Tower 3/4 Markham, Ontario Canada L3R 2Z1 Reference: YE001 The Americas Call Centers, our national direct marketing organization, can add your name to the mailing list for catalogs of IBM products. Note: Shipments will begin after the planned availability date. Trademarks IBM, Rational, Passport Advantage and ibm.com are registered trademarks of IBM Corporation in the United States, other countries, or both. Windows and Microsoft are registered trademarks of Microsoft Corporation in the United States, other countries, or both. UNIX is a registered trademark of The Open Group in the United States and other countries. Pentium is a registered trademark of Intel Corporation or its subsidiaries in the United States and other countries. Other company, product, and service names may be trademarks or service marks of others. Terms of use IBM products and services which are announced and available in your country can be ordered under the applicable standard agreements, terms, conditions, and prices in effect at the time. IBM reserves the right to modify or withdraw this announcement at any time without notice. This announcement is provided for your information only. Additional terms of use are located at For the most current information regarding IBM products, consult your IBM representative or reseller, or visit the IBM worldwide contacts page IBM is a registered trademark of International Business Machines Corporation 19