A Hybrid Approach in TADE for Derivation of Execution Time Bounds of Program-Segments in Distributed Real-Time Embedded Computing.
Chansik ImK. H. (Kane) KimPublished in: ISORC (2006)
Keyphrases
- real time embedded
- real time systems
- real time
- upper bound
- program execution
- control flow
- lower bound
- embedded systems
- multi agent
- distributed systems
- cooperative
- distributed environment
- concurrent execution
- digital signal processor
- execution traces
- symbolic execution
- neural network
- programming environment
- distributed data
- data flow
- line segments
- static analysis
- parallel execution
- computer networks
- source code
- response time
- worst case bounds