基于Esterel的代码自动生成方法

嵌入式系统开发与传统软件开发有着很大不同.嵌入式系统具有内核小、专用性强、高时效性、高可靠性、目标平台复杂等特点,这就对系统设计者提出更高的要求.面对目前嵌入式系统开发过程中的这些问题,尤其针对开发过程复杂,程序自动化程度不高等问题,提出一种基于Esterel代码自动生成的方法.该方法主要利用Esterel语言来对目标系统进行建模,实现将同一个Esterel模型编译为多个目标平台的代码.通过操作系统(OS)抽象层的设计,使系统开发人员不用关心目标平台相关的实现细节,更加容易进行多目标平台程序设计,从而实现嵌入式系统的程序设计自动化.通过实验表明,Esterel模型可以正确、高效地编译为多目标平台的代码,实现目标平台代码的自动生成.

赤霉素对法麦制麦特性的影响

研究了一定浓度的硫酸锌配合不同浓度的赤霉素处理对麦芽生长代谢以及麦芽品质的影响。结果表明,当赤霉素处理浓度为0.10mg/L时,麦芽中有机锌含量最高可达150.9μg/g;赤霉素提高了绿麦芽的呼吸强度和各种酶活性;提高了成品麦芽的α-淀粉酶和β-淀粉酶活性;影响了麦芽中糖类和蛋白质的含量;赤霉素不同程度地提高了麦芽的酿造品质。

机器人吸尘器控制系统的设计

介绍了一种机器人吸尘器中控制系统的开发流程。该系统以主要用于开发反应式控制系统的Esterel命令式同步语言编写,同时使用第三代Esterel编译器CEC。文章最后还介绍了在虚拟环境中对系统进行测试的方法和过程。

三种法麦新品种制麦特性的认识

<正> 本公司2003年收集到四种法麦 ESTEREL、ORTOLI、LUDINE、VANESSA 的样品,并且对其进行了微型制麦特性试验研究,并与去年的 ES-TEREL 作比较。

Scenario-based verification in presence of variability using a synchronous approach

This paper presents a new model of scenarios, dedicated to the specification and verification of system be- haviours in the context of software product lines （SPL）. We draw our inspiration from some techniques that are mostly used in the hardware community, and we show how they could be applied to the verification of software components. We point out the benefits of synchronous languages and mod- els to bridge the gap between both worlds.