CN103888462B - 基于局部偏序规约的控制器局域网模型验证方法 - Google Patents
基于局部偏序规约的控制器局域网模型验证方法 Download PDFInfo
- Publication number
- CN103888462B CN103888462B CN201410117770.4A CN201410117770A CN103888462B CN 103888462 B CN103888462 B CN 103888462B CN 201410117770 A CN201410117770 A CN 201410117770A CN 103888462 B CN103888462 B CN 103888462B
- Authority
- CN
- China
- Prior art keywords
- state
- node
- model
- current
- jump condition
- 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 38
- 238000012795 verification Methods 0.000 title claims abstract description 11
- 230000008569 process Effects 0.000 claims abstract description 17
- 238000007781 pre-processing Methods 0.000 claims abstract description 7
- 238000012546 transfer Methods 0.000 claims description 24
- 238000002372 labelling Methods 0.000 claims description 6
- 238000013508 migration Methods 0.000 claims description 6
- 230000005012 migration Effects 0.000 claims description 6
- 230000002123 temporal effect Effects 0.000 claims description 6
- 230000008859 change Effects 0.000 claims description 4
- 238000004880 explosion Methods 0.000 abstract description 3
- 238000005516 engineering process Methods 0.000 description 13
- 238000012360 testing method Methods 0.000 description 13
- 238000004891 communication Methods 0.000 description 8
- 230000007704 transition Effects 0.000 description 5
- 238000004364 calculation method Methods 0.000 description 3
- 238000005457 optimization Methods 0.000 description 3
- 230000009286 beneficial effect Effects 0.000 description 2
- 230000005540 biological transmission Effects 0.000 description 2
- 230000007613 environmental effect Effects 0.000 description 2
- 230000008450 motivation Effects 0.000 description 2
- 230000004044 response Effects 0.000 description 2
- 206010065954 Stubbornness Diseases 0.000 description 1
- 238000004458 analytical method Methods 0.000 description 1
- 230000008901 benefit Effects 0.000 description 1
- 230000006835 compression Effects 0.000 description 1
- 238000007906 compression Methods 0.000 description 1
- 238000013461 design Methods 0.000 description 1
- 238000010586 diagram Methods 0.000 description 1
- 238000007689 inspection Methods 0.000 description 1
- 230000006855 networking Effects 0.000 description 1
- 238000011160 research Methods 0.000 description 1
- 230000001568 sexual effect Effects 0.000 description 1
- 230000003068 static effect Effects 0.000 description 1
- 238000010200 validation analysis Methods 0.000 description 1
Landscapes
- General Factory Administration (AREA)
- Small-Scale Networks (AREA)
Abstract
Description
Claims (1)
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201410117770.4A CN103888462B (zh) | 2014-03-26 | 2014-03-26 | 基于局部偏序规约的控制器局域网模型验证方法 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201410117770.4A CN103888462B (zh) | 2014-03-26 | 2014-03-26 | 基于局部偏序规约的控制器局域网模型验证方法 |
Publications (2)
Publication Number | Publication Date |
---|---|
CN103888462A CN103888462A (zh) | 2014-06-25 |
CN103888462B true CN103888462B (zh) | 2016-09-14 |
Family
ID=50957182
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201410117770.4A Expired - Fee Related CN103888462B (zh) | 2014-03-26 | 2014-03-26 | 基于局部偏序规约的控制器局域网模型验证方法 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN103888462B (zh) |
Families Citing this family (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN104142888B (zh) * | 2014-07-14 | 2017-06-27 | 北京理工大学 | 一种有状态协议的规则化状态机模型设计方法 |
CN104572101B (zh) * | 2015-01-04 | 2018-03-13 | 华东师范大学 | 一种基于统计模型检验的uml活动图评估方法 |
CN104503837B (zh) * | 2015-01-15 | 2017-10-10 | 南京大学 | 基于偏序规约的中断驱动系统有界模型检验方法 |
KR101663116B1 (ko) * | 2015-03-04 | 2016-10-07 | 현대자동차주식회사 | 캔 통신 모델 튜닝 방법 및 장치 |
Citations (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN101013452A (zh) * | 2007-02-05 | 2007-08-08 | 江苏大学 | 一种符号化的模型检测方法 |
CN101282345A (zh) * | 2008-03-03 | 2008-10-08 | 北京航空航天大学 | 一种基于形式化描述和状态迁移的xml转换方法 |
CN102164040A (zh) * | 2011-02-17 | 2011-08-24 | 深圳天源迪科信息技术股份有限公司 | 基于带抑制弧的Petri网模拟HB系统状态转换的方法 |
CN102663190A (zh) * | 2012-04-09 | 2012-09-12 | 西安电子科技大学 | Pptl符号模型检测方法 |
-
2014
- 2014-03-26 CN CN201410117770.4A patent/CN103888462B/zh not_active Expired - Fee Related
Patent Citations (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN101013452A (zh) * | 2007-02-05 | 2007-08-08 | 江苏大学 | 一种符号化的模型检测方法 |
CN101282345A (zh) * | 2008-03-03 | 2008-10-08 | 北京航空航天大学 | 一种基于形式化描述和状态迁移的xml转换方法 |
CN102164040A (zh) * | 2011-02-17 | 2011-08-24 | 深圳天源迪科信息技术股份有限公司 | 基于带抑制弧的Petri网模拟HB系统状态转换的方法 |
CN102663190A (zh) * | 2012-04-09 | 2012-09-12 | 西安电子科技大学 | Pptl符号模型检测方法 |
Non-Patent Citations (1)
Title |
---|
《无线传感器网络的自组织机制研究》;陈志;《电子学报》;20070531;第35卷(第5期);第855-857页 * |
Also Published As
Publication number | Publication date |
---|---|
CN103888462A (zh) | 2014-06-25 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN103888462B (zh) | 基于局部偏序规约的控制器局域网模型验证方法 | |
Wang et al. | Minimization of dynamic sensor activation in discrete event systems for the purpose of control | |
CN104346272A (zh) | 芯片自动仿真验证系统 | |
CN105448080B (zh) | 考虑次邻近车辆影响交通流时滞跟驰模型稳定性建模方法 | |
CN112668012A (zh) | 一种自动驾驶人机界面安全性验证方法及系统 | |
Ben Lakhal et al. | Controller area network reliability: overview of design challenges and safety related perspectives of future transportation systems | |
CN114936149A (zh) | 基于wgan-gp的can总线模糊测试用例生成方法及模糊测试系统 | |
CN103888460B (zh) | 基于状态空间搜索的控制器局域网协议验证方法 | |
CN112600839A (zh) | 基于车联网平台构建安全威胁关联视图的方法及装置 | |
Du et al. | Finding diverse failure scenarios in autonomous systems using adaptive stress testing | |
CN106341388A (zh) | 一种车辆远程监控系统及其联网控制方法 | |
CN103399776A (zh) | 可重用mock创建方法及系统 | |
Wang et al. | Formal verification of CAN bus in cyber physical system | |
Alvear et al. | Validation of a vehicle emulation platform supporting OBD-II communications | |
CN103281160B (zh) | 一种控制器局域网帧传输验证方法 | |
CN106354930B (zh) | 一种空间飞行器的自适应重构方法及系统 | |
CN109348509A (zh) | 通信方法以及装置、电子设备及存储介质 | |
KR101759893B1 (ko) | 분산자원 모의운전을 위한 시나리오 기반 가상장비 관리 장치 | |
Zhu et al. | Real-time fault diagnosis for EVs with multilabel feature selection and sliding window control | |
CN114398255A (zh) | 自动驾驶测试场景生成方法、装置、电子设备和存储介质 | |
Van Waes et al. | Electromagnetic interference in the Internet of Things: An automotive insight | |
CN108021376A (zh) | 一种更新汽车电子系统程序的方法和系统 | |
Xiaorong et al. | Research on intelligent network auto software testing technology | |
CN105678157A (zh) | 一种基于应用环境识别的数据产权保护系统和方法 | |
US10380292B1 (en) | Systems and methods for finite difference time domain simulation of an electronic design |
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: Controller area network model verification method based on local partial order reduction Granted publication date: 20160914 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 |
Assignee: Jiangsu Nanyou IOT Technology Park Ltd. Assignor: NANJING University OF POSTS AND TELECOMMUNICATIONS Contract record no.: 2016320000214 Date of cancellation: 20180116 |
|
EC01 | Cancellation of recordation of patent licensing contract | ||
CF01 | Termination of patent right due to non-payment of annual fee |
Granted publication date: 20160914 |
|
CF01 | Termination of patent right due to non-payment of annual fee |