选择特殊符号

Ф δ ° × # Ⅱ Ⅲ ½ ¼

选择搜索类型

市场价信息价参考价询价供应商云知资讯文库百科

热门搜索

造价通

请输入搜索

首页 > 百科 > 电气百科

嵌入式控制软件的形式化规格说明构建的工程方法

《嵌入式控制软件的形式化规格说明构建的工程方法》是依托华东师范大学，由缪炜恺担任项目负责人的青年科学基金项目。

嵌入式控制软件的形式化规格说明构建的工程方法基本信息

中文名嵌入式控制软件的形式化规格说明构建的工程方法
项目类别青年科学基金项目
项目负责人缪炜恺
依托单位华东师范大学

嵌入式控制软件的形式化规格说明构建的工程方法结题摘要

在当前的工业界嵌入式控制软件开发领域，形式化方法的实际应用仍面临许多现实困难。从软件需求分析角度看，存在如下主要问题：1)缺乏面向领域的合适的形式化建模语言。2)缺乏系统化的形式化规格说明构建的工程方法。3) 形式化规格说明有效性(validity)检测手段不完善,效率低，缺乏实用的手段。面对这一挑战，我们提出一种构造嵌入式控制软件形式规格说明的形式工程方法。受国家自然科学基金青年基金资助，课题执行期间取得了如下研究成果：1）提出了一种面向嵌入式控制软件需求建模的轻量级形式化建模语言；2）结合形式化工程方法，建立了一种演化式的形式化模型构建方法，提高了形式化建模过程的效率；3）提出了一种基于图形的需求审查方法，有效地提升了需求审查的错误探测能力；4）提出了一种基于场景的需求模型测试方法，支持在需求分析阶段即可进行仿真分析；5）研发了面向轨道交通车辆控制软件的需求建模工具，使得该方法在企业获得直接应用，显示了该方法具有明确的工程应用价值。

嵌入式控制软件的形式化规格说明构建的工程方法造价信息

市场价
信息价
询价

嵌入式控制面板

规格型号：
技术参数:1.供电电压:5V-26V2.通讯接口:RS4853.下载接口:Micro USB4.显示屏尺寸:3.5英寸5.显示器类型:TFT液晶屏6.分辨率:320×240 TS-9400K
价格行情：
材料单位：
块
材料品牌：
材料税率：
13%
供应商：
广州市保伦电子有限公司
报价时间：
2022-12-06

查看价格

远程控制软件

规格型号：
产品用途分控工作站软件是利用IP网络(局域网、广域网)远程登录到服务器,实现远程音频播放,实时采播、会话管理、广播室讲话等功能.产品特点1.数字客户端分控软件运行于Windows操作系统的台式电脑或笔记本电脑(兼容(win7-win10、server2008或更高版本))
价格行情：
材料单位：
套
材料品牌：
材料税率：
13%
供应商：
广州市迪士普音响科技有限公司
报价时间：
2022-12-06

查看价格

远程控制软件

规格型号：
产品用途分控工作站软件是利用IP网络(局域网、广域网)远程登录到服务器,实现远程音频播放,实时采播、会话管理、广播室讲话等功能.产品特点1.数字客户端分控软件运行于Windows操作系统的台式电脑或笔记本电脑(兼容(win7-win10、server2008或更高版本)),
价格行情：
材料单位：
套
材料品牌：
材料税率：
13%
供应商：
广州市迪士普音响科技有限公司
报价时间：
2022-12-06

查看价格

控制软件

规格型号：
1.名称:控制软件 2.规格型号:ASF.SW.30500 3.工作内容:安装及调试
价格行情：
材料单位：
套
材料品牌：
ABB
材料税率：
13%
供应商：
佛山市瑞创智能科技有限公司
报价时间：
2022-12-06

查看价格

控制软件

规格型号：
1.名称:控制软件 2.类别:定制编程软件可会议预定,会议管理,大会开始,有5种会议模式
价格行情：
材料单位：
套
材料品牌：
ITC
材料税率：
13%
供应商：
广州保伦电子科技有限公司
报价时间：
2022-12-06

查看价格

网管系统(含硬、软件)

规格型号：
网络级
价格行情：
材料单位：
套
材料税率：
地区时间：
广东2022年3季度信息价
所属行业：
电网工程
备注说明：

查看价格

网管系统(含硬、软件)

规格型号：
网络级
价格行情：
材料单位：
套
材料税率：
地区时间：
广东2022年2季度信息价
所属行业：
电网工程
备注说明：

查看价格

网管系统(含硬、软件)

规格型号：
网络级
价格行情：
材料单位：
套
材料税率：
地区时间：
广东2021年2季度信息价
所属行业：
电网工程
备注说明：

查看价格

网管系统(含硬、软件)

规格型号：
网络级
价格行情：
材料单位：
套
材料税率：
地区时间：
广东2019年2季度信息价
所属行业：
电网工程
备注说明：

查看价格

网管系统(含硬、软件)

规格型号：
网络级
价格行情：
材料单位：
套
材料税率：
地区时间：
广东2019年1季度信息价
所属行业：
电网工程
备注说明：

查看价格

说明控制软件

规格型号：
对于LED Player和无线的脱机控制器, 安装在手机上的WI-LIGHT就像一个简单而又强大的无线遥控器. 它能通过本地无线的局域网命令所有的现场模式和脱机状态控制, 可应用于智能手机和平板电脑.
需求量：
1台
报价数：
1
材料品牌：
材料档次：
中高档
费用说明：
不含税费 | 含运费
询价时间：
2020-03-06

查看价格

控制软件

规格型号：
1.名称:控制软件 2.规格参数:具体见设计说明
需求量：
1套
报价数：
1
材料品牌：
材料档次：
中高档
费用说明：
含税费 | 含运费
询价时间：
2020-01-08

查看价格

智慧化中央控制软件

规格型号：
智慧化中央控制软件
需求量：
1套
报价数：
2
材料品牌：
材料档次：
中高档
费用说明：
不含税费 | 含运费
询价时间：
2021-12-16

查看价格

控制软件

规格型号：
LED专用控制软件
需求量：
100套
报价数：
1
材料品牌：
卡莱特
材料档次：
中高档
费用说明：
不含税费 | 不含运费
询价时间：
2020-10-14

查看价格

控制软件

规格型号：
控制软件
需求量：
1套
报价数：
3
材料品牌：
海康、台达、科达
材料档次：
中档
费用说明：
含税费 | 不含运费
询价时间：
2019-11-17

查看价格

嵌入式控制软件的形式化规格说明构建的工程方法项目摘要

针对形式化方法在工业界嵌入式控制软件开发过程中难以有效应用的问题，本课题主要研究嵌入式控制软件的形式化规格说明构建工程方法，建立工程化形式化规格说明构建过程，并通过规格说明审查和测试保障规格说明的一致性和有效性。主要研究内容包括：为嵌入式控制软件形式化规格说明语言SPARDL提供与形式化语义一致的图形化描述；建立图形化描述引导的形式化规格说明工程化构建过程，引导开发者从原始需求出发通过不同阶段构建形式化规格说明；研究规格说明审查以保证规格说明的一致性；研究规格说明测试技术以保证规格说明的有效性。研究测试用例生成、测试过程动画模拟及测试结果分析等方法；开发相应的软件工具。课题将丰富当前的形式化建模理论与方法，为工业界嵌入式控制软件的开发者提供有效而实用的形式化规格说明构建工程方法。该课题对提高嵌入式控制软件的质量有重要意义，研究成果可有效推动形式化方法在工业界嵌入式控制软件开发中的实际应用。

嵌入式控制软件的形式化规格说明构建的工程方法常见问题

谁知道嵌入式灶具维修方法？

嵌入式灶具问题及维修方法： 1.没有哒哒哒的放电声，不着火。出现这种故障一般要先检查电池是否长时间使用没有电了，如果更换电池还是没有放电声，那就需要找专业的人员来更换零件了。 2.冒黑烟、红火苗。正常...
谁知道嵌入式轨道灯拆卸方法？

嵌入式轨道灯拆卸方法：嵌入式射灯在顶棚的固定是依赖于两个卡簧，用手把住灯头、用力下拉、使弹簧扣竖立起来，灯具就会拆下来；轨道灯也有卡扣，扳平后下拉灯具就可拆下来。希望我的回答能帮到你。望采纳。
灯具嵌入式安装方法谁了解？

安装装嵌入式灯具的方法： (1)在天花板安装处开一方孔圆孔，将需要安装嵌入式吸顶灯的地方那个开一处孔，便于吊顶等的安装。确定好吊顶灯的位置，孔的大小英语吊顶面积相应。 (2)安装时，先把安装卡弹装于两...

嵌入式控制软件的形式化规格说明构建的工程方法文献

嵌入式建模中带有时间扩展的UML状态图的形式化方法

嵌入式建模中带有时间扩展的UML状态图的形式化方法

嵌入式建模中带有时间扩展的UML状态图的形式化方法

格式：pdf

大小：406KB

页数： 3页

面向对象建模语言UML(Unified Modeling Language)已广泛用于嵌入式系统建模,但它在嵌入式实时系统建模时存在概念模型形式化复杂和状态图对时间约束方面的建模功能不强的问题,针对这些问题,提出一种对UML状态图进行时间扩展的方法,并提出利用“可执行UML”对带有时间扩展的UML状态图形式化的方法。

在线阅读立即下载

形式化方法在软件工程中的应用研究

形式化方法在软件工程中的应用研究

形式化方法在软件工程中的应用研究

格式：pdf

大小：406KB

页数： 6页

探讨了形式化方法的基本概念,重点研究了形式化方法的数学理论基础和其在软件工程各阶段的应用情况,分析了形式化方法在理论研究和工程实践上的优势和局限性及其原因,并指出了形式化方法发展的几个方向,最后对形式化方法在软件工程中的应用做了评价。

在线阅读立即下载

建构建构的内容

从建筑设计到建成过程中，既符合力学规律，又遵循结构特征；同时也符合从艺术审美角度去审视其自身所应具有的美学法则；加之能在建造实施过程中保持其以上特征的过程。 建构包括设计、构建、建造等内容，是一个三位一体的集合，是一个全过程的综合反映。2100433B

安全工控程序分解与转换的形式化理论研究项目摘要

工业控制系统作为国计民生关键设施自动化生产的基础组件，是国家安全战略的重要组成部分。随着工业4.0、互联网时代的到来，工控系统与外界网络环境的交互越来越密切，系统体系架构也越来越复杂，工控系统的安全性与智能化程度都亟需提高，这给安全关键工控系统软件的发展带来了新的挑战。本项目针对工控系统软件高安全性的要求，运用严格的形式化方法对具备典型特征的工控系统软件进行建模。研究形式化建模语言及其语义模型，设计适用于多物理设备资源的工控程序代数演算规则，完成软件模型的分解与转换，保证工控系统软件的安全性和可靠性，从而形成面向多物理设备资源的工控程序开发理论与方法。该开发方法全程由形式化方法作为技术支撑，不仅提高了开发效率而且保证了软件质量，对工控系统的发展具备重要的意义。

无功控制软件VQC软件的功能

(1)多功能模块处理：在一个复杂的具有多台变压器的变电站里，每台主变压器和每一段母线都可能独立运行，也可能并列运行。因此VQC的调节与控制应能适用各种运行方式下的调节。 (2)电压与无功的上下限值动态变化：对应于不同的高峰和低谷时段，电压与无功的上下限值应不同，以适应逆调压和无功功率调节的要求。 (3)调节方式的多样性：由于变电站中有时变压器或电容器组需要停运检修，因此考虑VQC调节时，调节方式应设置“只调电压”或“只调电容器”。对于控制策略中出现的矛盾，应能“智能”变化。例如有时电容器组已经全部投入或退出运行，这时已无电容器可调，应能“智能”地改为有载分接头的相应调节。软件VQC还应设置“只监视不控制”方式，以适应运行需要，它相当于只投入运行不投连接片的保护运行方式。 (4)实现远方控制VQC：就地VQC应能接受调度端的控制，实现投退某个电容器组或有载调节变压器的分接头。 (5)闭锁条件有如下几条： 1)保护闭锁。在对变压器有载调压分接头开关和电容器组监视控制过程中，如监测到系统及变压器、母线、电容器发生故障和异常的保护信号，应立即闭锁VQC的调节。 2)遥测闭锁。当遥测值超过VQC要求的范围时，闭锁VQC。 3)遥信闭锁。当变电站主接线运行方式改变时，闭锁VQC。 4)其他闭锁。VQC的TV断线，主变压器调压控制器、电容器组的控制回路断线或异常时，闭锁VQC。 (6)相关信号上送调度：软件VQC应适应无人值班变电站的需要，把一些必要的信号，如VQC调节闭锁、调节拒动、调节动作信号上送调度端以便于远方管理。 (7)并列运行、拒动、滑档等：在变压器并列运行时，VQC应使并列的变压器有载分接头开关同步操作。母线并列时对应的软件模块也应做并列的相应处理。主变压器有载分接头开关拒动、滑档时应立即停止调节并发出拒动和滑档的信号上送调度，多次拒动、滑档时应闭锁相应操作。 (8)登录操作：每一次调节都应有相应的记录，包括对象、动作类型、时间、调节结果等。

相关推荐

相关百科
相关知识
相关专栏

免费服务热线: 400-888-9639