Static Timing Analysis of Real-Time Operating Systems Code.
Andreas ErmedahlJan GustafssonBjörn LisperDaniel SandellPublished in: ISoLA (Preliminary proceedings) (2004)
Keyphrases
- operating system
- linux kernel
- windows xp
- address space
- computer systems
- multi threaded
- virtual machine
- windows nt
- distributed systems
- protection scheme
- memory management
- processor core
- dynamic analysis
- db universal database
- microsoft windows
- application programs
- virtual memory
- real time systems
- programs written
- security mechanisms
- application development
- reverse engineering
- data processing
- open source
- multi tasking