Telelogic Tau 3.5

User's Manual

Part 6:   Chapter 49-- 55

Table of Contents 

49. The SDT Analyzer      2091

• The Analyzer User Interfaces      2092
• The Analyzer Graphical UI      2092
• The Analyzer Batch UI      2092
• The Analyzer Command-Line UI      2092
• Starting the Analyzer      2092
• Syntax of Analyzer Commands      2093
• Description of Analyzer Commands      2093
• Alphabetical List of Commands      2093
• Miscellaneous Analyzer Commands      2110
• Conversion to PR      2112
• The Macro Expander      2113
• Implementation Details      2114
• The Lexical and Syntactic Analyzer      2115
• Separate Analysis      2116
• GR Input      2116
• PR Input      2116
• Including PR Files      2117
• Syntax of #INCLUDE Directives      2117
• Search Order for Included PR Files      2117
• The PR to GR Converter      2118
• General      2118
• Conversion Principles      2118
• Resulting files      2118
• SDL Cross-References      2119
• Definitions and Cross References Files      2119
• Syntax of Files      2121
• SDL Instance Information      2123
• The SDT Instance Generator      2123
• File Syntax      2124
• Error Handling      2138
• Command Interpretation Errors      2138
• Diagnostics Issued During Analysis      2138
• Diagnostic Format      2139
• Analyzer Files      2141
• Error and Warning Messages      2142

50. Analyzing a System      2227

• General Description      2228
• Analyzer Input and Output      2230
• The Analyzer User Interfaces      2231
• Using the Analyzer      2232
• Analyzing Using Default Options      2232
• Analyzing Using Customized Options      2232
• Locating and Correcting Analysis Errors      2237
• Producing a Pretty-Printed SDL-PR File      2239
• Converting SDL-PR to SDL-GR      2241

51. The Cadvanced/Cbasic Code Generator      2243

• Introduction      2244
• Application Areas for the Cadvanced/Cbasic Code Generator      2244
• Overview of the Cadvanced/Cbasic Code Generator      2247
• Generating a C Program      2250
• Process of Generating a C Program      2250
• Executing a C Program      2251
• The SDL Unit for Which Code is Generated      2251
• Errors During Code Generation      2252
• Features      2253
• Partitioning      2253
• Generation of Support Files      2257
• Implementation      2258
• Time      2258
• Scheduling      2259
• Enabling Conditions and Continuous Signals      2261
• Synonyms      2262
• Import -- Export      2264
• Remote Procedure Calls      2264
• Procedure Calls and Operator Calls      2265
• External Procedures      2266
• Any      2266
• Calculation of Receiver in Outputs      2267
• Abstract Data Types      2268
• SDL Predefined Types      2268
• Translation of Sorts      2275
• Implementation of User Defined Operators      2286
• More about Abstract Data Types      2297
• Generators      2317
• Directives to the Cadvanced/Cbasic Code Generator      2319
• Syntax of Directives      2319
• Selecting File Structure for Generated Code -- Directive #SEPARATE      2320
• Accessing SDL Names in C Code -- Directive #SDL      2324
• Including C Code in Task -- Directive #CODE      2326
• Including C Declarations -- Directive #CODE      2327
• Including C Code in SDL Expressions -- Operator #CODE      2330
• Names and Prefixes in Generated Code      2331
• Specifying Names in Generated Code -- Directive #NAME      2335
• Assigning Priorities -- Directive #PRIO      2335
• Initialization -- Directive #MAIN      2336
• Modifying Outputs -- Directive #EXTSIG, #ALT, #TRANSFER      2336
• Linking with Other Object Files -- Directive #WITH      2340
• Naming Tasks in Trace Output -- Directive #ID      2341
• Directive #C, #SYNT, #SYNTNN, #ASN1      2341
• Using the Cadvanced/Cbasic Code Generator to Generate C++      2342
• General      2342
• Connection Between C++ Classes and SDL      2343
• Restrictions      2346
• SDL Restrictions      2346

52. Building an Application      2347

• Introduction      2348
• The Basic Idea      2348
• Libraries      2350
• Reference Section      2351
• Representation of Signals and Processes      2351
• The Environment Functions      2354
• Dynamic Errors      2373
• Example Section      2374
• The Example      2374
• The SDL System      2375
• Simulating the Behavior      2375
• The Environment      2379
• Running the Application      2382
• Where to Find the Example      2383
• Appendix A: The SDL System      2384
• Appendix B: The Environment Functions      2387

53. SDT C Compiler Driver (SCCD)      2393

• Introduction      2394
• Syntax for Invoking      2395
• Return Codes      2395
• Actions Performed by SCCD      2396
• Configuration File      2396
• C Beautifier      2399

54. The SDL to CHIPSY CHILL Translator      2401

• Introduction      2402
• Application Areas for sdl2chill      2402
• Overview of sdl2chill      2403
• Generating a CHILL Program      2406
• Creating the CHILL Program      2406
• Building and Running a CHILL Program from SDT      2406
• Running a CHILL Program      2407
• Errors During Code Generation      2408
• Implementation      2409
• Overview      2409
• System Structure      2410
• Communication      2414
• Behavior      2415
• Action      2421
• Timer      2425
• Continuous Signals      2426
• Synonyms      2427
• Abstract Data Types      2429
• SDL Predefined Types      2429
• Translation of Sorts      2444
• User Defined Operators      2449
• More about Abstract Data Types      2455
• Directives to sdl2chill      2461
• Syntax of Directives      2461
• Selecting File Structure for Generated Code -- Directive #SEPARATE      2462
• Applying SDL Names in CHILL Code -- Directive #SDL      2465
• Including CHILL Code in TASK -- Directive #CODE      2467
• Including CHILL Data Statements -- Directive #CODE      2468
• Including CHILL Code in SDL Expressions -- Operator #CODE      2470
• Names and Prefixes in Generated Code      2471
• Specifying Name Strings in Generated Code -- Directive #NAME      2474
• Assigning Priorities -- Directive #PRIO      2475
• Initialization -- Directive #MAIN      2476
• Linking with Other Object Files -- Directive #WITH      2476
• Interfacing to Existing CHILL Code 
  -- Directive #ENVIRONMENT and #CHILL      2477
• Identifying Initially Created Process Instances -- Directive #PIDLIT      2478
• Applying Generated Programs      2480
• Software Structure      2480
• The System Interface Module      2481
• A Complete Example      2482
• Implementation Dependencies      2493
• SDL Implementation Dependencies      2493
• Implementation Dependencies on Integer      2495

55. The SDL to ETRI/Samsung CHILL Translator      2497

• Introduction      2498
• Application Areas for sdl2chill      2498
• Overview of sdl2chill      2499
• Generating a CHILL Program      2502
• Creating the CHILL Program      2502
• Building and Running a CHILL Program from SDT      2502
• Running a CHILL Program      2504
• Errors During Code Generation      2504
• Implementation      2505
• Overview      2505
• System Structure      2506
• Communication      2510
• Behavior      2511
• Action      2517
• Timer      2520
• Continuous Signals      2522
• Synonyms      2523
• Abstract Data Types      2525
• SDL Predefined Types      2525
• Translation of Sorts      2547
• User Defined Operators      2552
• More about Abstract Data Types      2558
• Directives to sdl2chill      2565
• Syntax of Directives      2565
• CROS Initial Signals -- the #ALT Directive      2566
• Selecting File Structure for Generated Code -- Directive #SEPARATE      2566
• Applying SDL Names in CHILL Code -- Directive #SDL      2570
• Including CHILL Code in TASK -- Directive #CODE      2572
• Including CHILL Data Statements -- Directive #CODE      2573
• Including CHILL Code in SDL Expressions -- Operator #CODE      2575
• Names and Prefixes in Generated Code      2576
• Specifying Name Strings in Generated Code -- Directive #NAME      2579
• Assigning Priorities -- Directive #PRIO      2580
• Initialization -- Directive #MAIN      2581
• Separate "main" Procedure      2581
• Linking with Other Object Files -- Directive #WITH      2582
• Interfacing to Existing CHILL Code 
  -- Directive #ENVIRONMENT and #CHILL      2583
• Identifying Initially Created Process Instances -- Directive #PIDLIT      2584
• Applying Generated Programs      2585
• Software Structure      2585
• The System Interface Module      2586
• A Complete Example      2588
• Implementation Dependencies      2598
• SDL Implementation Dependencies      2598
• Implementation Dependencies on Integer      2600