Abstract
Nonblocking verification can be applied to evaluate the behavior of discrete event systems. Performing nonblocking verification can be computationally costly. In this work, we consider discrete event systems that evolve over time. We study how to reuse results from a previous nonblocking verification, to more efficiently perform nonblocking verification when the system is adapted. We call this approach transformational nonblocking verification, and present an algorithm for the method. The efficiency of the method is evaluated by applying an academic and an industrial use case.
| Original language | English |
|---|---|
| Pages (from-to) | 256-263 |
| Number of pages | 8 |
| Journal | IFAC-PapersOnLine |
| Volume | 55 |
| Issue number | 28 |
| DOIs | |
| Publication status | Published - Sept 2022 |
| Event | 16th IFAC Workshop on Discrete Event Systems, WODES 2022 - Prague, Czech Republic Duration: 7 Sept 2022 → 8 Sept 2022 Conference number: 16 |
Funding
Research leading to these results has received funding from the EU ECSEL Joint Undertaking under grant agreement no 826452 (project Arrowhead Tools) and from the partners national programs/funding authorities.
| Funders | Funder number |
|---|---|
| Electronic Components and Systems for European Leadership | 826452 |
Keywords
- Formal verification
- discrete event systems
- nonblocking
- system evolution
Fingerprint
Dive into the research topics of 'Transformational Nonblocking Verification'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver