Skip to main content
Have a personal or library account? Click to login
Formal Verification Strategy for Statechart based Design of Reconfigurable Control of High Integrity Reactive Systems Cover

Formal Verification Strategy for Statechart based Design of Reconfigurable Control of High Integrity Reactive Systems

Engineer: Journal of the Institution of Engineers, Sri Lanka
Volume 46 (2013): Issue 2
By:   
Open Access
|Apr 2013
Metrics

Metrics

DOI: https://doi.org/10.4038/engineer.v46i2.6907 | Journal eISSN: 2550-3219
Journal RSS Feed
Language: English
Page range: 13 - 33
Published on: Apr 26, 2013
Published by: The Institution of Engineers, Sri Lanka
In partnership with: Paradigm Publishing Services
Keywords:
Reactive Systems,
Formal Verification,
Statecharts,
Context-free Languages,
Pushdown Automata,
Event-clock Visibly Pushdown Automata,
Controllability,
Prioritised­ synchronous-composition,
Real-time,
Railway Signalling,
Supervisory Control Theory,
Control

© 2013 S. Devapriya Dewasurendra, published by The Institution of Engineers, Sri Lanka
This work is licensed under the Creative Commons License.

Volume 46 (2013): Issue 2
Previous article
Next article