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;
Conference_Titel :
Real-Time Systems Symposium, 2008
Conference_Location :
Barcelona
Print_ISBN :
978-0-7695-3477-0
DOI :
10.1109/RTSS.2008.1
