CN109725890A - 复杂软件系统Event-B模型到时间自动机网络的转换工具及方法 - Google Patents
复杂软件系统Event-B模型到时间自动机网络的转换工具及方法 Download PDFInfo
- Publication number
- CN109725890A CN109725890A CN201811624203.2A CN201811624203A CN109725890A CN 109725890 A CN109725890 A CN 109725890A CN 201811624203 A CN201811624203 A CN 201811624203A CN 109725890 A CN109725890 A CN 109725890A
- Authority
- CN
- China
- Prior art keywords
- model
- event
- networks
- timed
- meta
- 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
Landscapes
- Debugging And Monitoring (AREA)
- Stored Programmes (AREA)
Abstract
Description
Claims (5)
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201811624203.2A CN109725890A (zh) | 2018-12-28 | 2018-12-28 | 复杂软件系统Event-B模型到时间自动机网络的转换工具及方法 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201811624203.2A CN109725890A (zh) | 2018-12-28 | 2018-12-28 | 复杂软件系统Event-B模型到时间自动机网络的转换工具及方法 |
Publications (1)
Publication Number | Publication Date |
---|---|
CN109725890A true CN109725890A (zh) | 2019-05-07 |
Family
ID=66297489
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201811624203.2A Pending CN109725890A (zh) | 2018-12-28 | 2018-12-28 | 复杂软件系统Event-B模型到时间自动机网络的转换工具及方法 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN109725890A (zh) |
Cited By (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN110062009A (zh) * | 2019-05-21 | 2019-07-26 | 杭州逍邦网络科技有限公司 | 一种信息物理融合系统防御的形式化检测方法 |
CN115933485A (zh) * | 2022-12-21 | 2023-04-07 | 华侨大学 | 基于控制结构层次划分的安全攸关系统控制方法及装置 |
Citations (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US20090150855A1 (en) * | 2007-12-05 | 2009-06-11 | Elaasar Maged E | Computer Method and Apparatus for Model Transformation Reapply |
CN102520925A (zh) * | 2011-11-18 | 2012-06-27 | 北京航空航天大学 | Aadl2tasm模型转换方法 |
CN102609260A (zh) * | 2012-02-08 | 2012-07-25 | 北京航空航天大学 | Tasm2uppaal模型转换方法 |
CN105335161A (zh) * | 2015-11-13 | 2016-02-17 | 华中师范大学 | 一种从tasm时间抽象状态机到扩展nta自动机的转换方法 |
-
2018
- 2018-12-28 CN CN201811624203.2A patent/CN109725890A/zh active Pending
Patent Citations (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US20090150855A1 (en) * | 2007-12-05 | 2009-06-11 | Elaasar Maged E | Computer Method and Apparatus for Model Transformation Reapply |
CN102520925A (zh) * | 2011-11-18 | 2012-06-27 | 北京航空航天大学 | Aadl2tasm模型转换方法 |
CN102609260A (zh) * | 2012-02-08 | 2012-07-25 | 北京航空航天大学 | Tasm2uppaal模型转换方法 |
CN105335161A (zh) * | 2015-11-13 | 2016-02-17 | 华中师范大学 | 一种从tasm时间抽象状态机到扩展nta自动机的转换方法 |
Cited By (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN110062009A (zh) * | 2019-05-21 | 2019-07-26 | 杭州逍邦网络科技有限公司 | 一种信息物理融合系统防御的形式化检测方法 |
CN115933485A (zh) * | 2022-12-21 | 2023-04-07 | 华侨大学 | 基于控制结构层次划分的安全攸关系统控制方法及装置 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
Berthomieu et al. | Fiacre: an intermediate language for model verification in the topcased environment | |
Hu et al. | Mapping UML Diagrams to a Petri Net Notation for System Simulation. | |
Spichkova et al. | Do we really need to write documentation for a system? CASE tool add-ons: generator+ editor for a precise documentation | |
CN109725890A (zh) | 复杂软件系统Event-B模型到时间自动机网络的转换工具及方法 | |
Spichkova | Architecture: Requirements+ decomposition+ refinement | |
Baresi et al. | From interaction overview diagrams to temporal logic | |
Graf et al. | Timed annotations in UML | |
Ebeid et al. | Generation of SystemC/TLM code from UML/MARTE sequence diagrams for verification | |
Alhroob et al. | Transforming UML sequence diagram to high level Petri Net | |
Lindsay | Behavior trees: from systems engineering to software engineering | |
Bae et al. | Verifying ptolemy ii discrete-event models using real-time maude | |
Alshareef et al. | An an approach for activity-based DEVS model specification | |
Popovic et al. | A generic model-based test case generator | |
CN107944184A (zh) | 结合生命系统理论和fbs的产品概念设计方法 | |
Buneman et al. | Hierarchical Models of Provenance. | |
Hu et al. | Extended DEVSML as a Model Transformation Intermediary to Make UML Diagrams Executable. | |
KR101170546B1 (ko) | 차종별 시스템의 사양 설계 방법 | |
Colin et al. | Duration calculus: A real-time semantic for b | |
Urdahl et al. | Architectural system modeling for correct-by-construction RTL design | |
Diallo et al. | A formal, model-driven design flow for system simulation and multi-core implementation | |
Chernenok et al. | The application of coloured Petri nets to verification of distributed systems specified by message sequence charts | |
Treharne et al. | Automatic generation of integrated formal models corresponding to UML system models | |
Li et al. | Synthesizing cooperative controllers from global tasks of multi-robot systems | |
Santa et al. | Relations of UML and OETPN Models | |
Haqiq et al. | Verification of multi decisional reactive agent using SMV model checker |
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 | ||
CB03 | Change of inventor or designer information |
Inventor after: Han Deshuai Inventor after: Ma Guanglian Inventor after: Wang Tao Inventor after: Wang Bo Inventor after: Feng Guoyan Inventor after: Su Yanzhao Inventor before: Han Deshuai Inventor before: Ma Guanglian Inventor before: Yang Qiliang Inventor before: Wang Tao Inventor before: Wang Bo Inventor before: Feng Guoyan Inventor before: Su Yanzhao |
|
CB03 | Change of inventor or designer information | ||
RJ01 | Rejection of invention patent application after publication |
Application publication date: 20190507 |
|
RJ01 | Rejection of invention patent application after publication |