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.
Citation:
Jerome Hugues, Bechir Zalila, Laurent Pautet, "Combining Model Processing and Middleware Configuration for Building Distributed High-Integrity Systems," isorc, pp.307-312, 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'07), 2007