![]() |
![]() |
![]() |
![]() |
![]() |
Table of Contents
Installation Guide
- - Introduction
1. Platforms and Products
- - Hardware Prerequisites
- - Software Prerequisites
- - Build and Certification Matrices
2. Installation Procedure for UNIX
- - Overview
- - Installation Procedure
- - Starting Up
3. Installation Procedure for Windows
- - Overview
- - Installation Procedure
- - Starting Up
- - Post Installation
- - Adding Components to an Existing Installation
4. System Setup
- - UNIX Command Line Tools
- - UNIX User Setup
- - Environment Variables
- - Preferences
- - Microsoft Windows System Factors
- - X Window System Factors (UNIX only)
- - OSF/Motif Factors (UNIX only)
5. Licensing Management
- - Setting up Your license on a Client Machine
- - Setting up Your License Server
- - If the FlexNet License Server Goes Down
- - Specific Licensing for the SDL Suite
6. Understanding IBM Rational Licenses
- - Licensing - A General Overview
Release Guide
- - How to Contact Customer Support
- - Documentation
- - Typographic Conventions
- - Legal Information
1. Compatibility Notes
- - Language Compatibility
- - Tool Limitations
- - Known Issues
2. Release Notes
- - Included Components
- - New and Changed Functionality
Methodology Guidelines
- - Introduction
1. Object Oriented Design Using SDL
- - Requirements on the Access Control System
- - System Analysis of the Access Control System
- - Object Oriented Design of the Access Control System
2. Data Types
- - Introduction
- - Using SDL Data Types
- - Using C/C++ in SDL
- - C Specific Package ctypes
- - Using ASN.1 in SDL
3. Using SDL Extensions
- - Own and ORef Generators
- - Algorithms in SDL
4. Organizing a Project
- - Introduction
- - Diagram Binding
- - How to Manage the Diagrams in a Project
- - Using CM SYNERGY Together with an SDL System
- - Using ClearCase Together with an SDL System
Methodology Guidelines
- - Introduction
1. The TTCN Introduction
- - Introduction
- - Background
- - A Case Study
- - The Test Configuration
- - Specification of Test System Behaviour
- - TTCN Types and Values
- - ASN.1 Types and Values
- - PCOs and CPs
- - The SEND Statement
- - The RECEIVE Statement
- - The OTHERWISE Statement
- - Defining ASP, PDU and CM Types
- - Using ASPs and PDUs in Behaviour Trees
- - TTCN Expressions
- - Specifying ASP, PDU and CM Values
- - Constraint References
- - Matching Received Constraint Values
- - Encoding
- - Referencing Components of Complex Types
- - Verdicts
- - The GOTO Statement
- - Timer Statements
- - Constants and Variables
- - Dynamic Behaviour Descriptions
- - Using Aliases
- - Modularization of Test Cases
- - Parameter Lists in TTCN
- - Test Case Selection
- - Structure of a TTCN Test Suite
- - Distributed Development
- - The Complete Case Study
Getting Started
- - Introduction
1. Introduction to Languages and Notations
- - Benefits of a Specification Language
- - General about the SDL Language
- - More about SDL
- - The Message Sequence Chart Language
- - Object Model Notation
- - State Chart Notation
- - ASN.1 - Abstract Syntax Notation One
- - The TTCN Notation
- - Tool Support
- - References
2. Introduction to the SDL Suite
- - About the SDL Suite
- - Overview of the SDL Suite
- - Information Management
- - PCs and Workstations
3. Tutorial: The Editors and the Analyzer
- - Purpose of This Tutorial
- - The Demon Game
- - Starting the SDL Suite
- - Preferences
- - Creating an SDL Structure
- - Printing the System Diagram
- - Checking the System Diagram
- - Creating a New Block Diagram
- - Creating a Block Diagram From a Copy
- - Creating a Process Diagram
- - More About the Organizer
- - Analyzing the Complete System
- - Managing Message Sequence Charts
- - Using the Index Viewer
- - So Far...
- - Appendix A: The Definition of the SDL-88 DemonGame
- - Appendix B: The MSC for the DemonGame
4. Tutorial: The SDL Simulator
- - Purpose of This Tutorial
- - Generating and Starting a Simulator
- - Executing Transition by Transition
- - Viewing the Internal Status
- - Dynamic Errors
- - Using Different Trace Values
- - Looking at the External Behavior
- - Using Breakpoints
- - Changing the System
- - Generating Message Sequence Charts
- - The Coverage Viewer
- - So Far...
5. Tutorial: The SDL Explorer
- - Purpose of This Tutorial
- - Generating and Starting an SDL Explorer
- - Navigating in a Behavior Tree
- - More Tracing and Viewing Possibilities
- - Validating an SDL System
- - Verifying a Message Sequence Chart
- - Using Test Values
- - So Far...
6. Tutorial: Applying SDL-92 to the DemonGame
- - Purpose of This Tutorial
- - Applying SDL-92 to the DemonGame
- - Some Preparatory Work
- - Creating a Process Type from a Process
- - Redefining the Properties of a Process Type
- - Adding Properties to a Process Type
- - Combining the Properties of Two Process Types
- - Using Packages and Block Types
- - Reusing Packages
- - Conclusion
- - More Exercises...
- - Appendix: Diagrams for the DemonGame Using Packages
7. Cmicro Targeting Tutorial
- - Prerequisites / Abbreviations Used
- - Introduction
- - Prerequisites to the Example
- - Targeting
- - Use of the SDL Target Tester
- - Run Target EXE without Tester
8. Tutorial: Using ASN.1 Data Types
- - Introduction
- - Creating the Abstract Syntax
- - Creating the Transfer Syntax
- - Compiling Your Application
- - Running Your Application
- - Appendix A
9. Tutorial: Using SDL-2000 features
- - Purpose of this Tutorial
- - Introduction
- - Graphical Design of Data Types
- - Creating an SDL Structure
- - Editing a Diagram
- - Viewing a Class
- - Textual Algorithms
- - Operators without Parameters and Operators without Return Results
- - Limitations
- - An Example of Using Class Symbols
10. Tutorial: Threaded Integration
- - Introduction
- - Description of Example System
- - Preparations
- - Drawing a Deployment Diagram
- - Using the Targeting Expert
- - Running the System
Getting Started
- - Introduction
1. Introduction to Languages and Notations
- - Standardized Formal Methods
- - The TTCN Language
- - The ASN.1 Language
- - The Message Sequence Chart Language
2. Introduction to the TTCN Suite (in Windows)
- - Introduction to the TTCN Suite
- - The TTCN Suite Toolset
- - Files in the TTCN Suite
3. Introduction to the TTCN Suite (on UNIX)
- - Introduction to the TTCN Suite
- - The TTCN Suite Toolset
- - Files in the TTCN Suite
4. Tutorial: TTCN Suite Basics (in Windows)
- - Purpose of This Tutorial
- - Starting the TTCN Suite
- - Creating a TTCN Test Suite Document
- - Using the Browser
- - Using the Table Editor
- - Analyzing the Test Suite
- - Creating TTCN Tables in Other Ways
- - Exporting a Test Suite
- - Printing the Test Suite
- - So Far...
5. Tutorial: TTCN Suite Basics (on UNIX)
- - Purpose of This Tutorial
- - Setting Up the TTCN Suite Environment
- - Starting the TTCN Suite
- - Creating a TTCN Test Suite Document
- - Using the Browser
- - Using the Table Editor
- - Analyzing the Test Suite
- - Saving a TTCN Test Suite Document
- - Creating TTCN Tables in Other Ways
- - Selecting Browser Items
- - Generating Overview Tables
- - Printing the Test Suite
- - Creating Reports
- - Exporting and Importing
- - Replacing, Comparing and Merging
- - So Far...
6. Tutorial: SDL and TTCN Integrated Simulator (W)
- - Purpose of This Tutorial
- - The Steps in a Test Session
- - The Test System
- - Setting Up a Simulation
- - Performing the Simulation
- - Taking a Look at the Log Window
7. Tutorial: SDL and TTCN Integrated Simulator (U)
- - Purpose of This Tutorial
- - The Steps in a Test Session
- - The Test System
- - Setting Up a Simulation
- - Performing the Simulation
- - The Execution Trace
- - The Conformance Log
8. Tutorial: The TTCN Link
- - Purpose of This Tutorial
- - More about TTCN Link
- - Taking a Look at the SDL System
- - Generating a TTCN Link Executable
- - Creating a Test Suite
- - Creating a Simple Test Case
- - Taking a Look at the SDL System (Again)
- - So Far...
9. Tutorial: The Autolink Tool
- - Purpose of This Tutorial
- - Basics of Autolink
- - Getting Ready to Use Autolink
- - Exercise 1: Basic Concepts
- - Exercise 2: Advanced Concepts
- - Exercise 3: Test Generation with Tree Walk
- - So Far...
User´s Manual
1. User Interface and Basic Operations
- - Graphical Environments and Style Guides
- - Constraints
- - Application Windows
- - General Menus
- - General Menu Choices
- - Defining Menus in the SDL Suite
- - General Quick-Buttons
- - The Drawing Area
- - Dialog Windows
- - Keyboard Operations
- - References
2. The Organizer
- - Overview
- - Organizer User Interface
- - Drawing Area
- - Menu Bar
- - Shortcuts
- - Pop-Up Menus
- - Keyboard Accelerators
- - Quick Buttons
- - Organizer Log Window
- - System File
- - Control Unit File
- - Batch Facilities
- - Windows and UNIX File Compatibility
3. The Preference Manager
- - Preferences Manager User Interface
- - Menu Bar
- - Popup Menu
- - Keyboard Accelerators
- - Preference Files
- - Preference Parameters
- - Common Preferences
- - The SDL Suite Specific Preferences
4. Managing Preferences
- - Introduction
- - How Preferences Are Managed
- - Starting the Preference Manager
- - Adjusting a Preference Parameter
- - Customizing the On-Line Help
- - Customizing User-Defined Preferences
- - Customizing Company Preferences
- - Customizing Project Preferences
- - Locating the Preference Sources
5. Printing Documents and Diagrams
- - General
- - Printing Documents - Some Examples
- - Default Scope of Print
- - The Print Dialogs in the SDL Suite and in the Organizer
- - The Print TTCN Dialog in the Organizer
- - The Print Dialogs in the TTCN Suite
- - Print Setup Dialogs
- - Footer and Header Files
- - Map File
- - More Information on Output Formats
- - Adding Printer Fonts (UNIX only)
- - Advanced Print Facilities
6. The Text Editor
- - Text Files
- - State Overview Files and State Matrices
- - Text Editor User Interface
- - Text Area
- - Menu Bar
- - Pop-Up Menu
- - Keyboard Accelerators
7. Emacs Integration
- - Overview
- - Installation
- - Customizing
- - Emacs Commands
8. MS Word Integration
- - Overview
- - Installation
- - MS Word Menu Commands
9. Implinks and Endpoints
- - Link Concepts and Overview
- - Visualization of Endpoints and Links
- - Tool Support and Operations
- - Creating Links
- - The Entity Dictionary
- - Link Commands in the Tools Menus
- - The Paste As Command
- - Other Edit Commands
- - The Link Manager
- - The Link File
10. The PostMaster
- - Introduction to the PostMaster
- - PostMaster Reference
- - Run-Time Considerations
11. The Public Interface
- - General Concepts
- - The Service Encapsulator
- - Tool Services
- - Notifications
- - Auxiliary Messages
12. Using the Public Interface
- - Introduction
- - The Service Encapsulator
- - Using the SDL Suite Services
- - Using TTCN Suite Services
- - Integrating Applications with SDL Simulators
13. The ASN.1 Utilities
- - Introduction
- - Using the ASN.1 Utilities
- - Translation of ASN.1 to SDL
- - Support for External ASN.1 in the TTCN Suite
- - Error and Warning Messages
- - Restrictions
- - Appendix A: List of recognized keywords
14. The CPP2SDL Tool
- - Introduction
- - Executing CPP2SDL
- - Import Specifications
- - Source and Error References
- - C/C++ to SDL Translation Rules
- - Special Translation Rules for C Compilers
- - SDL Library for Fundamental C/C++ Types
- - Example usage of some C/C++ functionality
- - Error Handling
- - CPP2SDL Messages
15. CPP2SDL Migration Guide
- - Introduction
- - Reasons to Migrate
- - Migration Guidelines
16. CIF Converter Tools
- - Introduction
- - CIF2SDT Converter Tool
- - SDT2CIF Converter Tool
17. The Information Server
- - General
- - Information Server Error Messages
18. SDT References
- - General
- - Syntax
- - Examples
19. Using OM Access
- - OM Access
- - General Concepts
- - Files and Compiling
- - Using OM Access Together with the SDL Suite
- - Reference
20. Basic Compiling Theory
- - Basic Compiling Theory
- - The Compiler
- - Lexical Analyzer
- - Syntax Definition
- - Syntax Analyzer
- - Parse Trees
- - Parsing
- - Intermediate Code
- - Code Generator
- - The Phases of a Compiler
- - Symbol Table Management
- - Error Detection and Reporting
21. TTCN Access
- - Introduction to TTCN Access
- - TTCN Access and the TTCN Analyzer
- - Example of TTCN Access Functionality
- - Example of TTCN Access Usability
- - TTCN Access in Relation to TTCN and ASN.1
- - The TTCN Access Notation
- - TTCN Access Primitives
- - The AccessVisitor Class
- - Common Class Definitions
- - Getting Started with TTCN Access
22. Creating a TTCN Access Application
- - TTCN Access
- - General Concepts
- - Examples
- - Summary
- - Solutions to the Examples
23. The TTCN Access Class Reference Manual
- - Static and Table Nodes
- - Parse Tree Nodes
- - Terminal Nodes
24. The TTCN Browser (on UNIX)
- - Introduction to the TTCN Browser
- - The Browser User Interface
- - Controlling the Items in the Browser
- - Editing the TTCN Document Structure
- - Opening a Table
- - Printing a TTCN Document
- - Requesting License Information
- - Using Popup Menus
- - Using More Complex Selections
- - Searching and Replacing
- - Presenting Status Information
- - Comparing TTCN Documents
- - Merging TTCN Documents
- - Merging from MP Files
- - Exporting a TTCN Document to TTCN-MP
- - Importing a TTCN-MP Document
- - Generating the Test Suite Overview Tables
- - Crash Recovery
- - Key and Button Bindings
25. The TTCN Table Editor (on UNIX)
- - Introduction to the TTCN Table Editor
- - Opening a Table
- - Renaming a Table
- - Navigating and Editing Text in a Table
- - Editing Rows in a Table
- - Searching and Replacing
- - Exporting and Importing Objects
- - Browsing in the Table Editor
- - Generating Behaviour Statements
- - Reverting a Table
- - Creating a New Constraint Table
- - Generating the Test Suite Overview Tables
- - Using Popup Menus
- - Key and Button Bindings
26. Analyzing TTCN Documents (on UNIX)
- - The TTCN Analyzer
- - TTCN Suite Preprocessor
- - Finding Tables
27. The TTCN to C Compiler (on UNIX)
- - Introduction to the TTCN to C Compiler
- - Getting Started
- - What Is Generated?
- - TTCN Test Logs in MSC Format
28. The SDL and TTCN Integrated Simulator (U)
- - The SDL and TTCN Integrated Simulator
- - Performing a Integrated-Simulation
- - Setting Up an SDL and TTCN Integrated Simulation
- - The SDL and TTCN Integrated Simulator User Interface
- - Managing Setup Documents
- - Selecting Test Cases and Groups
- - Executing a Test
- - Viewing Documents
- - The SDL and TTCN Integrated Simulator Editor
- - Integrated-Simulation from command line
- - Files Handled by the SDL and TTCN Integrated Simulator
- - Information Messages
- - Using the UI with an ETS
- - Type Mappings in Integrated-Simulation
29. Customizing the TTCN Suite (on UNIX)
- - Customizing the TTCN Suite
- - How Resources Are Read
- - Customizing Key and Button Bindings
- - Other Customizations
30. Editing TTCN Documents (in Windows)
- - Introduction to the TTCN Suite
- - Using the Browser
- - Editing Tables
- - Creating Behaviour Lines
- - Comparing TTCN Documents
- - Merging TTCN Documents
- - Viewing Log Information
- - Finding and Sorting Tables
- - Converting to TTCN-MP
- - Converting to HTML
- - Crash Recovery
- - Shortcuts
31. Analyzing TTCN Documents (in Windows)
- - Analyzing TTCN Documents
- - TTCN Suite Preprocessor
- - Finding Tables from the Analyzer Log
32. The TTCN to C Compiler (in Windows)
- - Introduction to the TTCN to C Compiler
- - Getting Started
- - What Is Generated?
- - TTCN Test Logs in MSC Format
33. The SDL and TTCN Integrated Simulator (W)
- - The SDL and TTCN Integrated Simulator
- - Performing an Integrated-Simulation with the SDL Suite
- - The SDL and TTCN Integrated Simulator Operations
- - Integrated-Simulation from command line
- - Performing "batch mode" Integrated-Simulation
- - Information Messages
- - Troubleshooting
- - Type Mappings in Integrated-Simulation
34. The TTCN Exerciser
- - Introduction
- - Functionality Overview
- - Kernel Operation Modes
- - PCOs
- - Timers
- - Test Suite Parameters
- - Test Case Validation
- - TTCN Exerciser Commands
- - ISM Value Encoding
35. TTCN Test Suite Generation
- - Introduction
- - Using TTCN Link
- - TTCN Link Commands in the TTCN Suite
- - Using Autolink
36. Adaptation of Generated Code
- - The GCI Interface
- - GCI C Code Reference
- - EGci Value Construction and Functions
- - The Adaptation Framework
- - Completing the Adaptation
37. Error Messages in the TTCN Suite
- - Error Messages
- - The Structure of Error Messages
- - Additional Error Messages on Standard Error
- - The Meaning of Error Messages
38. Languages Supported in the TTCN Suite
- - The Restrictions in the TTCN Suite
- - The TTCN-MP Syntax Productions in BNF
- - The ASN1 Syntax Productions in BNF
- - TTCN Static Semantics
- - ASN.1 Static Semantics
39. Using Diagram Editors
- - General
- - The Editor User Interface and Basic Operations
- - About Symbols and Lines
- - Editing Text
- - Menu Bars
- - OM Editor Specific Information
- - SC Editor Specific Information
- - DP Editor Specific Information
- - MSC Editor Specific Information
- - Syntax Summary
- - Comparing and Merging Diagrams
- - Literature References
40. The Deployment Editor
- - Introduction
- - The Deployment Diagram
- - Deployment Workflow
41. Editing MSC Diagrams
- - General
- - Compliance with ITU Z.120
- - Basic Operations
- - Managing MSCs
- - Rearranging an MSC
- - Managing Windows
- - Selecting Objects
- - Adding and Removing Objects
- - Collapsing and Decomposing Diagrams
- - Moving Objects
- - Reconnecting Objects
- - Resizing Objects
- - Printing Objects
42. The UML2SDL Utility
- - Setting Up the UML2SDL Utility
- - Converting UML Diagrams
- - Transformation Rules
- - A Small Example
43. Using the SDL Editor
- - General
- - Compliance with ITU Z.100
- - The SDL Editor User Interface and Basic Operations
- - Working with Diagrams
- - About Symbols and Lines
- - Working with Symbols
- - Working with Lines
- - Working with Classes
- - Working with Pages
- - Working with Windows
- - Editing Text
- - Grammar Help and Signal Dictionary
- - Menu Bars
- - Page Editing Functions
- - Comparing and Merging Diagrams
- - GR to PR Conversion
44. Symbols and Lines - Quick Reference
- - Symbols and Lines in DP Diagrams
- - Symbols and Lines in HMSC Diagrams
- - Symbols and Lines in MSC Diagrams
- - Symbols and Lines in OM Diagrams
- - Symbols and Lines in SC Diagrams
- - Symbols and Lines in SDL Diagrams
45. The SDL Type Viewer
- - Objects and Windows
- - Main Window
- - Tree Window
46. The SDL Index Viewer
- - Entities and Windows
- - Index Viewer Window
47. The SDL Coverage Viewer
- - Coverage Viewer Windows
- - The Main Window
- - Coverage Details Window
48. Complexity Measurements
- - General
- - Complexity Numbers
49. The SDL Simulator
- - The Simulator Monitor
- - Syntax of Monitor Commands
- - Input and Output of Data Types
- - Monitor Commands
- - Traces
- - Dynamic Errors
- - Graphical User Interface
- - Restrictions
50. Simulating a System
- - Structure of a Simulator
- - Generating and Starting a Simulator
- - Issuing Monitor Commands
- - Customizing the Simulator UI
- - Tracing the Execution
- - Executing a Simulator
- - Examining the System
- - Managing Breakpoints
- - Sending Signals from the Environment
- - Logging the Execution
- - Modifying the System
- - Exiting a Simulator
51. Remote Target Simulation
- - Target Simulation
52. The SDL Explorer
- - The SDL Explorer Monitor
- - Monitor Commands
- - Graphical User Interface
- - Rules Checked During Exploration
- - User-Defined Rules
- - Autolink Configuration Syntax
- - State Space Files
- - Restrictions
53. Validating a System
- - Introduction
- - Underlying Principles and Terms
- - Generating and Starting an SDL Explorer
- - The SDL Explorer User Interface
- - Navigating in the State Space
- - Going to a System State
- - Tracing, Logging and Viewing Facilities
- - Performing Automatic State Space Explorations
- - Validating an SDL System
- - Validating Large Systems
- - Verifying an MSC
- - Using Observer Processes
- - Defining Signals from the Environment
- - Validating Systems That Use the Ref Generator
- - Validating Systems with External C Code
- - Using User-Defined Rules
- - Using Assertions
- - Configuring the SDL Explorer
- - References
54. The SDL Analyzer
- - The Analyzer User Interfaces
- - Starting the Analyzer
- - Environment Variables
- - Syntax of Analyzer Commands
- - Description of Analyzer Commands
- - Conversion to PR
- - The Macro Expander
- - The Lexical and Syntactic Analyzer
- - Separate Analysis
- - Including PR Files
- - The PR to GR Converter
- - SDL Cross-References
- - SDL Instance Information
- - Error Handling
- - Analyzer Files
- - Error and Warning Messages
55. Analyzing a System
- - General Description
- - Using the Analyzer
56. The Cadvanced/Cbasic SDL to C Compiler
- - Introduction
- - Generating a C Program
- - Features
- - Implementation
- - Abstract Data Types
- - Directives to the Cadvanced/Cbasic SDL to C Compiler
- - Using Cadvanced/Cbasic SDL to C Compiler to Generate C++
- - Restrictions
- - Migration Guide for Generic Functions
57. Building an Application
- - Introduction
- - Reference Section
- - Example Section
- - Appendix A: Formats for ASCII
- - Appendix B: User defined ASCII encoding and decoding
- - Appendix C: The SDL System
- - Appendix D: The Environment Functions
58. ASN.1 Encoding and De-coding in the SDL Suite
- - Introduction
- - Basic Concept
- - Solution
- - Encoding and Decoding Functionality
- - Buffer Management System
- - Memory Management System
- - Error Management System
- - User Data
- - Printing Opportunities
- - Structure and Configuration
59. The Targeting Expert
- - Introduction
- - The Graphical User Interface
- - Interactive Mode
- - Targeting Work Flow
- - Batch Mode
- - Internal
- - External Makefile Generator
- - Utilities
- - FAQs
60. SDL C Compiler Driver (SCCD)
- - Introduction
- - Syntax for Invoking
- - Return Codes
- - Actions Performed by SCCD
- - Configuration File
- - C Beautifier
61. The Master Library
- - Introduction
- - File Structure
- - The Symbol Table
- - The SDL Model
- - Allocating Dynamic Memory
- - Compilation Switches
- - Creating a New Library
- - Adaptation to Compilers
- - List of All Compilation Switches
62. The ADT Library
- - General
- - Integration with C Data Types
- - Abstract Data Type for File Manipulations and I/O
- - Abstract Data Type for Random Numbers
- - Abstract Data Types for List Processing
- - Abstract Data Type for Byte
- - Unsigned (and Similar) Types
- - How to Obtain PId Literals
- - General Purpose Operators
- - Summary of Restrictions
63. The Performance Library
- - A Performance Simulation Project
- - The Performance Model
- - Implementation of the Model
64. Integration with Operating Systems
- - Introduction
- - Common Features
- - Light Integration
- - Threaded Integration
- - Tight Integration
- - Limitations for Integrations
- - A Simple Example
- - Tight Integration Code Reference
- - Annex 1: Integration for OSE Delta
- - Annex 2: Integration for VxWorks
- - Annex 3: Integration for Win32
- - Annex 4: Integration for Solaris
- - Annex 5: Generic POSIX Tight Integration
- - Annex 6: Building a Threaded Integration
65. The Cmicro SDL to C Compiler
- - Application Area for the Cmicro SDL to C Compiler
- - Overview of the Cmicro SDL to C Compiler
- - Generated Files
- - Implementation
- - Abstract Data Types
- - Exceptions for Directives
- - Output of Code Generation
- - Symbol Table File
- - Generation of Identifiers
- - SDL Restrictions
66. The Cmicro Library
- - Introduction
- - Differences between Cmicro and Cadvanced
- - The SDL Scheduler Concepts
- - Targeting using the Cmicro Package
- - Compilation Flags
- - Adaptation to Compilers
- - Bare Integration
- - Light Integration
- - File Structure
- - Functions of the Basic Cmicro Kernel
- - Functions of the Expanded Cmicro Kernel
- - Technical Details for Memory Estimations
67. The SDL Target Tester
- - Introduction
- - The SDL Target Tester - An Overview
- - Using the SDL Target Tester's Host
- - SDL Target Tester Commands
- - Graphical User Interface
- - The Target Library
- - Connection of Host and Target
- - More Technical Descriptions
- - Utility Functions
- - Trouble-Shooting
68. Cextreme Code Generator Reference
- - File Structure
- - Environment Functions
- - Compile and Link an Application
- - Integration with Compiler and Operating System
- - Optimization and Configuration
- - Overview of Important Data Structures
69. SOMT Introduction
- - Background
- - Overview of the SOMT Method
- - Scope of the SOMT Method
- - Requirements Analysis
- - System Analysis
- - System Design
- - Object Design
- - Implementation
- - Summary
- - References
70. SOMT Concepts and Notations
- - Activities, Models and Modules
- - Implinks and the Paste As Concept
- - Consistency Checking
- - Object Model Notation
- - State Chart Notation
- - Message Sequence Charts
- - SDL
- - TTCN
- - ASN.1
71. Requirements Analysis
- - Requirements Analysis Overview
- - Textual Requirements
- - Data Dictionary
- - Use Cases
- - Requirements Object Model
- - System Operations
- - Consistency Checks
- - Summary
72. System Analysis
- - System Analysis Overview
- - Analysis Object Model
- - Analysis Use Case Model
- - Textual Analysis Documentation
- - Requirements Traceability
- - Consistency Checks
- - Summary
73. From Analysis to Design
- - From Analysis to Design - Overview
- - Analysis vs. Design
- - Active vs. Passive Objects
- - Reuse Issues in the Design Models
- - Mapping Object Models to SDL
- - Summary
74. System Design
- - System Design Overview
- - Architecture Definition
- - Design Module Structure
- - Deployment Description
- - Static Interface Definitions Using SDL
- - Mapping Object Models to SDL Interface Definitions
- - Design Use Case Model
- - Textual Design Documentation
- - Consistency Checks
- - Summary
75. Object Design
- - Object Design Overview
- - Mapping Object Models to SDL Design Models
- - Describing Object Behavior
- - Design Testing
- - Consistency Checks
- - Summary
76. SOMT Implementation
- - Implementation
- - Partitioning an SDL System
- - Adaptation
- - Integration
- - C Code Generation
- - Testing
- - Summary
77. SOMT Projects
- - SOMT Projects
- - Prestudy/Conceptualization Phase
- - Requirements Analysis Phase
- - System Analysis Phase
- - System Design Phase
- - Design/Implementation Phase
- - The Elaboration Phase
- - Summary
78. SOMT Tutorial
- - Introduction
- - Preparing the Documentation Structure
- - Identifying the Requirements
- - Performing the System Analysis
- - Performing the System Design
- - Performing the Object Design
- - Implementation
- - Performing an Iteration
- - To Conclude...
Menu Choice Index
http://www.ibm.com/rational |
![]() |
![]() |
![]() |
![]() |