Scade User Manual
2023-11-07 15:36:32 1 举报AI智能生成
Scade User Manual脑图
作者其他创作
大纲/内容
双击查看大图
Design Verifier Workflow P618工作流
Exploring Design Verifier User Interface P619建模验证用户接口
Generated Output Files P632报告与反例生成
Overview of Design Verifier P614建模验证概述
Property Expression P624性质表达式
Verifiable Properties P625可验证的性质
User Proof Objectives P625用户性质对象
溢出、除零、越界与一致性等等
Predefined Proof Objectives P626预定义性质对象
font color=\"#e74f4c\
Strategies P627策略
Fundamentals in Design Verification P624模型验证基础
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进行性质分析
Valid:当前性质一直为true
Falsifiable：可以为false，能够产生反例
Indeterminate：找不到反例
Interrupted：在超时前手动终止并且没有发现反例
Stop Depth Reached：到达最大深度时无结果
Raised an Error：引发错误
Contradictory：无法完成分析也无法停止，矛盾模型
Interpreting Property Analyses Results P645理解性质分析的结果
Displaying Analysis Information in Reports P646报告展示
Launching Verification Scenarios from Reports P647从验证报告进行上下文加载并进行仿真
Displaying Counter-Examples in Scenario Viewer P649展示反例
Setting Design Verifier Environment P629环境设置
Running Formal Verification Sessions运行时验证
Timing and Stack Analysis Workflow P652工作流
Exploring Timing and Stack Analysis User Interface P653时间与堆栈验证用户接口
Timing and Stack Result Views P655时间与堆栈报告
Overview of Timing and Stack Analysis Tools P651时间与堆栈验证概述
Fundamentals about Timing and Stack Tools P660时间与堆栈工具基础
时间验证标准
堆栈验证标准
Setting Timing and Stack Result Options P662标准设置
Scade Suite通过Code Generation生成的二进制文件进行验证
Scade Suite内置了大量的编译器版本来适配始建于堆栈验证器
Setting Code Generation for Timing and Stack P663设置代码生成器
Building Binary for Timing and Stack Analysis P668生成二进制进行分析
Setting Timing and Stack Analysis Tools P669分析器基础设置
Setting Time Cycle and Stack for Imported Operators P670为导入算子设置时间周期与堆栈
Interactive：一个与aiT工具交互的外部工具接口选项
Max unroll:设置最大循环调用
Default unroll：设置迭代轮次未知时的调用次数
Use external analyzer version:使用外部分析器的版本
Setting Advanced Verifiers Options P671高阶选项
Specifying aiT Tool Environment and Referencing Environment P672aiT工具设置 ？
Launching Timing and Stack Analysis Tools P673启动时间和堆栈分析工具
标题为检查，更多还是结果的展示、对比与追溯
Examining Timing and Stack Analysis Results P675检查时间和堆栈分析工具的结果
如果需要一个专门交叉编译期来进行该验证功能，则需要创建一个相关的编译配置文件。本小节主要讲述各类的配置选项。
Creating Compiler Configuration File P685创建编译配置文件
Setting Advanced Timing and Stack Analysis P670分析器高阶设置
Setting Timing and Stack Verification P662时间与堆栈验证设置
Verifying Timing and Stack Usage时间与堆栈验证
Part 3 Verification验证
Generation of Monolithic or Task-Based Code P699生成整体的或基于任务的代码
XML files（文本与图形格式）
modify options
root operator
SCADE Suite Input Models P700Scade Suite输入模型
代码生成输入与输出文件
Code Generation Files P700代码生成文件
一般都是默认生成，原话是\"is optimized by default\"。有额外的优化等级，输入与中间变量的输入选项。
Optimization of Generated Code P701对已生成优化的优化
Assertions in Generated Code P701代码的中的断言
Probes in Generated Code P701代码中的探针
语法检查
竟然有这么多检查，其中的包括了我们现在必然没有的时钟检查
语义检查
Code Generation Checks P702代码生成检查（在代码生成前进行）
Code Generation Principles P698代码生成原则
Exploring Code Generator User Interface P704代码生成用户接口
Scade代码生成工作流
Code Generation Workflow P708代码生成工作流
Fundamentals about SCADE Suite Code GenerationScade Suite代码生成基础
必须指定一个代码生活器及其目标文件夹
Specifying Code Generation P711指定代码生成
Local variables as static局部变量生成为静态变量
Input threshold限制输入个数
Setting Optimization Options P713设置优化选项
设置Operator的可见性
Setting Debug Options P714设置调试选项
Generate context as global将上下文与根op的输入设置为全局变量
Wrap C operators将算术运算、二元运算与关系运算op封装在宏定义中
Keep assertions保持断言
Keep probes in generated code保持探针
Generate system memory state management将内存数据与功能函数进行保存，以对op的状态进行检索
Short circuit operators通过短路运算操作符取代C的位与操作符
Global prefix全局变量前缀
Name length and Sinnificance length名称与总体长度
User config用户的配置头文件
Header file添加的头文件
C代码设置
Ada代码设置（略）
Setting Code Configuration Options 716配置代码选项
设置选择的operator是否在目标代码中被生成
Setting Code Expansion Mode P719设置代码的扩展模式
代码集成能力
Setting Code Integration Capabilities p721设置代码集成能力
Setting Periodicity of Code Execution P724设置代码执行的周期性 ？
编译器版本GNU C与VC
CPU支持
预处理器
额外编译选项
额外链接选项
编译器设置
额外包括的文件夹
排除的文件
构建设置
Setting Compiler and Build Options P725设置编译器与构建选项
Adjusting Variable Name Length for Compiler P728调整变量的名称长度
实际面向的operaotr级的I/O分离，可以隐藏输入与输出。
Setting I/O Separation Options P729设置IO分离
生成的C代码中可以根据该设置，标注映射到原始模型中的属性，Operator的生成设置等
Setting Pragmas on Model Elements P731设置模型元素的注释
Launching KCG Code Generation from User Interface P736用户界面启动KCG代码生成
Launching KCG Executable in Command Line P738命令行启动可执行文件
Setting and Lauching Code Generation设置与启动代码生成
Generating Templates for Imported Operators P740为导入的op自动生成模板
Implementing C Code for Imported Functions通过C代码实现Imported Function
Implementing C Code for Imported Nodes 通过C代码实现Imported Node
Implementing Imported C Code P742实现导入的C代码
Implementing Imported Ada Code P748实现导入的Ada代码
Implementing Models with Imported Code通过外部导入代码实现模型
Integrating Monolithic Code整合完整的代码
Generating and Integrating Task-Based Code生成与整合基于任务的代码
Part 4 Code Generation代码生成
SCADE Suite in Command Line P781Scade Suite命令行
文件后缀1
文件后缀2
文件后缀3
SCADE Suite Files in Configuration ManagementScade Suite文件配置管理
SCADE Suite and Source Code ControlScade Suite版本管理与源代码控制
附录
Environment设置 P62是否有启动页，是否加载上次关闭时的项目，是否显示advance设置
General设置 P64默认的变量类型、默认的字面类型
View设置 P66界面展示框选项
Commands设置 P68设置在导航栏中的操作按钮，如复制粘贴等
Langua设置 P69构件选项，勾选想要使用的构件
Advanced设置 P70几乎所有内容的细节设置
Customize定制化
Setting Scade Suite Tools Options P61Scade整体工具设置
创建新的工作空间 P79
创建新项目 P80
创建新的python文件 P85 ?
创建Tcl脚本 P85 ?
切换页面，重命名，插入已有项目或文件等 P86
Managing Projects P79项目管理
Managing Default or Custom Configurations P89管理默认的以及用户设置
新建包 P97
引用包 P99即Open Package
包的可见性管理 P102可以设置其public与private属性
Organizing Model Design with Packages P96包管理
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建模窗口管理
Setting Project and Design Environment项目与环境设置
Node
Function
Imported nodes或imported funcitions
Specialized operators
Declaring Model Operators P128声明Operator
inputs/outputs
Hidden inputs
Declaring Operator Interface P129声明Operator的接口
Variables
Probes探针 P132
Signals
Declaring Operator Local Data P131声明Operator局部变量
创建状态机 P134
创建状态 P137初始、终结状态
状态迁移 P138
fork迁移 P141子迁移条件
迁移类型 P143
Creating and Designing State Machines P134状态机的创建与设计
创建If块 P145
创建节点 P147
IfBlock与Node编辑 P149
Creating and Designing If Blocks P145If条件块的创建与设计
创建Switch块 P152
创建分支 P154
编辑块与分支 P155
Creating and Designing When Blocks P152Switch条件块的创建与设计
Declaring and Editing Imported Operators P157声明imported Operator
被特化的Operator必须为一个imported Operator
Declaring and Editing Specialized Operators P159特化Operator的声明与编辑
控制块信息隐藏
Setting States/Actions in Embedded/Hidden Mode P162状态与动作的展示与隐藏
Splitting Operator Design in Multiple Diagrams P166Operator多画布拆分
插入.xcade与.scade文件
Inserting Existing Item P166插入已有内容
Declaring Design Elements in Model P127声明设计元素
Declaring New Types P168定义新类型
Setting Array Types P169设置数组类型
Setting Enumeration Types P172设置枚举类型
Setting Structure Types P173设置结构体类型
Completing Definition of Structured Types P174完成结构性类型的设置
从.h文件中导入，需要包含初始化、拷贝函数、比较函数
Setting Imported Types P175导入类型
Declaring Operators Using Generic Types P177声明带有泛型的Operator
Defining Data Types P168数据类型定义
Declaring New Constants P179声明新常量
独立设置数组
表格样式设置数组
CSV文件数组值导入
Setting Constants of Array Type P181设置数组常量
Setting Imported Constants with External Code P184外部代码导入常量
Setting Imported Constants with Imported Types P186通过导入类型设置导入常量
Defining Constants P179常量定义
Defining Sensors P189传感器定义
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之类的构件吗）
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模式的变量与信号量
Setting Default Values on Variables P202设置变量的Default值
这里有一段话说明了Scade实际上是可以阻止类型推断的
Connecting Data Flow Elements P203连接数据流
Connecting Multiple Data Flow Elements P205连接多个数据流
如果表达式文本在语法上不正确，则会用红色下划线。
如果表达式文本包含对未知对象的引用，则用绿色下划线表示。
Defining Value of Hidden Inputs on Operators P207隐式输入定义
Encapsulating Design in Operators or States P209Operator与State中的封装设计
Setting Design Instances in Diagram Views P191画布模型实例设计
划分构件集合，前端展示行为
Setting and Defining Equation Sets P211等式集合的设置与定义
Setting Operator Parameterized by Size P213Operator参数化列表
Inserting Textual Diagrams P216插入/转换文本
Editing Textual Diagrams P217编辑文本
Applying Changes in Textual Diagrams P220文本检查
Navigating from Text Diagrams to Other Views P220调用Operator导航
Defining Operators with Textual Diagrams P215文本设计整个模型
Defining Textual States or Actions P221文本设计状态与动作
Creating Instances from Textual Files P224通过.scade文件导入实例
Creating Textual Expressions P226文本表达式
Managing Instance Names Textually P227通过文本形式管理实例名
Designing Model with Textual Definitions P215文本模型设计
Completion Check 完成性检查
Instance Name Check实例名检查检查是否被重复调用或者调用时没有实例名
Semantic Check语义检查
Checking Model Semantics P228模型语义检查
Moving Design Elements in Models P231画布内元素移动
Modifying Definitions from File View P233文件定义
Deleting Declarations from Scade View P234声明删除
Modifying Design Elements P231画布建模
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捕捉设计元素
Optimizing Design Layout P235优化设计布局
Editing Design Elements with Symbol Editor P244使用符号编辑器设计画布元素
Developing Control and Display Software Jointly P251控制与展示软件的链接
Designing Models模型设计
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 Arithmetic Operators P264算数运算构件
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 Bitwise Arithmetic Operators P271位运算构件
Setting and Designing If Then Else P278IfElse构件
Setting and Designing Case P280Case构件
Designing with Choice Operators P278选择构件
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 Comparison Operators P283比较构件
Setting and Designing AND P291与构件
Setting and Designing OR P292或构件
Setting and Designing XOR P293异或构件
Setting and Designing Sharp P294sharp构件
Setting and Designing NOT P295取非构件
Designing with Logical Operators P290逻辑构件
Setting and Designing Init P297Init构件
Setting and Designing Previous P299Pre构件
Setting and Designing Followed By P300FBY构件
Setting and Designing Times P302Times构件
Setting and Designing When P303When构件
Setting and Designing Merge of Flows P306Merge构件
Designing with Temporal Operators P296时态构件
Setting and Designing Data Structure P309数组构造构件
Setting and Designing Make or Flatten P310构造与平铺构件
Designing with Structured Values P309结构化类型构件
Setting and Designing Arrays by Enumeration P315Data Array构件
Setting and Designing Arrays by Repetition P316数组扩展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 Values P314数组构件
Definition for Map Iteration Pattern P325MAP构件
Definition for Mapi Iteration Pattern P327MAPI构件
Definition for Mapw Iteration Pattern P329MAPW构件
Definition for Mapwi Iteration Pattern P331MAPWI构件
Definition for Fold Iteration Pattern P333FOLD构件
Definition for Foldi Iteration Pattern P335FOLDI构件
Definition for Foldw Iteration Pattern P337FOLDW构件
Definition for Foldwi Iteration Pattern P339FOLDWI构件
Definition for MapFold Iteration Pattern P341MAPFOLD构件
Definition for MapFoldi Iteration Pattern P343MAPFOLDI构件
Definition for MapFoldw Iteration Pattern P344MAPFOLDW构件
Definition for MapFoldwi Iteration Pattern P345MAPFOLDWI构件
Designing with Array Iterators P324迭代器构件
Setting and Designing Boolean Activation P348bool值激活
Setting and Designing Clocked Activation P351时钟激活
Designing with Operator Activation P348激活构件
Designing with Restart Instantiation P354重启构件
Designing with Predefined Operators and Constructs使用预定义构件与结构进行设计
Finding and Locating Design Elements P356搜索与定位元素
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找寻函数的引用者
Searching for Design Dependencies P359依赖找寻
按钮形式
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文件中导航
Navigating in Model Content P363模型内容导航
Filtering Model Content P367过滤模型内容
Navigating in Models模型导航
General、Description、Document、SCADE、Page Format、Layout与Simulation设置
Editing Project Properties P369项目属性设置
文件夹名称与文件扩展设置
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 P389Operator属性设置
参数、输入输出个数、实例名、高阶等设置
Editing Operator Call Properties P394Operator调用属性设置
类型、last、default、时钟等
Editing Input/Output Properties P398输入/输出属性设置
Editing Probe Properties P401探针属性设置
Editing Local Variable Properties P404局部变量属性设置
Editing If Block and If Node Properties P409IfBlock属性设置
Editing When Block and When Branch Properties P412WhenBlock属性设置
Editing State Machine Properties P415状态机属性设置
Editing State Properties P416状态属性设置
强弱迁移、优先级、History、Else check、Polyline Mode设置直线与曲线
Editing Transition Properties P419迁移条件设置
边映射到中间变量，时钟设置
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追溯信息获取
Editing Properties of Design Elements and Objects编辑元素与对象属性
监控元素的添加、删除与变化
差异点分析
模型与对象差异分析报告
Fundamentals about Model Diff P436模型变化
Launching Model Comparison P439进行模型比较
Launching Object Comparison P440进行对象比较
Examining Semantic Differences P441检查语义差异
Locating Differences in Diagrams and Views P443定位差异
Analyzing Model and Object Differences P439分析模型与对象差异
Generating Reports for Model/Object Comparison P445差异报告生成
Change Control of Models模型的变化控制
Metrics Computation 模型度量是给出一些模型的具体参数，例如一个Operator的输入个数，状态机的嵌套深度等等P448 给出了具体的度量对象与度量内容
Rules Check规则检查器是对模型需要遵循的一些约束的检查，规则由严重程度由高到低分为三级：Mandatory、Required、AdvisoryP450给出了唯一一条预定义规则， 规则可由用户定义
Rules Checker and Metrics Overview P446规则检查与度量总览
Setting Active Metrics and Rules P451设置需要进行计算的度量标准与规则
通过python文件添加规则
Managing Project Metrics and Rules P454管理度量与规则文件
Setting Rules Checker and Metrics P451模型度量与规则检查器的设置
完成准则设置后点击按钮即可，生成XML文件
Computing Metrics P455模型度量
生成htm格式的报告
Launching rules check on model P456进行模型检查
Defining justifications for rule violations P458定义违反规则的理由
Checking Rules P456规则检查
Defining Python Metrics P462使用python进行度量标准的定义
Creating User-Defined Metrics and Rules P462用户自定义度量标准与规则
Python Rule File Structure P462Python文件定义规则 ？为什么这个例子一点作用都没有
Defining Rules P468定义规则
Computing Metrics and Checking Rules P455进行模型度量与规则检查
Computing Metrics and Checking Rules on Model 模型的计算度量和规则检查
Inserting Library in Projects P476导入库
Replacing Libraries in Projects P476替换库
Setting Library Path for Sharing Projects P477库路径设置
内容比较多，总体意思是可以根据导入的内容自动地对比修复
Resolving Library Inconsistencies P477解决库不一致
Managing Libraries库管理
Part 1 Design and Model Editing模型设计与设置
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断点
Model-Based Simulation Principles P487基于模型的仿真原则
Instances Browser P491用例展示窗口
Simulation Views P492仿真执行展示界面
Simulation Window P493仿真窗口
Watch Window P494监视窗口
Graph Window P494图形窗口
Simulation Toolbars P495仿真工具栏
Exploring Simulator User Interface P490仿真用户接口
Simulation Workflow P496仿真工作流
Fundamentals about SCADE Suite SimulatorScade仿真套件基础知识
文本长度设置、图形参数等等
Setting Simulation Environment P498仿真环境设置
Setting Project for Simulation Sessions P500设置仿真会话的项目属性
根Operator的设置
代码生成器版本选择
Setting Basic Options for Simulation Code P501仿真代码基础设置
Enabling Simulator Code Generation P502启用仿真代码生成器
设置编译器类型
CPU类型
预处理定义
额外的编译器选项
额外的连接选项
额外的链接文件夹
忽略文件选项
Setting Simulation Binary Generation P503设置仿真二进制生成器
Enabling Simulation with Graphical Extensions P506图形扩展实现模拟仿真
可以勾选选项“Skip unused model objects”
Enabling Partial Model Simulation P507启用部分模型的仿真
Setting Variable Visibility P508变量可见设置
Setting Simulation Code for Simulation Sessions P501仿真代码设置
Launching Simulation Session P510模拟仿真会话启动
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仿真执行
Executing Simulation Cycles P511仿真周期执行
仿真方案
输入方案
快照
应用状态（编译环境等）
Recording Simulation Scenarios/Application States P524仿真数据记录
Setting Breakpoints on Control Flow Elements P526在控制流中设置断点
Setting Breakpoints on Data Flow Elements P527在数据流中设置断点
Defining Advanced Breakpoints P528定义高级断点
Modifying Breakpoint Definition P529定义断点
Enabling/Disabling Breakpoints P530启用或关闭断点
去除所有的断点
Suppressing Breakpoints P532抑制断点
Setting and Managing Breakpoints P526设置与使用断点
Running Model Simulation P510运行模型模拟仿真
Running Simulation in SCADE SuiteScade仿真执行
Running Simulation from External Tools使用外部工具运行仿真
Simulating Models Containing External C Code P603通过外部C代码进行仿真
Simulating Models Containing Imported C Types P576导入的C类型进行仿真
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在项目中声明类型与宏定义
Implementing C Macro User Definitions P577实现用户宏定义
Simulating Models Containing User C-Macros P584通过用户宏定义进行仿真
Simulating Models Containing External Ada Code P585通过外部Ada代码进行仿真
Using Simulation API for Co-Simulation P587调用仿真接口
Enabling/Launching Double Simulation Mode P593激活双仿真模式
Using Watch in Double Simulation Mode P595监视两个仿真
Using Graph in Double Simulation Mode P595双仿真图形化展示
font color=\"#000000\
Running Double Simulation Sessions P593同时进行两个仿真会话
子主题
Running Advanced Simulation高级仿真功能
Generating Desktop and Mobile Applications生成桌面与移动应用
Part 2 Simulation and Debugging仿真与调试
Scade User Manual
收藏
0 条评论
下一页
