CN106648611A - 一种基于模型驱动的计算机联锁软件开发方法 - Google Patents
一种基于模型驱动的计算机联锁软件开发方法 Download PDFInfo
- Publication number
- CN106648611A CN106648611A CN201610946630.7A CN201610946630A CN106648611A CN 106648611 A CN106648611 A CN 106648611A CN 201610946630 A CN201610946630 A CN 201610946630A CN 106648611 A CN106648611 A CN 106648611A
- Authority
- CN
- China
- Prior art keywords
- model
- analysis
- software development
- interlocking
- software
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Pending
Links
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/30—Creation or generation of source code
- G06F8/35—Creation or generation of source code model driven
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/10—Requirements analysis; Specification techniques
Landscapes
- Engineering & Computer Science (AREA)
- General Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Software Systems (AREA)
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Stored Programmes (AREA)
Abstract
本发明公开了一种基于模型驱动的计算机联锁软件开发方法。包括如下步骤:需求分析:包括联锁系统的安全性分析以及功能性分析;软件设计:通过对于系统的需求分析,将整个系统的功能划分为若干个模块,通过每个对每个模块功能的实现;代码实现:将所建模型通过工具转换为代码;模型建立:对所分析的流程,对系统的各个功能模块建立相应的模型;步骤五,模型验证:对步骤四中的系统功能需求和安全需求进行验证分析。本发明通过在联锁软件开发前进行详细的需求分析,用以降低联锁软件开发的成本,缩短开发周期;通过对联锁系统进行验证分析,确保系统的安全性,确保了模型驱动在嵌入式软件中的可行性。
Description
技术领域
本发明属于软件开发技术领域,特别是涉及一种基于模型驱动的计算机联锁软件开发方法。
背景技术
计算机联锁系统是指通过计算机技术,并按照上位机发出的指令和相关规定,控制进路的建立、信号的开放以及相应道岔的转动等,并且能够自发的防护操作人员进行的错误操作,达到安全行车的目的。
欧洲的联锁技术也经历了从继电器联锁技术到计算机联锁的发展过程,相较于国内,有着更为卓越的成果。主要是在软件方而,它主要是用于软件冗余,软件冗余技术是使不同版本的软件之间的不同进行比较。这种比较被分为内部比较与外部比较。其中一个比较装置通过内部通信处理得到的,和其他处理状态数据有它自己的状态相比,检査结果的正确性。外部比较则是指通过第三方软件或硬件获取两处理进程的状态和逻辑数据,来进行合理性表决判断。
计算机联锁软件在国内有着坚实的理论基础,并且已经出现大量的设计方法与成果,与传统的继电联锁相比,计算机联锁系统是通过软件来完成各设备之间的联锁通讯关系。
发明内容
本发明的目的在于提供一种基于模型驱动的计算机联锁软件开发方法,通过在联锁软件开发前进行详细的需求分析,通过对联锁系统进行验证分析,确保了模型驱动在嵌入式软件中的可行性。
为解决上述技术问题,本发明是通过以下技术方案实现的:
本发明为一种基于模型驱动的计算机联锁软件开发方法,包括如下步骤:
步骤一,需求分析:包括联锁系统的安全性分析以及功能性分析;
步骤二,软件设计:通过步骤一对于系统的需求分析,将整个系统的功能划分为若干个模块,通过每个对每个模块功能的实现,完成整个系统的设计;
步骤三,代码实现:将所建模型通过工具转换为代码;
步骤四,模型建立:对所分析的流程,对系统的各个功能模块建立相应的模型,包括对模块的安全需求以及功能需求进行建模;
步骤五,模型验证:对步骤四中的系统功能需求和安全需求进行验证分析。
优选地,所述步骤五模型验证通过采用UPPAAL工具对各个模块进行建立时间自动机模型,并对对应的消息序列进行验证。
本发明具有以下有益效果:
本发明通过在联锁软件开发前进行详细的需求分析,用以降低联锁软件开发的成本,缩短开发周期;通过对联锁系统进行验证分析,确保系统的安全性,确保了模型驱动在嵌入式软件中的可行性。
当然,实施本发明的任一产品并不一定需要同时达到以上所述的所有优点。
附图说明
为了更清楚地说明本发明实施例的技术方案,下面将对实施例描述所需要使用的附图作简单地介绍,显而易见地,下面描述中的附图仅仅是本发明的一些实施例,对于本领域普通技术人员来讲,在不付出创造性劳动的前提下,还可以根据这些附图获得其他的附图。
图1为本发明的一种基于模型驱动的计算机联锁软件开发方法流程图。
具体实施方式
下面将结合本发明实施例中的附图,对本发明实施例中的技术方案进行清楚、完整地描述,显然,所描述的实施例仅仅是本发明一部分实施例,而不是全部的实施例。基于本发明中的实施例,本领域普通技术人员在没有作出创造性劳动前提下所获得的所有其它实施例,都属于本发明保护的范围。
请参阅图1所示,本发明为一种基于模型驱动的计算机联锁软件开发方法,包括如下步骤:
步骤一,需求分析:包括联锁系统的安全性分析以及功能性分析;
步骤二,软件设计:通过步骤一对于系统的需求分析,将整个系统的功能划分为若干个模块,通过每个对每个模块功能的实现,完成整个系统的设计;
步骤三,代码实现:将所建模型通过工具转换为代码;
步骤四,模型建立:对所分析的流程,对系统的各个功能模块建立相应的模型,主要是对模块的安全需求以及功能需求进行建模;
步骤五,模型验证:对步骤四中的系统功能需求和安全需求进行验证分析。
其中,步骤五模型验证通过采用UPPAAL工具对各个模块进行建立时间自动机模型,并对对应的消息序列进行验证。
值得注意的是,上述系统实施例中,所包括的各个单元只是按照功能逻辑进行划分的,但并不局限于上述的划分,只要能够实现相应的功能即可;另外,各功能单元的具体名称也只是为了便于相互区分,并不用于限制本发明的保护范围。
另外,本领域普通技术人员可以理解实现上述各实施例方法中的全部或部分步骤是可以通过程序来指令相关的硬件来完成,相应的程序可以存储于一计算机可读取存储介质中,所述的存储介质,如ROM/RAM、磁盘或光盘等。
以上公开的本发明优选实施例只是用于帮助阐述本发明。优选实施例并没有详尽叙述所有的细节,也不限制该发明仅为所述的具体实施方式。显然,根据本说明书的内容,可作很多的修改和变化。本说明书选取并具体描述这些实施例,是为了更好地解释本发明的原理和实际应用,从而使所属技术领域技术人员能很好地理解和利用本发明。本发明仅受权利要求书及其全部范围和等效物的限制。
Claims (2)
1.一种基于模型驱动的计算机联锁软件开发方法,其特征在于,包括如下步骤:
步骤一,需求分析:包括联锁系统的安全性分析以及功能性分析;
步骤二,软件设计:通过步骤一对于系统的需求分析,将整个系统的功能划分为若干个模块,通过每个对每个模块功能的实现,完成整个系统的设计;
步骤三,代码实现:将所建模型通过工具转换为代码;
步骤四,模型建立:对所分析的流程,对系统的各个功能模块建立相应的模型,包括对模块的安全需求以及功能需求进行建模;
步骤五,模型验证:对步骤四中的系统功能需求和安全需求进行验证分析。
2.根据权利要求1所述的一种基于模型驱动的计算机联锁软件开发方法,其特征在于,所述步骤五模型验证通过采用UPPAAL工具对各个模块进行建立时间自动机模型,并对对应的消息序列进行验证。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201610946630.7A CN106648611A (zh) | 2016-10-26 | 2016-10-26 | 一种基于模型驱动的计算机联锁软件开发方法 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201610946630.7A CN106648611A (zh) | 2016-10-26 | 2016-10-26 | 一种基于模型驱动的计算机联锁软件开发方法 |
Publications (1)
Publication Number | Publication Date |
---|---|
CN106648611A true CN106648611A (zh) | 2017-05-10 |
Family
ID=58821244
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201610946630.7A Pending CN106648611A (zh) | 2016-10-26 | 2016-10-26 | 一种基于模型驱动的计算机联锁软件开发方法 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN106648611A (zh) |
Cited By (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN107943476A (zh) * | 2017-11-17 | 2018-04-20 | 南京轩世琪源软件科技有限公司 | 一种基于模型驱动的计算机联锁软件开发方法 |
CN110389749A (zh) * | 2019-06-19 | 2019-10-29 | 深圳壹账通智能科技有限公司 | 软件开发方法、装置及存储介质、计算机设备 |
CN113326040A (zh) * | 2021-06-30 | 2021-08-31 | 同济大学 | 一种轨道交通联锁系统的开发与实现方法 |
-
2016
- 2016-10-26 CN CN201610946630.7A patent/CN106648611A/zh active Pending
Non-Patent Citations (1)
Title |
---|
孙经伟: "基于模型驱动的计算机联锁软件开发方法的研究与实现", 《中国优秀硕士学位论文全文数据库(电子期刊) 信息科技辑》 * |
Cited By (5)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN107943476A (zh) * | 2017-11-17 | 2018-04-20 | 南京轩世琪源软件科技有限公司 | 一种基于模型驱动的计算机联锁软件开发方法 |
CN110389749A (zh) * | 2019-06-19 | 2019-10-29 | 深圳壹账通智能科技有限公司 | 软件开发方法、装置及存储介质、计算机设备 |
WO2020253361A1 (zh) * | 2019-06-19 | 2020-12-24 | 深圳壹账通智能科技有限公司 | 软件开发方法、装置及存储介质、计算机设备 |
CN113326040A (zh) * | 2021-06-30 | 2021-08-31 | 同济大学 | 一种轨道交通联锁系统的开发与实现方法 |
CN113326040B (zh) * | 2021-06-30 | 2022-09-20 | 同济大学 | 一种轨道交通联锁系统的开发与实现方法 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN107730669B (zh) | 门禁控制方法、系统及计算机可读存储介质 | |
CN103414741B (zh) | 一种远程升级plc的方法和系统 | |
CN105610938B (zh) | 登录状态同步方法和系统 | |
ES2307954T3 (es) | Metodo y dispositivo para generar unidades de control logicas para aparatos informaticos esenciales con base en estaciones ferroviarias. | |
CN106648611A (zh) | 一种基于模型驱动的计算机联锁软件开发方法 | |
CN102591780B (zh) | 一种设备驱动软件测试方法和测试系统 | |
CN110087241B (zh) | 业务授权方法、设备及系统 | |
CN104158819A (zh) | 车载信息娱乐终端的安全认证方法 | |
CN202904698U (zh) | 一种门禁管理系统 | |
CN102147219B (zh) | 电子雷管监管系统及其起爆授权监控管理方法 | |
CN104319891B (zh) | 用于智能变电站过程层的检修运维装置及方法 | |
CN104821090B (zh) | 一种基于智能手机稽查车辆的系统及方法 | |
LU102556B1 (en) | Blockchain-enhanced open internet of things access architecture | |
CN105260837A (zh) | 一种教学管理系统及其教学管理方法 | |
CN105978147A (zh) | 基于文件交互的安全自动装置远程定值修改系统 | |
CN105700924A (zh) | 一种为多个模块烧录程序的方法及装置 | |
Ayed et al. | B formal validation of ERTMS/ETCS railway operating rules | |
CN106155023A (zh) | 一种通用型分散控制系统的防误操作系统及其方法 | |
CN108920846A (zh) | 一种高铁列控系统复杂运营场景的风险耦合分析方法 | |
CN106780860B (zh) | 一种挑战型车辆开锁/关锁的控制方法及系统 | |
Levshun et al. | Design and verification methodology for secure and distributed cyber-physical systems | |
CN103138919B (zh) | 一种密钥灌装前置系统及其方法 | |
CN107833335A (zh) | 一种基于手机指纹识别和蓝牙传输的开锁系统 | |
CN102004826B (zh) | 列控系统通信协议规范化开发的方法及系统 | |
CN102957553B (zh) | 一种激励代码自动生成方法和装置 |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
PB01 | Publication | ||
PB01 | Publication | ||
SE01 | Entry into force of request for substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
RJ01 | Rejection of invention patent application after publication | ||
RJ01 | Rejection of invention patent application after publication |
Application publication date: 20170510 |