Architecture-driven modeling of real-time concurrent systems with applications in FMS.
Yi DengChia-Rung YangPublished in: J. Syst. Softw. (1999)
Keyphrases
- real time
- concurrent systems
- temporal logic
- vlsi architecture
- distributed systems
- low cost
- high speed
- data driven
- transition systems
- complex event processing
- model checking
- knowledge based systems
- vision system
- management system
- dedicated hardware
- formal specification
- event driven
- petri net
- modeling method
- software architecture
- fine grained
- control system
- data model