Automating timed specification transparency for human designer validation of real-time discrete-event control requirements.
Amrith DhananjayanKiam Tian SeowPublished in: CASE (2012)
Keyphrases
- discrete event
- real time
- dynamic systems
- simulation model
- supervisory control
- discrete event simulation
- real time systems
- control system
- crisis response
- hybrid systems
- discrete event systems
- dynamical systems
- multiple faults
- data acquisition
- timing constraints
- low cost
- manufacturing process
- human interaction
- human subjects
- complex systems
- high speed
- real time control
- formal specification
- control signals
- high level