Safety in Production Cell Components: An Appraoch Combining Formal Real-Time Specifications and Patterns.
Heinrich RustPublished in: SAFECOMP (1998)
Keyphrases
- real time
- formal specification
- design patterns
- formal language
- coal mining
- reactive systems
- formal descriptions
- high volume
- pattern discovery
- sequential patterns
- real time systems
- model checking
- operational semantics
- similar patterns
- safety critical
- delay insensitive
- quality control
- production system
- traffic accidents
- building blocks
- video sequences
- high level
- data sets