![]() |
|
|
|
|
Installation Guide
- - Introduction
1. Platforms and Products
- - Hardware Prerequisites
- - Software Prerequisites
- - Telelogic Tau Compatibility Matrix
- - Build and Certification Matrices
2. Installation Procedure for UNIX
- - Overview
- - Installation Procedure
- - Starting Up the Telelogic Tau Tools
- - Adding Telelogic Tau Components to an Existing Installation
3. Installation Procedure for Windows
- - Overview
- - Installation Procedure
- - Starting Up the Telelogic Tau Tools
- - Post Installation
- - Adding Telelogic Tau 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
- - FLEXlm Management Procedures
- - If the FLEXlm Server Goes Down
- - FLEXlm Event Logging
6. A Primer on Licensing
- - Telelogic Tau Licensing - A General Overview
- - FLEXlm Licensing Details
1. Support for Japanese in SDL Suite 4.2J
- - Overview
- - Enabling Editing and Display of Japanese Characters
- - Japanese Character (Multi-Byte) Support
- - Known Limitations
Release Guide
- - How to Contact Customer Support
- - Telelogic Tau Documentation
- - Typographic Conventions
1. Compatibility Notes
- - Licensing Compatibility
- - File Name Compatibility
- - Storage Format Compatibility
- - Application Programmers Interface
- - Code Generation Compatibility
- - Compatibility with ITU SDL
- - Compatibility with ITU MSC
2. Release Notes
- - Included Components
- - New and Changed Functionality
- - Known Limitations
SDL Suite
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
- - Using C in SDL
- - Using ASN.1 in SDL
- - Appendix A: Differences between H2SDL and CPP2SDL
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
TTCN Suite
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 (UNIX)
- - The Complete Case Study
SDL Suite 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 Validator
- - Purpose of This Tutorial
- - Generating and Starting a Validator
- - 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
- - 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
TTCN Suite 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: TTCN-SDL Co-Simulator (Windows)
- - 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: TTCN-SDL Co-Simulator (on UNIX)
- - 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 Telelogic Tau 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. DOORS Integration
- - Overview
- - Installation
- - Using the Integration
10. 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
11. The PostMaster
- - Introduction to the PostMaster
- - PostMaster Reference
- - Run-Time Considerations
12. Using the Telelogic Tau 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. The H2SDL Utility
- - Introduction
- - H2SDL Input and Output
- - C to SDL Translation Rules
- - Error Messages
16. CPP2SDL Migration Guide
- - Introduction
- - Reasons to Migrate
- - Migration Guidelines
17. CIF Converter Tools
- - Introduction
- - CIF2SDT Converter Tool
- - SDT2CIF Converter Tool
18. The Telelogic Tau Public Interface
- - General Concepts
- - The Service Encapsulator
- - Tool Services
- - Notifications
- - Auxiliary Messages
19. The Information Server
- - General
- - Information Server Error Messages
20. SDT References
- - General
- - Syntax
- - Examples
21. Using OM Access
- - OM Access
- - General Concepts
- - Files and Compiling
- - Using OM Access Together with the SDL Suite
- - Reference
22. 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
23. 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
24. Creating a TTCN Access Application
- - TTCN Access
- - General Concepts
- - Examples
- - Summary
- - Solutions to the Examples
25. The TTCN Access Class Reference Manual
- - Static and Table Nodes
- - Parse Tree Nodes
- - Terminal Nodes
26. 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
27. 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
28. Analyzing TTCN Documents (on UNIX)
- - The TTCN Analyzer
- - Finding Tables
29. 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
30. The TTCN-SDL Co-Simulator (on UNIX)
- - The TTCN-SDL Co-Simulator
- - Performing a Simulation
- - Setting Up a Simulation with the SDL Suite
- - The TTCN-SDL Co-Simulator User Interface
- - Managing Setup Documents
- - Selecting Test Cases and Groups
- - Executing a Test
- - Viewing Documents
- - The Simulator Editor
- - Files Handled by the Simulator
- - Information Messages
- - Using the UI with an ETS
- - Type Mappings in Co-Simulation
31. Customizing the TTCN Suite (on UNIX)
- - Customizing the TTCN Suite
- - How Resources Are Read
- - Customizing Key and Button Bindings
- - Other Customizations
32. Editing TTCN Documents (in Windows)
- - Introduction to the TTCN Suite
- - Using the Browser
- - Editing Tables
- - Creating Behaviour Lines
- - Viewing Log Information
- - Finding and Sorting Tables
- - Exporting and Importing TTCN-MP
- - Exporting to HTML
- - Shortcuts
33. Analyzing TTCN Documents (in Windows)
- - Analyzing TTCN Documents
- - Finding Tables from the Analyzer Log
34. 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
35. The TTCN-SDL Co-Simulator (in Windows)
- - The TTCN-SDL Co-Simulator
- - Performing a Co-Simulation with the SDL Suite
- - The TTCN-SDL Co-Simulator Operations
- - Information Messages
- - Troubleshooting
- - Type Mappings in Co-Simulation
36. The TTCN Exerciser
- - Introduction
- - Functionality Overview
- - Kernel Operation Modes
- - PCOs
- - Timers
- - Test Suite Parameters
- - Test Case Validation
- - TTCN Exerciser Commands
- - ISM Value Encoding
37. TTCN Test Suite Generation
- - Introduction
- - Using TTCN Link
- - TTCN Link Commands in the TTCN suite
- - Using Autolink
38. Adaptation of Generated Code
- - The GCI Interface
- - GCI C Code Reference
- - The Adaptation Framework
- - Completing the Adaptation
39. Error Messages in the TTCN Suite
- - Error Messages
- - The Structure of Error Messages
- - Additional Error Messages on Standard Error
- - The Meaning of Error Messages
40. 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
41. 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
- - Literature References
42. The Deployment Editor
- - Introduction
- - The Deployment Diagram
- - Deployment Workflow
43. 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
44. The UML2SDL Utility
- - Setting Up the UML2SDL Utility
- - Converting UML Diagrams
- - Transformation Rules
- - A Small Example
45. 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
46. 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
47. The SDL Type Viewer
- - Objects and Windows
- - Main Window
- - Tree Window
48. The SDL Index Viewer
- - Entities and Windows
- - Index Viewer Window
49. The SDL Coverage Viewer
- - Coverage Viewer Windows
- - The Main Window
- - Coverage Details Window
50. 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
51. 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
52. Tornado Target Simulator
- - Tornado Target Simulator
- - Architecture
- - Tornado Simulator vs. Telelogic Tau Simulator
- - Known Restrictions and Limitations
- - Annex 1: Using the Tornado Target Simulator, an Example
53. Remote Target Simulation
- - Target Simulation
54. The SDL Validator
- - The Validator Monitor
- - Monitor Commands
- - Graphical User Interface
- - Rules Checked During Exploration
- - User-Defined Rules
- - Autolink Configuration Syntax
- - State Space Files
- - Restrictions
55. Validating a System
- - Introduction
- - Underlying Principles and Terms
- - Generating and Starting a Validator
- - The Validator 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 Validator
- - References
56. The SDL Analyzer
- - The Analyzer User Interfaces
- - Starting the Analyzer
- - 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
57. Analyzing a System
- - General Description
- - Using the Analyzer
58. 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
59. 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
60. ASN.1 Encoding and Decoding in the SDL suite
- - Introduction
- - Basic Concept
- - Solution
- - Encoding and Decoding Functionality
- - Buffer Management System
- - Memory Management System
- - Error Management System
- - Printing Opportunities
- - Structure and Configuration
61. The Targeting Expert
- - Introduction
- - The Graphical User Interface
- - Interactive Mode
- - Targeting Work Flow
- - Batch Mode
- - Internal
- - External Makefile Generator
- - Utilities
- - FAQs
62. SDL C Compiler Driver (SCCD)
- - Introduction
- - Syntax for Invoking
- - Return Codes
- - Actions Performed by SCCD
- - Configuration File
- - C Beautifier
63. The SDL to CHIPSY CHILL Translator
- - Introduction
- - Generating a CHILL Program
- - Implementation
- - Abstract Data Types
- - Directives to sdl2chill
- - Applying Generated Programs
- - Implementation Dependencies
64. The SDL to ETRI/Samsung CHILL Translator
- - Introduction
- - Generating a CHILL Program
- - Implementation
- - Abstract Data Types
- - Directives to sdl2chill
- - Applying Generated Programs
- - Implementation Dependencies
65. The Master Library
- - Introduction
- - File Structure
- - The Symbol Table
- - The SDL Model
- - Structure of Generated Code
- - Allocating Dynamic Memory
- - Compilation Switches
- - Creating a New Library
- - Adaptation to Compilers
- - List of All Compilation Switches
66. 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
- - Pointer Types
- - Summary of Restrictions
67. The Performance Library
- - A Performance Simulation Project
- - The Performance Model
- - Implementation of the Model
68. Integration with Operating Systems
- - Introduction
- - Common Features
- - Light Integration
- - Threaded Light 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 Nucleus Plus
- - Annex 4: Integration for Win32
- - Annex 5: Integration for Solaris 2.6
- - Annex 7: Running the Test Example: Simple as a Threaded Light Integration for Solaris.
69. 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
70. 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
71. 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
72. SOMT Introduction
- - Background
- - Overview of the SOMT Method
- - Scope of the SOMT Method
- - Requirements Analysis
- - System Analysis
- - System Design
- - Object Design
- - Implementation
- - Summary
- - References
73. 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
74. Requirements Analysis
- - Requirements Analysis Overview
- - Textual Requirements
- - Data Dictionary
- - Use Cases
- - Requirements Object Model
- - System Operations
- - Consistency Checks
- - Summary
75. System Analysis
- - System Analysis Overview
- - Analysis Object Model
- - Analysis Use Case Model
- - Textual Analysis Documentation
- - Requirements Traceability
- - Consistency Checks
- - Summary
76. 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
77. 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
78. Object Design
- - Object Design Overview
- - Mapping Object Models to SDL Design Models
- - Describing Object Behavior
- - Design Testing
- - Consistency Checks
- - Summary
79. SOMT Implementation
- - Implementation
- - Partitioning an SDL System
- - Adaptation
- - Integration
- - C Code Generation
- - Testing
- - Summary
80. SOMT Projects
- - SOMT Projects
- - Prestudy/Conceptualization Phase
- - Requirements Analysis Phase
- - System Analysis Phase
- - System Design Phase
- - Design/Implementation Phase
- - The Elaboration Phase
- - Summary
81. 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 ...
- - Telelogic Tau Menu Choice Index
| Telelogic AB http://www.telelogic.com |
|
|
|
|