Title :
Table of contents
Abstract :
The following topics are dealt with: real-time systems; multicore platforms; mixed criticality systems; cyber-physical systems; multiprocessor scheduling; wireless sensor networks; real-time scheduling; design and verification; and timing analysis.
Keywords :
formal verification; multiprocessing systems; processor scheduling; real-time systems; wireless sensor networks; cyber-physical systems; design; mixed criticality systems; multicore platforms; multiprocessor scheduling; real-time scheduling; real-time systems; timing analysis; verification; wireless sensor networks;
Conference_Titel :
Real-Time Systems Symposium (RTSS), 2013 IEEE 34th
Conference_Location :
Vancouver, BC
DOI :
10.1109/RTSS.2013.4
