CN103885864B - 一种基于控制器局域网的信息物理系统的验证方法 - Google Patents
一种基于控制器局域网的信息物理系统的验证方法 Download PDFInfo
- Publication number
- CN103885864B CN103885864B CN201410077878.5A CN201410077878A CN103885864B CN 103885864 B CN103885864 B CN 103885864B CN 201410077878 A CN201410077878 A CN 201410077878A CN 103885864 B CN103885864 B CN 103885864B
- Authority
- CN
- China
- Prior art keywords
- area network
- local area
- controller local
- information
- controller
- 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.)
- Expired - Fee Related
Links
- 238000000034 method Methods 0.000 title claims abstract description 41
- 238000012795 verification Methods 0.000 title claims abstract description 41
- 238000007689 inspection Methods 0.000 claims abstract description 19
- 230000005540 biological transmission Effects 0.000 claims abstract description 18
- 238000005516 engineering process Methods 0.000 claims abstract description 17
- 230000002123 temporal effect Effects 0.000 claims abstract description 13
- 238000013179 statistical model Methods 0.000 claims abstract description 6
- 230000006870 function Effects 0.000 claims description 24
- 230000009897 systematic effect Effects 0.000 claims description 17
- 230000002452 interceptive effect Effects 0.000 claims description 12
- 230000007704 transition Effects 0.000 claims description 11
- 238000012360 testing method Methods 0.000 claims description 9
- 230000008859 change Effects 0.000 claims description 7
- 238000011156 evaluation Methods 0.000 claims description 6
- 230000008569 process Effects 0.000 claims description 6
- 230000007257 malfunction Effects 0.000 claims description 4
- 230000008878 coupling Effects 0.000 claims description 3
- 238000010168 coupling process Methods 0.000 claims description 3
- 238000005859 coupling reaction Methods 0.000 claims description 3
- 238000005192 partition Methods 0.000 claims description 3
- 230000008447 perception Effects 0.000 claims description 3
- 208000011580 syndromic disease Diseases 0.000 claims description 3
- 230000005012 migration Effects 0.000 claims 2
- 238000013508 migration Methods 0.000 claims 2
- 238000013461 design Methods 0.000 abstract description 5
- 238000004891 communication Methods 0.000 description 7
- 230000009286 beneficial effect Effects 0.000 description 2
- 238000011161 development Methods 0.000 description 2
- 238000010586 diagram Methods 0.000 description 2
- 230000010354 integration Effects 0.000 description 2
- 230000008450 motivation Effects 0.000 description 2
- 239000000126 substance Substances 0.000 description 2
- 238000010200 validation analysis Methods 0.000 description 2
- 238000004458 analytical method Methods 0.000 description 1
- 238000004364 calculation method Methods 0.000 description 1
- 238000001514 detection method Methods 0.000 description 1
- 230000000694 effects Effects 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
- 239000013307 optical fiber Substances 0.000 description 1
- 238000005457 optimization Methods 0.000 description 1
- 238000004445 quantitative analysis Methods 0.000 description 1
- 230000005855 radiation Effects 0.000 description 1
- 238000005728 strengthening Methods 0.000 description 1
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 CN103885864A (zh) | 2014-06-25 |
CN103885864B true 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) |
Families Citing this family (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
WO2016004973A1 (de) * | 2014-07-07 | 2016-01-14 | Siemens Aktiengesellschaft | Betrieb einer elektrischen komponente in einem cyber-physischen system |
CN108052768B (zh) * | 2017-12-28 | 2021-06-25 | 吉林大学 | 一种基于定量验证方法的并发实时系统可靠性评估方法 |
CN110062009A (zh) * | 2019-05-21 | 2019-07-26 | 杭州逍邦网络科技有限公司 | 一种信息物理融合系统防御的形式化检测方法 |
CN111614573B (zh) * | 2020-02-04 | 2022-05-06 | 华东师范大学 | 对时间敏感网络的调度及流量整形机制进行形式化分析方法 |
Family Cites Families (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 코-시뮬레이션 기법을 이용한 통신 프로토콜의 단일 모델 기반 통합 설계 방법 |
CN103281160B (zh) * | 2013-05-31 | 2016-01-20 | 南京大学 | 一种控制器局域网帧传输验证方法 |
-
2014
- 2014-03-05 CN CN201410077878.5A patent/CN103885864B/zh not_active Expired - Fee Related
Also Published As
Publication number | Publication date |
---|---|
CN103885864A (zh) | 2014-06-25 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
Seshia et al. | Design automation of cyber-physical systems: Challenges, advances, and opportunities | |
CN103885864B (zh) | 一种基于控制器局域网的信息物理系统的验证方法 | |
CN106529090A (zh) | 一种航天电子类产品可靠性评估方法 | |
Moradi et al. | Exploring fault parameter space using reinforcement learning-based fault injection | |
CN108572637A (zh) | 用于监测车载控制器的方法和设备 | |
CN108614443B (zh) | Phm系统模型开发和验证平台设计方法 | |
Norman et al. | Quantitative verification: Formal guarantees for timeliness, reliability and performance | |
CN106503376B (zh) | 一种汽车网络架构建模仿真方法及系统 | |
CN102436375A (zh) | 一种基于模型转换的cps建模与验证方法 | |
Ben Lakhal et al. | Controller area network reliability: overview of design challenges and safety related perspectives of future transportation systems | |
CN102624476B (zh) | 一种基于模型检测的无线传感器网络时间同步检验方法 | |
Xue et al. | PAC model checking of black-box continuous-time dynamical systems | |
Jiang et al. | Uncertainty theory based reliability-centric cyber-physical system design | |
Ernst et al. | Arch-comp 2022 category report: Falsification with ubounded resources | |
Shi et al. | Study cybersecurity of cyber physical system in the virtual environment: A survey and new direction | |
CN103888460B (zh) | 基于状态空间搜索的控制器局域网协议验证方法 | |
CN103281160B (zh) | 一种控制器局域网帧传输验证方法 | |
CN102662848B (zh) | 一种贝叶斯软件可靠性验证测试方法及其计算机辅助工具 | |
Roy et al. | Waterfall is too slow, let's go Agile: Multi-domain Coupling for Synthesizing Automotive Cyber-Physical Systems | |
Scheidemann | Optimizing the selection of representative configurations in verification of evolving product lines of distributed embedded systems | |
Guo et al. | Automated scenario generation and evaluation strategy for automatic driving system | |
CN102253663A (zh) | 一种网络化三容水箱系统的泄漏故障诊断方法及系统 | |
Zheng | Real-time simulation in real-time systems: Current status, research challenges and a way forward | |
Khlif et al. | Co-simulation trace analysis (cosita) tool for vehicle electronic architecture diagnosability analysis | |
Ortega‐Cabezas et al. | Application of rule‐based expert systems in hardware‐in‐the‐loop simulation case study: Software and performance validation of an engine electronic control unit |
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 |