Title :
ISORC 2012 [front cover]
Abstract :
The following topics are dealt with: distributed real-time systems; dependable computing; secure computing; timing analysis; component-based architectures; service-oriented architectures; multicore platforms; configuration and adaptation; formal validation and formal verification.
Keywords :
configuration management; distributed processing; formal verification; multiprocessing systems; real-time systems; security of data; service-oriented architecture; component-based architectures; dependable computing; distributed real-time systems; formal validation; formal verification; multicore platforms; secure computing; service-oriented architectures; timing analysis;
Conference_Titel :
Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), 2012 IEEE 15th International Symposium on
Conference_Location :
Guangdong
Print_ISBN :
978-1-4673-0499-3
DOI :
10.1109/ISORC.2012.33
