Towards Embedded Systems Formal Verification Translation from SysML into Petri Nets.
Wojciech SzmucTomasz SzmucPublished in: MIXDES (2018)
Keyphrases
- petri net
- formal verification
- embedded systems
- embedded real time systems
- model checking
- low cost
- formal methods
- petri net model
- model checker
- embedded software
- colored petri nets
- discrete event systems
- real time systems
- symbolic model checking
- service composition
- fuzzy petri net
- hardware software
- state machines
- field programmable gate array
- stochastic petri net
- software systems
- safety critical
- modeling language
- programmable logic controller
- ims ld
- formal specification
- temporal logic
- reinforcement learning
- fuzzy logic
- control system