Eclipse环境中的SME用户手册：实时系统同步语言Signal

需积分: 9 68 浏览量更新于2024-07-26 收藏 1.08MB PDF 举报

"SME User Manual V0.20.0 (September 2nd, 2010)" 本文档是关于Polychrony/SME编辑器在Eclipse环境中的用户手册，主要介绍了如何使用该插件套件创建、验证SME图形模型并生成模拟代码。这些插件仍在开发中，因此文档将不断更新，但已编写部分可能会有所修改。SME（Signal Meta-model under Eclipse）是Eclipse环境下的一个信号建模工具。 SME环境由多个插件组成，包括： 1. 反射编辑器：用于编辑模型的元数据，提供对模型结构的深入理解和操作。 2. 图形建模器：用户可以通过图形化界面构建和设计SME模型，直观地表示实时和关键系统的结构。 3. 反射编辑器与Eclipse视图的组合，用于创建编译场景：这允许用户配置和管理模型的编译过程。 4. Signal文本编辑器：专门用于编辑Signal语言的源代码，支持语法高亮和自动完成等功能。 5. Polychrony服务连接：与Polychrony工具集交互，执行模型的验证和仿真。 6. Polychrony模型示例：提供实际应用案例，帮助用户理解和学习如何使用SME。 7. 其他插件的帮助文档：提供详细指南，协助用户解决使用过程中遇到的问题。目前，这些插件与TopCASED 4.0.0和Eclipse 3.6.0（Helios）版本兼容。TopCASED是一个多范式、多领域的CASE工具，有兴趣的读者可以访问其官方网站（http://www.topcased.org/）获取更多信息。 Polychrony工具集是这个领域的重要组成部分，它是一种同步语言，专为实时和关键系统设计。它提供了强大的建模能力，可以处理时间敏感性和并发性问题，这对于航空、航天、交通控制等领域的软件开发至关重要。通过SME，用户能够利用图形和文本方式结合，更有效地表达和验证这些系统的复杂行为。 SME手册提供了全面的指导，帮助用户利用Eclipse中的Polychrony/SME插件进行实时和关键系统的设计、验证和代码生成。随着工具的不断发展和完善，这个文档将持续更新，确保用户能够跟上最新的功能和改进。

● Comment: the COMMENT pragma attached to this identifier.

● The Initial State indicates the initial state of this automaton. All possible states are

listed in the combo box.

● Name: the name of the Automaton which is used as its identifier. It has to be unique

inside its container. It is even better to name it uniquely inside the file.

Basic Iterate It corresponds to a C- for loop: for(i=0; i <= N; i++). It is a

particular case of the Iterate block.

Children

● Iteration Init: this model object already created is used to specify, if any, how to

initialize the iteration. When you try to delete this object, it is automatically rebuilt,

but it will be empty.

● Iterator: it is a constant expression that is used to iterate among all elements

contained in the Basic Iterate block. It corresponds to the i parameter in a C- for loop

for(i=0; i <= N; i++). The iterator is automatically added to the Basic Iterate block.

When you try to delete this object, it is automatically rebuilt with unset attribute.

● Any of the children that can be in a process: it means all model objects except the

following list: And State, Input, Model Declaration, Output, Parameter, Pragma,

State, Strong Transition, and Weak Transition.

Basic

● Comment: the COMMENT pragma attached to this identifier.

● Iterator Name is used to get/set the name of the iterator used by the Basic Iterate

Block. This attribute is a shortcut. Obviously, one can change the name of the iterator

directly in the Iterator element.

● Name: the name of the Iterate which is used as its identifier. It has to be unique inside

its container. It is even better to name it uniquely inside the file.

● Upper Bound represents the upper bounds of the iteration (the N parameter of the C-

for loop). It has to be an integer expression: integer value, expression using signals...

Boolean Expression It corresponds to a complete boolean expression. It was added to

the meta-model to avoid a long description of a complete

boolean expression.

Children: none

Basic

● Expression: the boolean expression in a textual form.

● Name: the name of the operator. It is used to identify it, so it is better if it has a

unique name.

Cartesian Product The Cartesian product is used mainly to define jointly indexes, to

be used in Iterate model object. Intuitively, the sequence of

iteration is represented by the first dimension of the indexes

(which are vectors).

Children:

● Input Port: this operator is a multiple inputs operator, this means that you can add as

many Input Ports as you need (at least 2). The ports are ordered.

● Output Port: this operator has also as many Output Ports as Input Ports (at least 2)

and they are ordered too.

Basic

● Name: the name of the operator. It is used to identify it, so it is better if it has a

unique name.

Case Connection It corresponds to a case for the switch operator.

Children: none

Basic

● Case Kind: this attribute is of enumerated type whose values are ElseCase,

Enumeration, ClosedInterval, LeftHalfOpenInterval, RightHalfOpenInterval, and

OpenInterval. By default, the value of this attribute is ElseCase.

● Enumeration: if the enumeration case kind is selected, this attribute is used to

enumerate the values for the current case.

● Lower Bound is used to specify the lower bound of an interval. If the Case Kind is

one of the interval kind, and if no value is specified for the lower bound, the value is

-∞ . Intervals are not fully implemented by the compiler yet.

● Name: the name of the model object. It is used to identify it, so it is better if it has a

unique name.

● Upper Bound is used to specify the upper bound of an interval. If the Case Kind is

one of the interval kind, and if no value is specified for the lower bound, the value is

+∞ . Intervals are not fully implemented by the compiler yet.

● Source-Target

● Dst: any of the Sub Process or Iterate model object, which is at the same hierarchical

level.

● Src: any of the Switch operator, which is at the same hierarchical level.

Cell It corresponds to the memorization operator which allows to

memorize a given signal when the signal is present and the

boolean expression is true.

Children

● One Input Port already created which has to be connected to the expression to

memorize. The boolean expression has to be specified through the use of a Condition

whose target is the Cell operator.

Basic

● The Initial Value is the value used to initialize the memory.

● Name: the name of the operator. It is used to identify it, so it is better if it has a

unique name.

Clock Constraint Operator It corresponds to the different kind of clock constraint operator.

To use this operator, connect the different expressions to it with

Clock Relation model object.

Children: none

Basic

● Name: the name of the operator. It is used to identify it, so it is better if it has a

unique name.

● Operator: this attribute is of enumerated type whose values are Synchronized (clocks

are equal), Excluded (specifies the mutual exclusion of the expression clocks), and

Identity (specifies the equality of values and clocks of the expressions). By default, the

value of this attribute is Synchronized.

Clock Relation It corresponds to a clock relation between two clocked

expressions. A Clocked Expression is either a signal (Input,

Output, Local, Signal Ref, Input Instance, Output Instance), or a

Sub Process, or an Iterate, or a Model Instance, or an Automaton,

or any clock operator (Clock Constraint Operator, Clock

Relation Operator, Clock Speed Operator).

Basic

● Name: the name of the model object. It is used to identify it, so it is better if it has a

unique name.

Source-Target

● Dst: the target of a Clock Relation is a Clocked Expression.

● Dst Field: if the target is a Signal using a Tuple Type or an array type, this attribute is

the way to access to the signal field.

● Src: the source of a Clock Relation is also a Clocked Expression.

● Src Field: if the source is a Signal using a Tuple Type or an array type, this attribute

is the way to access to the signal field.

Clock Relation Operator It corresponds to the set operators for clocked expressions.

Children:

● Input Port: this operator is a multiple inputs operator, this means that you can add as

many Input Ports as Signal Expressions you need (at least 2) to connect. The ports

are ordered.

Basic

● Name: the name of the operator. It is used to identify it, so it is better if it has a

unique name.

● Operator: this attribute is of enumerated type whose values are Union, Intersection,

and Complementary. By default, the value of this attribute is Union.

Clock Speed Operator It corresponds to a clock constraint operator which constraints

the speed of a Clocked Expression to be greater (or smaller) than

the speed of another Clock Expression. This means that the first

Clocked Expression is more (or less) frequently present that the

second one.

Children:

● Input Port: this operator is a multiple inputs operator, this means that you can add as

many Input Ports as Signal Expressions you need (at least 2) to connect. The ports

are ordered.

Basic

● Name: the name of the operator. It is used to identify it, so it is better if it has a

剩余61页未读，继续阅读

liruieu

粉丝: 0
资源: 2

Eclipse环境中的SME用户手册：实时系统同步语言Signal

SME60系列详细规格.pdf

SME110系列详细规格.pdf

SME系列接线说明.pdf

arm rme sme

删除my_dict = { "Name": "CUHKSZ", "School": 'SME', "Years": 4, "City": "Shenzhen" } 里的keys：[“Name", "City"]

request 读取cookies文件之后接入目标服务器api:https://crm.baidu.com/polaris-web/sme-cust/addCust/add

把my_dict里面的"City"变成"Location" my_dict = { "Name": "CUHKSZ", "School": 'SME', "Years": 4, "City": "Shenzhen" }

怎样从tushare里面下载中小板股票数据

source = "772a53bee3246195f6cf9e3c2833433f953e15fb51c10a7fb4adf9502a99e878" #这是加密后的文本 key = "AA70C90F066AC35DDC1318C18D636A06" #这是sme4 的key 帮我用python 解开这串密文

最新资源