DocumentCode
1729934
Title
[Title page i]
fYear
2008
Abstract
The following topics are dealt with: real-time system; cyber-physical systems; design and verification; schedulability analysis; wireless sensor network; middleware; multicore scheduling; model checking; resource management; distributed system; control system; power management; data management; data aggregation; multiprocessor scheduling; fixed priority scheduling; and execution time analysis.
Keywords
formal verification; middleware; multiprocessing systems; real-time systems; resource allocation; scheduling; wireless sensor networks; control system; cyber-physical systems; data aggregation; data management; distributed system; execution time analysis; fixed priority scheduling; middleware; model checking; multicore scheduling; multiprocessor scheduling; power management; real-time system; resource management; schedulability analysis; wireless sensor network;
fLanguage
English
Publisher
ieee
Conference_Titel
Real-Time Systems Symposium, 2008
Conference_Location
Barcelona
ISSN
1052-8725
Print_ISBN
978-0-7695-3477-0
Type
conf
DOI
10.1109/RTSS.2008.1
Filename
4700410
Link To Document