CN103885864A - 一种基于控制器局域网的信息物理系统的验证方法 - Google Patents
一种基于控制器局域网的信息物理系统的验证方法 Download PDFInfo
- Publication number
- CN103885864A CN103885864A CN201410077878.5A CN201410077878A CN103885864A CN 103885864 A CN103885864 A CN 103885864A CN 201410077878 A CN201410077878 A CN 201410077878A CN 103885864 A CN103885864 A CN 103885864A
- Authority
- CN
- China
- Prior art keywords
- area network
- local area
- controller
- information physical
- verification
- 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.)
- Granted
Links
- 238000012795 verification Methods 0.000 title claims abstract description 58
- 238000000034 method Methods 0.000 title claims abstract description 39
- 238000005516 engineering process Methods 0.000 claims abstract description 19
- 238000007689 inspection Methods 0.000 claims description 19
- 230000007704 transition Effects 0.000 claims description 13
- 230000002452 interceptive effect Effects 0.000 claims description 12
- 230000006870 function Effects 0.000 claims description 10
- 238000011156 evaluation Methods 0.000 claims description 9
- 230000008859 change Effects 0.000 claims description 7
- 230000002123 temporal effect Effects 0.000 claims description 7
- 238000013179 statistical model Methods 0.000 claims description 5
- 230000008878 coupling Effects 0.000 claims description 4
- 238000010168 coupling process Methods 0.000 claims description 4
- 238000005859 coupling reaction Methods 0.000 claims description 4
- 230000007257 malfunction Effects 0.000 claims description 4
- 238000005192 partition Methods 0.000 claims description 3
- 230000008447 perception Effects 0.000 claims description 3
- 238000004458 analytical method Methods 0.000 abstract description 3
- 238000004891 communication Methods 0.000 description 8
- 238000013461 design Methods 0.000 description 5
- 238000012360 testing method Methods 0.000 description 5
- 230000008569 process Effects 0.000 description 3
- 238000010200 validation analysis Methods 0.000 description 3
- 230000009286 beneficial effect Effects 0.000 description 2
- 238000011161 development Methods 0.000 description 2
- 238000010586 diagram Methods 0.000 description 2
- 238000005457 optimization Methods 0.000 description 2
- 238000004364 calculation method Methods 0.000 description 1
- 239000000835 fiber Substances 0.000 description 1
- 230000004927 fusion Effects 0.000 description 1
- 238000004519 manufacturing process Methods 0.000 description 1
- 230000006855 networking Effects 0.000 description 1
- 238000012545 processing Methods 0.000 description 1
- 238000004445 quantitative analysis Methods 0.000 description 1
- 230000005855 radiation Effects 0.000 description 1
- 238000011160 research Methods 0.000 description 1
- 230000026676 system process Effects 0.000 description 1
- 230000009897 systematic effect Effects 0.000 description 1
Images
Landscapes
- Debugging And Monitoring (AREA)
Abstract
Description
Claims (1)
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201410077878.5A CN103885864B (zh) | 2014-03-05 | 2014-03-05 | 一种基于控制器局域网的信息物理系统的验证方法 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201410077878.5A CN103885864B (zh) | 2014-03-05 | 2014-03-05 | 一种基于控制器局域网的信息物理系统的验证方法 |
Publications (2)
Publication Number | Publication Date |
---|---|
CN103885864A true CN103885864A (zh) | 2014-06-25 |
CN103885864B CN103885864B (zh) | 2016-10-05 |
Family
ID=50954772
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201410077878.5A Expired - Fee Related CN103885864B (zh) | 2014-03-05 | 2014-03-05 | 一种基于控制器局域网的信息物理系统的验证方法 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN103885864B (zh) |
Cited By (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN106489102A (zh) * | 2014-07-07 | 2017-03-08 | 西门子公司 | 信息物理系统中的电部件的运行 |
CN108052768A (zh) * | 2017-12-28 | 2018-05-18 | 吉林大学 | 一种基于定量验证方法的并发实时系统可靠性评估方法 |
CN110062009A (zh) * | 2019-05-21 | 2019-07-26 | 杭州逍邦网络科技有限公司 | 一种信息物理融合系统防御的形式化检测方法 |
CN111614573A (zh) * | 2020-02-04 | 2020-09-01 | 华东师范大学 | 对时间敏感网络的调度及流量整形机制进行形式化分析方法 |
Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN102148716A (zh) * | 2010-02-05 | 2011-08-10 | 中国联合网络通信集团有限公司 | 一种点对点系统网络性能测试方法及其系统 |
KR101125365B1 (ko) * | 2010-08-19 | 2012-03-27 | 금오공과대학교 산학협력단 | Sdl?opnet 코-시뮬레이션 기법을 이용한 통신 프로토콜의 단일 모델 기반 통합 설계 방법 |
CN103281160A (zh) * | 2013-05-31 | 2013-09-04 | 南京大学 | 一种控制器局域网帧传输验证方法 |
-
2014
- 2014-03-05 CN CN201410077878.5A patent/CN103885864B/zh not_active Expired - Fee Related
Patent Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN102148716A (zh) * | 2010-02-05 | 2011-08-10 | 中国联合网络通信集团有限公司 | 一种点对点系统网络性能测试方法及其系统 |
KR101125365B1 (ko) * | 2010-08-19 | 2012-03-27 | 금오공과대학교 산학협력단 | Sdl?opnet 코-시뮬레이션 기법을 이용한 통신 프로토콜의 단일 모델 기반 통합 설계 방법 |
CN103281160A (zh) * | 2013-05-31 | 2013-09-04 | 南京大学 | 一种控制器局域网帧传输验证方法 |
Non-Patent Citations (2)
Title |
---|
RANJIT JHALA,ET AL: "Software model checking", 《ACM COMPUTING SURVEYS》 * |
王中杰 等: "信息物理融合系统研究综述", 《自动化学报》 * |
Cited By (6)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN106489102A (zh) * | 2014-07-07 | 2017-03-08 | 西门子公司 | 信息物理系统中的电部件的运行 |
CN108052768A (zh) * | 2017-12-28 | 2018-05-18 | 吉林大学 | 一种基于定量验证方法的并发实时系统可靠性评估方法 |
CN108052768B (zh) * | 2017-12-28 | 2021-06-25 | 吉林大学 | 一种基于定量验证方法的并发实时系统可靠性评估方法 |
CN110062009A (zh) * | 2019-05-21 | 2019-07-26 | 杭州逍邦网络科技有限公司 | 一种信息物理融合系统防御的形式化检测方法 |
CN111614573A (zh) * | 2020-02-04 | 2020-09-01 | 华东师范大学 | 对时间敏感网络的调度及流量整形机制进行形式化分析方法 |
CN111614573B (zh) * | 2020-02-04 | 2022-05-06 | 华东师范大学 | 对时间敏感网络的调度及流量整形机制进行形式化分析方法 |
Also Published As
Publication number | Publication date |
---|---|
CN103885864B (zh) | 2016-10-05 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
Abbas et al. | Formal property verification in a conformance testing framework | |
CN107341294B (zh) | 基于Modelica语言的航天器信息系统建模仿真方法 | |
Zou et al. | Verifying simulink diagrams via a hybrid hoare logic prover | |
CN108614443B (zh) | Phm系统模型开发和验证平台设计方法 | |
CN103885864A (zh) | 一种基于控制器局域网的信息物理系统的验证方法 | |
Zheng et al. | On the state of the art in verification and validation in cyber physical systems | |
CN104657610A (zh) | 一种信息物理融合系统时序逻辑鲁棒性评估方法 | |
Bode et al. | Compositional dependability evaluation for STATEMATE | |
Fitzgerald et al. | From embedded to cyber-physical systems: Challenges and future directions | |
Ben Lakhal et al. | Controller area network reliability: overview of design challenges and safety related perspectives of future transportation systems | |
Aichernig et al. | Probabilistic black-box reachability checking (extended version) | |
WO2021209191A1 (en) | System, apparatus and method for generating automatically a component fault tree of a system | |
Pagliari et al. | Multi-modeling approach to performance engineering of cyber-physical systems design | |
Meedeniya et al. | Robust archeopterix: Architecture optimization of embedded systems under uncertainty | |
Deshmukh et al. | Design of nonlinear dynamic systems using surrogate models of derivative functions | |
CN103888460A (zh) | 基于状态空间搜索的控制器局域网协议验证方法 | |
CN103281160B (zh) | 一种控制器局域网帧传输验证方法 | |
Guo et al. | Automated scenario generation and evaluation strategy for automatic driving system | |
Spichkova et al. | Towards system development methodologies: From software to cyber-physical domain | |
Zheng | Real-time simulation in real-time systems: Current status, research challenges and a way forward | |
CN111245676B (zh) | 通信协议可信性验证装置 | |
Renya et al. | AADL-based reliability modeling method of cyber-physical systems | |
Murashkin | Automotive electronic/electric architecture modeling, design exploration and optimization using Clafer | |
CN108052768B (zh) | 一种基于定量验证方法的并发实时系统可靠性评估方法 | |
Donzé | BreachFlows: simulation-based design with formal requirements for industrial CPS |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
C06 | Publication | ||
PB01 | Publication | ||
C10 | Entry into substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
C14 | Grant of patent or utility model | ||
GR01 | Patent grant | ||
EE01 | Entry into force of recordation of patent licensing contract |
Application publication date: 20140625 Assignee: Jiangsu Nanyou IOT Technology Park Ltd. Assignor: NANJING University OF POSTS AND TELECOMMUNICATIONS Contract record no.: 2016320000214 Denomination of invention: Information physical system verification method based on controller local area network (LAN) Granted publication date: 20161005 License type: Common License Record date: 20161117 |
|
LICC | Enforcement, change and cancellation of record of contracts on the licence for exploitation of a patent or utility model | ||
EC01 | Cancellation of recordation of patent licensing contract | ||
EC01 | Cancellation of recordation of patent licensing contract |
Assignee: Jiangsu Nanyou IOT Technology Park Ltd. Assignor: NANJING University OF POSTS AND TELECOMMUNICATIONS Contract record no.: 2016320000214 Date of cancellation: 20180116 |
|
CF01 | Termination of patent right due to non-payment of annual fee | ||
CF01 | Termination of patent right due to non-payment of annual fee |
Granted publication date: 20161005 |