Using timed CSP during object oriented design of real-time systems.
Peter G. O'DonoghueM. Elizabeth C. HullPublished in: Inf. Softw. Technol. (1996)
Keyphrases
- real time systems
- object oriented design
- timed automata
- constraint satisfaction problems
- formal specification
- software design
- real time
- petri net
- object oriented systems
- embedded systems
- object oriented
- distributed systems
- timing constraints
- mission critical
- real time embedded
- search space
- architectural model
- model checking
- real time database systems
- information systems
- search algorithm
- case study
- fine grained
- source code
- fuzzy logic
- multi agent systems
- cooperative