DocumentCode
2578262
Title
[Title page i]
fYear
2010
fDate
5-6 May 2010
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), 2010 13th IEEE International Symposium on
Conference_Location
Carmona, Seville
ISSN
1555-0885
Print_ISBN
978-1-4244-7083-9
Type
conf
DOI
10.1109/ISORC.2010.1
Filename
5479543
Link To Document