Abstract :
The following topics are dealt with: distributed real-time systems; time-triggered systems; model-based development; dependable and secure computing; timing analysis; component-based architectures; configuration and adaptation; multi-core platforms; and validation and verification.
Keywords :
distributed processing; formal verification; object-oriented methods; object-oriented programming; real-time systems; security of data; utility programs; adaptation; component-based architectures; component-oriented real-time distributed computing; configuration; dependable computing; distributed real-time system; model-based development; multi-core platforms; object-oriented real-time distributed computing; secure computing; service-oriented real-time distributed computing; time-triggered system; timing analysis; verification;
Conference_Titel :
Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), 2010 13th IEEE International Symposium on
Conference_Location :
Carmona, Seville
Print_ISBN :
978-1-4244-7083-9
DOI :
10.1109/ISORC.2010.1
