Quantitative timed simulation functions and refinement metrics for real-time systems.
Krishnendu ChatterjeeVinayak S. PrabhuPublished in: HSCC (2013)
Keyphrases
- real time systems
- timed automata
- real time
- distributed systems
- discrete event
- real time database systems
- simulation model
- embedded systems
- timing constraints
- real time embedded
- embedded real time systems
- petri net
- fuzzy logic
- mission critical
- quantitative measures
- computer science
- colored petri nets
- case study
- web services
- object oriented programming language
- artificial intelligence