Title :
Combining Model Processing and Middleware Configuration for Building Distributed High-Integrity Systems
Author :
Hugues, Jérôme ; Zalila, Bechir ; Pautet, Laurent
Author_Institution :
GET-Telecom Paris
Abstract :
Requirements of high integrity systems now encompass distribution mechanisms along with strong functional and non-functional features (run-time support for hardware, dependability, safety, analyzability). In this paper, we show how model processing help addressing such needs. We present a generic distribution model suitable for high integrity systems, and demonstrate how a high-level modeling deployment view allows one to greatly reduce the model complexity. Finally, we conclude by assessing a case study
Keywords :
middleware; distributed high-integrity system; high-level modeling; middleware configuration; Aerospace electronics; Concurrent computing; Embedded system; Gratings; Hardware; Java; Middleware; Real time systems; Runtime; Safety;
Conference_Titel :
Object and Component-Oriented Real-Time Distributed Computing, 2007. ISORC '07. 10th IEEE International Symposium on
Conference_Location :
Santorini Island
Print_ISBN :
0-7695-2765-5
DOI :
10.1109/ISORC.2007.23
