Scade User Manual
2023-11-07 15:36:32 3 举报AI智能生成
Scade User Manual脑图
作者其他创作
大纲/内容
Part 3 Verification
验证
验证
Running Formal Verification Sessions
运行时验证
运行时验证
Overview of Design Verifier P614
建模验证概述
建模验证概述
Design Verifier Workflow P618
工作流
工作流
双击查看大图
Exploring Design Verifier User Interface P619
建模验证用户接口
建模验证用户接口
Generated Output Files P632
报告与反例生成
报告与反例生成
Fundamentals in Design Verification P624
模型验证基础
模型验证基础
Property Expression P624
性质表达式
性质表达式
Verifiable Properties P625
可验证的性质
可验证的性质
User Proof Objectives P625
用户性质对象
用户性质对象
Predefined Proof Objectives P626
预定义性质对象
预定义性质对象
溢出、除零、越界与一致性等等
Strategies P627
策略
策略
Prove,Debug,Induction与Custom四种选项
Setting Design Verifier Environment P629
环境设置
环境设置
Creating Dedicated Verification Project P629
创建验证项目
创建验证项目
Configuring User Property Verification P631
用户设置性质验证
用户设置性质验证
Applying Predefined Properties P635
应用预定义的性质检查
应用预定义的性质检查
Specifying User-Defined Strategies P638
用户策略选择
用户策略选择
Organizing Design Verifier Analysis Objects P640
组织与编辑验证对象
组织与编辑验证对象
组织文件夹，编辑文档等等内容
Launching Property Analyses P644
进行性质分析
进行性质分析
可以进行多选验证
Interpreting Property Analyses Results P645
理解性质分析的结果
理解性质分析的结果
Valid:当前性质一直为true
Falsifiable：可以为false，能够产生反例
Indeterminate：找不到反例
Interrupted：在超时前手动终止并且没有发现反例
Stop Depth Reached：到达最大深度时无结果
Raised an Error：引发错误
Contradictory：无法完成分析也无法停止，矛盾模型
Displaying Analysis Information in Reports P646
报告展示
报告展示
Launching Verification Scenarios from Reports P647
从验证报告进行上下文加载并进行仿真
从验证报告进行上下文加载并进行仿真
Displaying Counter-Examples in Scenario Viewer P649
展示反例
展示反例
Verifying Timing and Stack Usage
时间与堆栈验证
时间与堆栈验证
Overview of Timing and Stack Analysis Tools P651
时间与堆栈验证概述
时间与堆栈验证概述
Timing and Stack Analysis Workflow P652
工作流
工作流
双击查看大图
Exploring Timing and Stack Analysis User Interface P653
时间与堆栈验证用户接口
时间与堆栈验证用户接口
Timing and Stack Result Views P655
时间与堆栈报告
时间与堆栈报告
Fundamentals about Timing and Stack Tools P660
时间与堆栈工具基础
时间与堆栈工具基础
双击查看大图
Setting Timing and Stack Verification P662
时间与堆栈验证设置
时间与堆栈验证设置
Setting Timing and Stack Result Options P662
标准设置
标准设置
时间验证标准
堆栈验证标准
Setting Code Generation for Timing and Stack P663
设置代码生成器
设置代码生成器
Scade Suite通过Code Generation生成的二进制文件进行验证
Scade Suite内置了大量的编译器版本来适配始建于堆栈验证器
Building Binary for Timing and Stack Analysis P668
生成二进制进行分析
生成二进制进行分析
Setting Timing and Stack Analysis Tools P669
分析器基础设置
分析器基础设置
Setting Advanced Timing and Stack Analysis P670
分析器高阶设置
分析器高阶设置
Setting Time Cycle and Stack for Imported Operators P670
为导入算子设置时间周期与堆栈
为导入算子设置时间周期与堆栈
Setting Advanced Verifiers Options P671
高阶选项
高阶选项
Interactive：一个与aiT工具交互的外部工具接口选项
Max unroll:设置最大循环调用
Default unroll：设置迭代轮次未知时的调用次数
Use external analyzer version:使用外部分析器的版本
Specifying aiT Tool Environment and Referencing Environment P672
aiT工具设置 ？
aiT工具设置 ？
Launching Timing and Stack Analysis Tools P673
启动时间和堆栈分析工具
启动时间和堆栈分析工具
Examining Timing and Stack Analysis Results P675
检查时间和堆栈分析工具的结果
检查时间和堆栈分析工具的结果
标题为检查，更多还是结果的展示、对比与追溯
Creating Compiler Configuration File P685
创建编译配置文件
创建编译配置文件
如果需要一个专门交叉编译期来进行该验证功能，则需要创建一个相关的编译配置文件。
本小节主要讲述各类的配置选项。
本小节主要讲述各类的配置选项。
Part 4 Code Generation
代码生成
代码生成
Fundamentals about SCADE Suite Code Generation
Scade Suite代码生成基础
Scade Suite代码生成基础
Code Generation Principles P698
代码生成原则
代码生成原则
Generation of Monolithic or Task-Based Code P699
生成整体的或基于任务的代码
生成整体的或基于任务的代码
SCADE Suite Input Models P700
Scade Suite输入模型
Scade Suite输入模型
XML files（文本与图形格式）
modify options
root operator
Code Generation Files P700
代码生成文件
代码生成文件
代码生成输入与输出文件
Optimization of Generated Code P701
对已生成优化的优化
对已生成优化的优化
一般都是默认生成，原话是"is optimized by default"。
有额外的优化等级，输入与中间变量的输入选项。
有额外的优化等级，输入与中间变量的输入选项。
Assertions in Generated Code P701
代码的中的断言
代码的中的断言
Probes in Generated Code P701
代码中的探针
代码中的探针
Code Generation Checks P702
代码生成检查（在代码生成前进行）
代码生成检查（在代码生成前进行）
语法检查
语义检查
竟然有这么多检查，其中的包括了我们现在必然没有的时钟检查
Exploring Code Generator User Interface P704
代码生成用户接口
代码生成用户接口
Code Generation Workflow P708
代码生成工作流
代码生成工作流
Scade代码生成工作流
Setting and Lauching Code Generation
设置与启动代码生成
设置与启动代码生成
Specifying Code Generation P711
指定代码生成
指定代码生成
必须指定一个代码生活器及其目标文件夹
Setting Optimization Options P713
设置优化选项
设置优化选项
Local variables as static
局部变量生成为静态变量
局部变量生成为静态变量
Input threshold
限制输入个数
限制输入个数
Setting Debug Options P714
设置调试选项
设置调试选项
设置Operator的可见性
Setting Code Configuration Options 716
配置代码选项
配置代码选项
C代码设置
Generate context as global
将上下文与根op的输入设置为全局变量
将上下文与根op的输入设置为全局变量
Wrap C operators
将算术运算、二元运算与关系运算op封装在宏定义中
将算术运算、二元运算与关系运算op封装在宏定义中
Keep assertions
保持断言
保持断言
Keep probes in generated code
保持探针
保持探针
Generate system memory state management
将内存数据与功能函数进行保存，以对op的状态进行检索
将内存数据与功能函数进行保存，以对op的状态进行检索
Short circuit operators
通过短路运算操作符取代C的位与操作符
通过短路运算操作符取代C的位与操作符
Global prefix
全局变量前缀
全局变量前缀
Name length and Sinnificance length
名称与总体长度
名称与总体长度
User config
用户的配置头文件
用户的配置头文件
Header file
添加的头文件
添加的头文件
Ada代码设置（略）
Setting Code Expansion Mode P719
设置代码的扩展模式
设置代码的扩展模式
设置选择的operator是否在目标代码中被生成
Setting Code Integration Capabilities p721
设置代码集成能力
设置代码集成能力
代码集成能力
Setting Periodicity of Code Execution P724
设置代码执行的周期性 ？
设置代码执行的周期性 ？
Setting Compiler and Build Options P725
设置编译器与构建选项
设置编译器与构建选项
编译器设置
编译器版本
GNU C与VC
GNU C与VC
CPU支持
预处理器
额外编译选项
额外链接选项
构建设置
额外包括的文件夹
排除的文件
Adjusting Variable Name Length for Compiler P728
调整变量的名称长度
调整变量的名称长度
Setting I/O Separation Options P729
设置IO分离
设置IO分离
实际面向的operaotr级的I/O分离，可以隐藏输入与输出。
Setting Pragmas on Model Elements P731
设置模型元素的注释
设置模型元素的注释
生成的C代码中可以根据该设置，标注映射到原始模型中的属性，Operator的生成设置等
Launching KCG Code Generation from User Interface P736
用户界面启动KCG代码生成
用户界面启动KCG代码生成
Launching KCG Executable in Command Line P738
命令行启动可执行文件
命令行启动可执行文件
Implementing Models with Imported Code
通过外部导入代码实现模型
Implementing Imported Ada Code P748
实现导入的Ada代码
通过外部导入代码实现模型
Generating Templates for Imported Operators P740
为导入的op自动生成模板
为导入的op自动生成模板
Implementing Imported C Code P742
实现导入的C代码
实现导入的C代码
Implementing C Code for Imported Functions
通过C代码实现Imported Function
通过C代码实现Imported Function
Implementing C Code for Imported Nodes
通过C代码实现Imported Node
通过C代码实现Imported Node
实现导入的Ada代码
Integrating Monolithic Code
整合完整的代码
整合完整的代码
Generating and Integrating Task-Based Code
生成与整合基于任务的代码
生成与整合基于任务的代码
附录
SCADE Suite in Command Line P781
Scade Suite命令行
Scade Suite命令行
SCADE Suite Files in Configuration Management
Scade Suite文件配置管理
Scade Suite文件配置管理
文件后缀1
文件后缀2
文件后缀3
SCADE Suite and Source Code Control
Scade Suite版本管理与源代码控制
Scade Suite版本管理与源代码控制
Part 1 Design and Model Editing
模型设计与设置
模型设计与设置
Setting Project and Design Environment
项目与环境设置
项目与环境设置
Setting Scade Suite Tools Options P61
Scade整体工具设置
Scade整体工具设置
Environment设置 P62
是否有启动页，是否加载上次关闭时的项目，是否显示advance设置
是否有启动页，是否加载上次关闭时的项目，是否显示advance设置
General设置 P64
默认的变量类型、默认的字面类型
默认的变量类型、默认的字面类型
View设置 P66
界面展示框选项
界面展示框选项
Commands设置 P68
设置在导航栏中的操作按钮，如复制粘贴等
设置在导航栏中的操作按钮，如复制粘贴等
Langua设置 P69
构件选项，勾选想要使用的构件
构件选项，勾选想要使用的构件
Advanced设置 P70
几乎所有内容的细节设置
几乎所有内容的细节设置
Customize定制化
Managing Projects P79
项目管理
项目管理
创建新的工作空间 P79
创建新项目 P80
创建新的python文件 P85 ?
创建Tcl脚本 P85 ?
切换页面，重命名，插入已有项目或文件等 P86
Managing Default or Custom Configurations P89
管理默认的以及用户设置
管理默认的以及用户设置
Organizing Model Design with Packages P96
包管理
包管理
新建包 P97
引用包 P99
即Open Package
即Open Package
包的可见性管理 P102
可以设置其public与private属性
可以设置其public与private属性
Managing Favorites and Using Shortcuts P103
管理快捷方式
管理快捷方式
Creating and Modifying Styles P105
创建与自定义样式
创建与自定义样式
Enabling Display Options in Diagram Views P113
管理示意图视图
管理示意图视图
Organizing and Working with Model Editing Views P114
建模视图管理
建模视图管理
Organizing and Working with Docking Windows P122
建模窗口管理
建模窗口管理
Designing Models
模型设计
模型设计
Declaring Design Elements in Model P127
声明设计元素
声明设计元素
Declaring Model Operators P128
声明Operator
声明Operator
Node
Function
Imported nodes或imported funcitions
Specialized operators
Declaring Operator Interface P129
声明Operator的接口
声明Operator的接口
inputs/outputs
Hidden inputs
Declaring Operator Local Data P131
声明Operator局部变量
声明Operator局部变量
Variables
Probes探针 P132
Signals
Creating and Designing State Machines P134
状态机的创建与设计
状态机的创建与设计
创建状态机 P134
创建状态 P137
初始、终结状态
初始、终结状态
状态迁移 P138
fork迁移 P141
子迁移条件
子迁移条件
迁移类型 P143
Creating and Designing If Blocks P145
If条件块的创建与设计
If条件块的创建与设计
创建If块 P145
创建节点 P147
IfBlock与Node编辑 P149
Creating and Designing When Blocks P152
Switch条件块的创建与设计
Switch条件块的创建与设计
创建Switch块 P152
创建分支 P154
编辑块与分支 P155
Declaring and Editing Imported Operators P157
声明imported Operator
声明imported Operator
Declaring and Editing Specialized Operators P159
特化Operator的声明与编辑
特化Operator的声明与编辑
被特化的Operator必须为一个imported Operator
Setting States/Actions in Embedded/Hidden Mode P162
状态与动作的展示与隐藏
状态与动作的展示与隐藏
控制块信息隐藏
Splitting Operator Design in Multiple Diagrams P166
Operator多画布拆分
Operator多画布拆分
Inserting Existing Item P166
插入已有内容
插入已有内容
插入.xcade与.scade文件
Defining Data Types P168
数据类型定义
数据类型定义
Declaring New Types P168
定义新类型
定义新类型
Setting Array Types P169
设置数组类型
设置数组类型
Setting Enumeration Types P172
设置枚举类型
设置枚举类型
Setting Structure Types P173
设置结构体类型
设置结构体类型
Completing Definition of Structured Types P174
完成结构性类型的设置
完成结构性类型的设置
Setting Imported Types P175
导入类型
导入类型
从.h文件中导入，需要包含初始化、拷贝函数、比较函数
Declaring Operators Using Generic Types P177
声明带有泛型的Operator
声明带有泛型的Operator
Defining Constants P179
常量定义
常量定义
Declaring New Constants P179
声明新常量
声明新常量
Setting Constants of Array Type P181
设置数组常量
设置数组常量
独立设置数组
表格样式设置数组
CSV文件数组值导入
Setting Imported Constants with External Code P184
外部代码导入常量
外部代码导入常量
Setting Imported Constants with Imported Types P186
通过导入类型设置导入常量
通过导入类型设置导入常量
Defining Sensors P189
传感器定义
传感器定义
Setting Design Instances in Diagram Views P191
画布模型实例设计
画布模型实例设计
Creating Operator Calls P192
用户创建构件创建
用户创建构件创建
Creating Calls to Predefined Operators P193
预定义构件创建
预定义构件创建
Creating Predefined Operator Symmetric Calls P193
预定义构件对称形式（构件的顶部与底部输出交换位置）
预定义构件对称形式（构件的顶部与底部输出交换位置）
Adding/Removing Predefined Operator Inputs P194
构件扩展
构件扩展
Composing/Decomposing Structured Types P195
创建/销毁结构类型（不就是用Make、Flatten、Data Array之类的构件吗）
创建/销毁结构类型（不就是用Make、Flatten、Data Array之类的构件吗）
Substituting Operator and Variable Calls P197
替换操作符与变量
替换操作符与变量
Creating References to Inputs/Outputs P198
创建输入与输出的画布引用
创建输入与输出的画布引用
Creating References to Local Data P199
创建中间变量的画布引用
创建中间变量的画布引用
Creating References to Constants or Sensors P200
创建常量与传感器的画布引用
创建常量与传感器的画布引用
Creating Contracts: Assume/Guarantee P200
创建性质验证
创建性质验证
Creating Terminators P201
创建终结符
创建终结符
Creating Lasts of Variables and Signals P201
创建last模式的变量与信号量
创建last模式的变量与信号量
Setting Default Values on Variables P202
设置变量的Default值
设置变量的Default值
Connecting Data Flow Elements P203
连接数据流
连接数据流
这里有一段话说明了Scade实际上是可以阻止类型推断的
Connecting Multiple Data Flow Elements P205
连接多个数据流
连接多个数据流
Defining Value of Hidden Inputs on Operators P207
隐式输入定义
隐式输入定义
如果表达式文本在语法上不正确，则会用红色下划线。
如果表达式文本包含对未知对象的引用，则用绿色下划线表示。
Encapsulating Design in Operators or States P209
Operator与State中的封装设计
Operator与State中的封装设计
Setting and Defining Equation Sets P211
等式集合的设置与定义
等式集合的设置与定义
划分构件集合，前端展示行为
Setting Operator Parameterized by Size P213
Operator参数化列表
Operator参数化列表
Designing Model with Textual Definitions P215
文本模型设计
文本模型设计
Defining Operators with Textual Diagrams P215
文本设计整个模型
文本设计整个模型
Inserting Textual Diagrams P216
插入/转换文本
插入/转换文本
Editing Textual Diagrams P217
编辑文本
编辑文本
Applying Changes in Textual Diagrams P220
文本检查
文本检查
Navigating from Text Diagrams to Other Views P220
调用Operator导航
调用Operator导航
Defining Textual States or Actions P221
文本设计状态与动作
文本设计状态与动作
Creating Instances from Textual Files P224
通过.scade文件导入实例
通过.scade文件导入实例
Creating Textual Expressions P226
文本表达式
文本表达式
Managing Instance Names Textually P227
通过文本形式管理实例名
通过文本形式管理实例名
Checking Model Semantics P228
模型语义检查
模型语义检查
Completion Check
完成性检查
完成性检查
Instance Name Check
实例名检查
检查是否被重复调用或者调用时没有实例名
实例名检查
检查是否被重复调用或者调用时没有实例名
Semantic Check
语义检查
语义检查
Modifying Design Elements P231
画布建模
画布建模
Moving Design Elements in Models P231
画布内元素移动
画布内元素移动
Modifying Definitions from File View P233
文件定义
文件定义
Deleting Declarations from Scade View P234
声明删除
声明删除
Optimizing Design Layout P235
优化设计布局
优化设计布局
Selecting Design Elements P235
选择设计元素
选择设计元素
Aligning Elements P236
对齐元素
对一组元素和单独的边都可以使用
对齐元素
对一组元素和单独的边都可以使用
Aligning Design Components P236
对齐设计内容
对齐设计内容
Distributing Elements and Connection Wires P239
元素分布与连线
元素分布与连线
Resizing Elements P240
设置元素大小
设置元素大小
Rotating Elements P241
旋转元素
旋转元素
Nudging Elements P241
移动元素
移动元素
Optimizing Connection Wires P241
优化连接线
优化连接线
Editing Connection Wires and State Transitions P242
编辑连接线及状态迁移线
编辑连接线及状态迁移线
Straightening Connection Wires P242
拉直连接线
拉直连接线
Snapping Design Elements P243
捕捉设计元素
捕捉设计元素
Editing Design Elements with Symbol Editor P244
使用符号编辑器设计画布元素
使用符号编辑器设计画布元素
Developing Control and Display Software Jointly P251
控制与展示软件的链接
控制与展示软件的链接
Designing with Predefined Operators and Constructs
使用预定义构件与结构进行设计
使用预定义构件与结构进行设计
Designing with Arithmetic Operators P264
算数运算构件
算数运算构件
Setting and Designing Additions P265
加法构件
加法构件
Setting and Designing Subtractions P266
减法构件
减法构件
Setting and Designing Multiplications P267
乘法构件
乘法构件
Setting and Designing Polymorphic Divisions P268
除法构件
除法构件
Setting and Designing Modulos P269
整除构件
整除构件
Setting and Designing Unary Minus P270
取反构件
取反构件
Setting and Designing Numeric Cast P271
类型转换构件
类型转换构件
Designing with Bitwise Arithmetic Operators P271
位运算构件
位运算构件
Setting and Designing Bitwise AND P272
位与构件
位与构件
Setting and Designing Bitwise OR P273
位或构件
位或构件
Setting and Designing Bitwise XOR P274
位异或构件
位异或构件
Setting and Designing Bitwise NOT P275
位非构件
位非构件
Setting and Designing Logical Left Shift P276
左移位构件
左移位构件
Setting and Designing Logical Right Shift P277
右位移构件
右位移构件
Designing with Choice Operators P278
选择构件
选择构件
Setting and Designing If Then Else P278
IfElse构件
IfElse构件
Setting and Designing Case P280
Case构件
Case构件
Designing with Comparison Operators P283
比较构件
比较构件
Setting and Designing Strictly Less Than P284
小于构件
小于构件
Setting and Designing Less Than or Equal P285
小于等于构件
小于等于构件
Setting and Designing Strictly Greater Than P286
大于构件
大于构件
Setting and Designing Greater Than or Equal P287
大于等于构件
大于等于构件
Setting and Designing Different P288
不等于构件
不等于构件
Setting and Designing Equal P289
等于构件
等于构件
Designing with Logical Operators P290
逻辑构件
逻辑构件
Setting and Designing AND P291
与构件
与构件
Setting and Designing OR P292
或构件
或构件
Setting and Designing XOR P293
异或构件
异或构件
Setting and Designing Sharp P294
sharp构件
sharp构件
Setting and Designing NOT P295
取非构件
取非构件
Designing with Temporal Operators P296
时态构件
时态构件
Setting and Designing Init P297
Init构件
Init构件
Setting and Designing Previous P299
Pre构件
Pre构件
Setting and Designing Followed By P300
FBY构件
FBY构件
Setting and Designing Times P302
Times构件
Times构件
Setting and Designing When P303
When构件
When构件
Setting and Designing Merge of Flows P306
Merge构件
Merge构件
Designing with Structured Values P309
结构化类型构件
结构化类型构件
Setting and Designing Data Structure P309
数组构造构件
数组构造构件
Setting and Designing Make or Flatten P310
构造与平铺构件
构造与平铺构件
Designing with Array Values P314
数组构件
数组构件
Setting and Designing Arrays by Enumeration P315
Data Array构件
Data Array构件
Setting and Designing Arrays by Repetition P316
数组扩展Scalar To Array构件
数组扩展Scalar To Array构件
Setting and Designing Array Indexation Access P317
取索引构件
取索引构件
Setting and Designing Array Static Slice Access P319
数组切片构件
数组切片构件
Setting and Designing Permutation of Array Values P320
数组逆转构件
数组逆转构件
Setting and Designing Array Concatenation P321
数组拼接构件
数组拼接构件
Setting and Designing Arrays by Copy with Modification P322
按索引赋值构件
按索引赋值构件
Setting and Designing Array Transposition P323
数组转置构件
数组转置构件
Designing with Array Iterators P324
迭代器构件
迭代器构件
Definition for Map Iteration Pattern P325
MAP构件
MAP构件
Definition for Mapi Iteration Pattern P327
MAPI构件
MAPI构件
Definition for Mapw Iteration Pattern P329
MAPW构件
MAPW构件
Definition for Mapwi Iteration Pattern P331
MAPWI构件
MAPWI构件
Definition for Fold Iteration Pattern P333
FOLD构件
FOLD构件
Definition for Foldi Iteration Pattern P335
FOLDI构件
FOLDI构件
Definition for Foldw Iteration Pattern P337
FOLDW构件
FOLDW构件
Definition for Foldwi Iteration Pattern P339
FOLDWI构件
FOLDWI构件
Definition for MapFold Iteration Pattern P341
MAPFOLD构件
MAPFOLD构件
Definition for MapFoldi Iteration Pattern P343
MAPFOLDI构件
MAPFOLDI构件
Definition for MapFoldw Iteration Pattern P344
MAPFOLDW构件
MAPFOLDW构件
Definition for MapFoldwi Iteration Pattern P345
MAPFOLDWI构件
MAPFOLDWI构件
Designing with Operator Activation P348
激活构件
激活构件
Setting and Designing Boolean Activation P348
bool值激活
bool值激活
Setting and Designing Clocked Activation P351
时钟激活
时钟激活
Designing with Restart Instantiation P354
重启构件
重启构件
Navigating in Models
模型导航
模型导航
Finding and Locating Design Elements P356
搜索与定位元素
搜索与定位元素
Searching for Design Dependencies P359
依赖找寻
依赖找寻
Searching for Design Element Definitions P359
设计元素定义找寻
设计元素定义找寻
Searching for Design Element References P359
设计元素依赖找寻
设计元素依赖找寻
Searching for Producers or Deep Producers P360
找寻变量的前驱
找寻变量的前驱
Searching for Consumers or Deep Consumers P361
找寻变量的后缀
找寻变量的后缀
Searching for Operator Calls P362
找寻函数引用情况
找寻函数引用情况
Searching for Operator Calls P362
找寻函数的引用者
找寻函数的引用者
Navigating in Model Content P363
模型内容导航
模型内容导航
Navigating in Model and Package Hierarchy P363
模型与包的层级导航
模型与包的层级导航
按钮形式
Navigating in Output Window P364
输出窗口导航
输出窗口导航
按钮形式，实测在模型树中也可以使用
Navigating to Declaration from Diagrams P365
导航至模型树的声明
导航至模型树的声明
按钮形式，右键形式都有
Navigating to Type Definition P365
导航至类型声明
导航至类型声明
同上
Navigating between Opened Views and Files P365
选中内容前后导航
选中内容前后导航
Navigating in HTML Documents P366
在HTML文件中导航
在HTML文件中导航
Filtering Model Content P367
过滤模型内容
过滤模型内容
Editing Properties of Design Elements and Objects
编辑元素与对象属性
编辑元素与对象属性
Editing Project Properties P369
项目属性设置
项目属性设置
General、Description、Document、SCADE、Page Format、Layout与Simulation设置
Editing File Folder Properties P375
文件夹属性设置
文件夹属性设置
文件夹名称与文件扩展设置
Editing Project Files Properties P376
项目文件属性设置
项目文件属性设置
Editing Package Properties P379
包属性设置
包属性设置
Editing Diagram Properties P381
画布属性设置
画布属性设置
Editing Type Properties P383
类型属性设置
类型属性设置
Editing Constant Properties P385
常量属性设置
常量属性设置
Editing Sensor Properties P387
传感器属性设置
传感器属性设置
Editing Operator Properties P389
Operator属性设置
Operator属性设置
泛型、特化、名称、路径、公有私有等
Editing Operator Call Properties P394
Operator调用属性设置
Operator调用属性设置
参数、输入输出个数、实例名、高阶等设置
Editing Input/Output Properties P398
输入/输出属性设置
输入/输出属性设置
类型、last、default、时钟等
Editing Probe Properties P401
探针属性设置
探针属性设置
Editing Local Variable Properties P404
局部变量属性设置
局部变量属性设置
Editing If Block and If Node Properties P409
IfBlock属性设置
IfBlock属性设置
Editing When Block and When Branch Properties P412
WhenBlock属性设置
WhenBlock属性设置
Editing State Machine Properties P415
状态机属性设置
状态机属性设置
Editing State Properties P416
状态属性设置
状态属性设置
Editing Transition Properties P419
迁移条件设置
迁移条件设置
强弱迁移、优先级、History、Else check、Polyline Mode设置直线与曲线
Editing Wire Properties P422
连线属性设置
连线属性设置
边映射到中间变量，时钟设置
Editing Assertion Properties P425
断言属性设置
断言属性设置
Editing Textual Expression Properties P426
文本表达式属性设置
文本表达式属性设置
Changing Design Element Layout P427
设计元素布局设置
设计元素布局设置
Adding and Editing Comments P428
评论编辑
评论编辑
Adding and Editing Notes P429
注释编辑
注释编辑
有指定的注释标签，并且可以显示在画布中
Editing Instance Names 432
实例名设置
实例名设置
Accessing Traceability Information P434
追溯信息获取
追溯信息获取
Change Control of Models
模型的变化控制
模型的变化控制
Fundamentals about Model Diff P436
模型变化
模型变化
监控元素的添加、删除与变化
差异点分析
模型与对象差异分析报告
Analyzing Model and Object Differences P439
分析模型与对象差异
分析模型与对象差异
Launching Model Comparison P439
进行模型比较
进行模型比较
Launching Object Comparison P440
进行对象比较
进行对象比较
Examining Semantic Differences P441
检查语义差异
检查语义差异
Locating Differences in Diagrams and Views P443
定位差异
定位差异
Generating Reports for Model/Object Comparison P445
差异报告生成
差异报告生成
Computing Metrics and Checking Rules on Model
模型的计算度量和规则检查
模型的计算度量和规则检查
Rules Checker and Metrics Overview P446
规则检查与度量总览
规则检查与度量总览
Metrics Computation
模型度量是给出一些模型的具体参数，例如一个Operator的输入个数，状态机的嵌套深度等等
P448 给出了具体的度量对象与度量内容
模型度量是给出一些模型的具体参数，例如一个Operator的输入个数，状态机的嵌套深度等等
P448 给出了具体的度量对象与度量内容
双击查看大图
双击查看大图
Rules Check
规则检查器是对模型需要遵循的一些约束的检查，规则由严重程度由高到低分为三级：Mandatory、Required、Advisory
P450给出了唯一一条预定义规则， 规则可由用户定义
规则检查器是对模型需要遵循的一些约束的检查，规则由严重程度由高到低分为三级：Mandatory、Required、Advisory
P450给出了唯一一条预定义规则， 规则可由用户定义
Setting Rules Checker and Metrics P451
模型度量与规则检查器的设置
模型度量与规则检查器的设置
Setting Active Metrics and Rules P451
设置需要进行计算的度量标准与规则
设置需要进行计算的度量标准与规则
Managing Project Metrics and Rules P454
管理度量与规则文件
管理度量与规则文件
通过python文件添加规则
Computing Metrics and Checking Rules P455
进行模型度量与规则检查
进行模型度量与规则检查
Computing Metrics P455
模型度量
模型度量
完成准则设置后点击按钮即可，生成XML文件
双击查看大图
Checking Rules P456
规则检查
规则检查
Launching rules check on model P456
进行模型检查
进行模型检查
生成htm格式的报告
双击查看大图
Defining justifications for rule violations P458
定义违反规则的理由
定义违反规则的理由
Creating User-Defined Metrics and Rules P462
用户自定义度量标准与规则
用户自定义度量标准与规则
Defining Python Metrics P462
使用python进行度量标准的定义
使用python进行度量标准的定义
Defining Rules P468
定义规则
定义规则
Python Rule File Structure P462
Python文件定义规则 ？
为什么这个例子一点作用都没有
Python文件定义规则 ？
为什么这个例子一点作用都没有
Managing Libraries
库管理
库管理
Inserting Library in Projects P476
导入库
导入库
Replacing Libraries in Projects P476
替换库
替换库
Setting Library Path for Sharing Projects P477
库路径设置
库路径设置
Resolving Library Inconsistencies P477
解决库不一致
解决库不一致
内容比较多，总体意思是可以根据导入的内容自动地对比修复
Part 2 Simulation and Debugging
仿真与调试
仿真与调试
Fundamentals about SCADE Suite Simulator
Scade仿真套件基础知识
Scade仿真套件基础知识
Model-Based Simulation Principles P487
基于模型的仿真原则
基于模型的仿真原则
Simulation Architecture P487
仿真架构
仿真架构
双击查看大图
Observable Variables and Traceability P488
可观测变量及其追溯性
可观测变量及其追溯性
Simulation Cycles P488
仿真周期
仿真周期
SCADE Simulation Executables P488
仿真可执行
仿真可执行
Step-by-Step or Continuous Simulation P489
按步执行
按步执行
Simulation Scenarios/States: Storing and Replaying P489
仿真场景内的存储与重放
仿真场景内的存储与重放
Breakpoints P489
断点
断点
Exploring Simulator User Interface P490
仿真用户接口
仿真用户接口
Instances Browser P491
用例展示窗口
用例展示窗口
Simulation Views P492
仿真执行展示界面
仿真执行展示界面
Simulation Window P493
仿真窗口
仿真窗口
Watch Window P494
监视窗口
监视窗口
Graph Window P494
图形窗口
图形窗口
Simulation Toolbars P495
仿真工具栏
仿真工具栏
Simulation Workflow P496
仿真工作流
仿真工作流
双击查看大图
Running Simulation in SCADE Suite
Scade仿真执行
Scade仿真执行
Setting Simulation Environment P498
仿真环境设置
仿真环境设置
文本长度设置、图形参数等等
Setting Project for Simulation Sessions P500
设置仿真会话的项目属性
设置仿真会话的项目属性
Setting Simulation Code for Simulation Sessions P501
仿真代码设置
仿真代码设置
Setting Basic Options for Simulation Code P501
仿真代码基础设置
仿真代码基础设置
根Operator的设置
代码生成器版本选择
Enabling Simulator Code Generation P502
启用仿真代码生成器
启用仿真代码生成器
Setting Simulation Binary Generation P503
设置仿真二进制生成器
设置仿真二进制生成器
设置编译器类型
CPU类型
预处理定义
额外的编译器选项
额外的连接选项
额外的链接文件夹
忽略文件选项
Enabling Simulation with Graphical Extensions P506
图形扩展实现模拟仿真
图形扩展实现模拟仿真
Enabling Partial Model Simulation P507
启用部分模型的仿真
启用部分模型的仿真
可以勾选选项“Skip unused model objects”
Setting Variable Visibility P508
变量可见设置
变量可见设置
Running Model Simulation P510
运行模型模拟仿真
运行模型模拟仿真
Launching Simulation Session P510
模拟仿真会话启动
模拟仿真会话启动
Executing Simulation Cycles P511
仿真周期执行
仿真周期执行
Simulating Model Step by Step P512
按步执行仿真
按步执行仿真
Simulating Model in Continuous Mode P513
持续仿真执行
持续仿真执行
Playing Simulation Scenarios/States P513
仿真导入执行
仿真导入执行
Setting and Using Bookmarks P514
书签保存仿真周期
书签保存仿真周期
Locating Assertion Violation P515
定位断言的冲突
定位断言的冲突
Identifying Check Failure P516
预期输出检查
预期输出检查
Identifying Floating-Point Operation Error P516
识别浮点数运算错误
识别浮点数运算错误
Analyzing and Locating Run-Time Exceptions P517
分析与定位运行时异常
分析与定位运行时异常
Saving Simulation Output P517
保存仿真输出
保存仿真输出
Displaying Variables in Graphical Charts P519
通过图表展示变量的数值
通过图表展示变量的数值
Displaying Variables in Watch Window P520
在监视窗口展示数据
在监视窗口展示数据
Managing Simulation Execution P522
仿真执行
仿真执行
Exceptions, Assertions, Checks, FP Operations, Breakpoints at Run-Time P523
异常情况
异常情况
双击查看大图
Recording Simulation Scenarios/Application States P524
仿真数据记录
仿真数据记录
仿真方案
输入方案
快照
应用状态（编译环境等）
Setting and Managing Breakpoints P526
设置与使用断点
设置与使用断点
Setting Breakpoints on Control Flow Elements P526
在控制流中设置断点
在控制流中设置断点
Setting Breakpoints on Data Flow Elements P527
在数据流中设置断点
在数据流中设置断点
Defining Advanced Breakpoints P528
定义高级断点
定义高级断点
设置停止条件，比如output>10,cycle==20
Modifying Breakpoint Definition P529
定义断点
定义断点
Enabling/Disabling Breakpoints P530
启用或关闭断点
启用或关闭断点
Suppressing Breakpoints P532
抑制断点
抑制断点
去除所有的断点
Running Simulation from External Tools
使用外部工具运行仿真
使用外部工具运行仿真
Running Advanced Simulation
高级仿真功能
高级仿真功能
Simulating Models Containing External C Code P603
通过外部C代码进行仿真
通过外部C代码进行仿真
Simulating Models Containing Imported C Types P576
导入的C类型进行仿真
导入的C类型进行仿真
Implementing C Macro User Definitions P577
实现用户宏定义
实现用户宏定义
Implementing Supported Type Definition P578
实现基础类型的定义
实现基础类型的定义
Implementing Unsupported Type Definition P581
实现非基础类型的定义
实现非基础类型的定义
Implementing Unsupported Macro Definition P581
实现基础类型的宏定义
实现基础类型的宏定义
Implementing Imported Type Definition P582
实现导入类型
实现导入类型
Declaring Type/Macro Definition in Projects P582
在项目中声明类型与宏定义
在项目中声明类型与宏定义
Simulating Models Containing User C-Macros P584
通过用户宏定义进行仿真
通过用户宏定义进行仿真
Simulating Models Containing External Ada Code P585
通过外部Ada代码进行仿真
通过外部Ada代码进行仿真
Using Simulation API for Co-Simulation P587
调用仿真接口
调用仿真接口
Running Double Simulation Sessions P593
同时进行两个仿真会话
同时进行两个仿真会话
Enabling/Launching Double Simulation Mode P593
激活双仿真模式
激活双仿真模式
Using Watch in Double Simulation Mode P595
监视两个仿真
监视两个仿真
Using Graph in Double Simulation Mode P595
双仿真图形化展示
双仿真图形化展示
Handling Breakpoints, Assertions and Exceptions P596
断点，断言与异常的处理
断点，断言与异常的处理
子主题
Generating Desktop and Mobile Applications
生成桌面与移动应用
生成桌面与移动应用
收藏
0 条评论
下一页
