The Esterel v5 21 System Manual - Courses

More documents

Recommendations

Info

ii CONTENTS 2.5 Sanity Checks . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 2.5.1 Multiple Emission of Single Signals . . . . . . . . . . . 22 2.6 Options of the esterel command . . . . . . . . . . . . . . . . . 23 2.6.1 Version Identification . . . . . . . . . . . . . . . . . . 23 2.6.2 Verbose Compilation . . . . . . . . . . . . . . . . . . . 23 2.6.3 Code Generation Options . . . . . . . . . . . . . . . . 24 2.6.4 Constructiveness Analysis and Other Verifications . . 26 2.6.5 Controlling File Names . . . . . . . . . . . . . . . . . 26 2.6.6 Partial Compilation . . . . . . . . . . . . . . . . . . . 27 2.6.7 Keeping Intermediate Files . . . . . . . . . . . . . . . 28 2.6.8 Passing Options to Processors . . . . . . . . . . . . . . 29 3 The Esterel to C Interface 31 3.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31 3.2 Overview . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32 3.3 C Code for Data Handling . . . . . . . . . . . . . . . . . . . . 33 3.3.1 Where to Define the Data-handling Objects . . . . . . 33 3.3.2 Predefined Types . . . . . . . . . . . . . . . . . . . . . 34 3.3.3 User-defined Types . . . . . . . . . . . . . . . . . . . . 34 3.3.4 Conversion To and From Strings . . . . . . . . . . . . 37 3.3.5 Constants . . . . . . . . . . . . . . . . . . . . . . . . . 39 3.3.6 Functions . . . . . . . . . . . . . . . . . . . . . . . . . 39 3.3.7 Procedures . . . . . . . . . . . . . . . . . . . . . . . . 40 3.4 The Reaction Interface . . . . . . . . . . . . . . . . . . . . . . 41 3.4.1 Input Signals . . . . . . . . . . . . . . . . . . . . . . . 41 3.4.2 Return Signals . . . . . . . . . . . . . . . . . . . . . . 42 3.4.3 Output Signals . . . . . . . . . . . . . . . . . . . . . . 43 3.4.4 Inputoutput Signals . . . . . . . . . . . . . . . . . . . 43 3.4.5 Sensors . . . . . . . . . . . . . . . . . . . . . . . . . . 44 3.4.6 Reaction and Reset . . . . . . . . . . . . . . . . . . . . 44 3.4.7 Warnings and Advises . . . . . . . . . . . . . . . . . . 45 3.5 Task Handling . . . . . . . . . . . . . . . . . . . . . . . . . . 45 3.5.1 Low-level Layer: the ExecStatus Interface . . . . . . . 46 3.5.2 The Functional Interface to Tasks . . . . . . . . . . . 50 3.6 The sametype Utility . . . . . . . . . . . . . . . . . . . . . . . 51 4 Building Esterel Simulators 55 4.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55 4.2 Building a Simulator . . . . . . . . . . . . . . . . . . . . . . . 56 4.3 Simulating Simple Programs . . . . . . . . . . . . . . . . . . . 56
CONTENTS iii 4.4 Simulating Programs with User-Defined Data . . . . . . . . . 57 4.5 Multi-Module Files . . . . . . . . . . . . . . . . . . . . . . . . 59 5 The xes Graphical Simulator 61 5.1 Starting an xes Simulation . . . . . . . . . . . . . . . . . . . . 61 5.2 Performing Reactions . . . . . . . . . . . . . . . . . . . . . . 63 5.2.1 Building The Input Event . . . . . . . . . . . . . . . . 63 5.2.2 Sending the tick . . . . . . . . . . . . . . . . . . . . . 65 5.2.3 The Output Event . . . . . . . . . . . . . . . . . . . . 66 5.2.4 Building the Next Event . . . . . . . . . . . . . . . . . 66 5.2.5 High/Low Inputs . . . . . . . . . . . . . . . . . . . . . 67 5.2.6 Resetting the Program . . . . . . . . . . . . . . . . . . 67 5.2.7 Handling exec Statements . . . . . . . . . . . . . . . . 67 5.3 The Main Panel Menus . . . . . . . . . . . . . . . . . . . . . 69 5.3.1 The Commands Menu . . . . . . . . . . . . . . . . . . 69 5.3.2 The Fonts Menu . . . . . . . . . . . . . . . . . . . . . 72 5.3.3 The Windows Menu . . . . . . . . . . . . . . . . . . . 72 5.4 Symbolic Debugging . . . . . . . . . . . . . . . . . . . . . . . 73 5.4.1 Finding the Source Code . . . . . . . . . . . . . . . . 73 5.4.2 Source Windows . . . . . . . . . . . . . . . . . . . . . 73 5.4.3 The Program Tree . . . . . . . . . . . . . . . . . . . . 73 5.4.4 Signal browsing . . . . . . . . . . . . . . . . . . . . . . 75 5.4.5 Colors in Source Windows . . . . . . . . . . . . . . . . 76 5.4.6 Breakpoints . . . . . . . . . . . . . . . . . . . . . . . . 77 5.4.7 The Control Path . . . . . . . . . . . . . . . . . . . . 77 5.4.8 Causality Errors . . . . . . . . . . . . . . . . . . . . . 78 5.5 The Tape Recorder . . . . . . . . . . . . . . . . . . . . . . . . 81 5.6 Options of the xes Command . . . . . . . . . . . . . . . . . . 81 6 Simulation with csimul 85 6.1 Prompts, Help, Exit, and Interrupts . . . . . . . . . . . . . . 85 6.2 The Input Command . . . . . . . . . . . . . . . . . . . . . . . 86 6.2.1 Input Syntax . . . . . . . . . . . . . . . . . . . . . . . 86 6.2.2 Event generation . . . . . . . . . . . . . . . . . . . . . 87 6.2.3 Input Checking . . . . . . . . . . . . . . . . . . . . . . 88 6.2.4 Combined Signals in Input Events . . . . . . . . . . . 88 6.3 Output Printing . . . . . . . . . . . . . . . . . . . . . . . . . 89 6.4 Input and Output Streams . . . . . . . . . . . . . . . . . . . 90 6.5 The reset Command . . . . . . . . . . . . . . . . . . . . . . . 91 6.6 The show and trace Commands . . . . . . . . . . . . . . . . . 91
Page 1: The Esterel v5 21 System Manual G.
Page 6 and 7: iv CONTENTS 6.6.1 Showing the State
Page 8 and 9: 2 PREFACE feedback. WARNING: Chapte
Page 10 and 11: 4 CHAPTER 1. GETTING STARTED and XE
Page 12 and 13: 6 CHAPTER 1. GETTING STARTED The fo
Page 14 and 15: 8 CHAPTER 1. GETTING STARTED The ad
Page 16 and 17: 10 CHAPTER 1. GETTING STARTED
Page 18 and 19: 12 CHAPTER 2. USING THE ESTEREL COM
Page 38 and 39: 32 CHAPTER 3. THE ESTEREL TO C INTE
Page 54 and 55:
48 CHAPTER 3. THE ESTEREL TO C INTE
Page 56 and 57:
Page 58 and 59:
Page 60 and 61:
Page 62 and 63:
56 CHAPTER 4. BUILDING ESTEREL SIMU
Page 64 and 65:
Page 66 and 67:
Page 68 and 69:
62 CHAPTER 5. THE XES GRAPHICAL SIM
Page 70 and 71:
Page 72 and 73:
Page 74 and 75:
Page 76 and 77:
Page 78 and 79:
Page 80 and 81:
Page 82 and 83:
Page 84 and 85:
Page 86 and 87:
Page 88 and 89:
Page 90 and 91:
Page 92 and 93:
86 CHAPTER 6. SIMULATION WITH CSIMU
Page 94 and 95:
Page 96 and 97:
Page 98 and 99:
Page 100 and 101:
Page 102 and 103:
Page 104 and 105:
Page 106 and 107:
100 CHAPTER 7. SIMULATION EXAMPLES
Page 108 and 109:
Page 110 and 111:
Page 112 and 113:
Page 114 and 115:
Page 116 and 117:
Page 118 and 119:
112 CHAPTER 8. CONSTRUCTIVE CYCLIC
Page 120 and 121:
Page 122 and 123:
Page 124 and 125:
Page 126 and 127:
Page 128 and 129:
Index !, see csimul ?, see csimul #
Page 130 and 131:
124 INDEX ?, 85 combined signal, 88
Page 132 and 133:
126 INDEX lc, 12, 13, 27 -lc, 15, 2
Page 134 and 135:
128 INDEX scc, 13, 18 sccausal, 12,
Page 136:
130 INDEX high/low inputs, 67, 72 i
show all

The Esterel v5 21 System Manual - Courses

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?