TY - GEN
T1 - Combining model processing and middleware configuration for building distributed high-integrity systems
AU - Hugues, Jérôme
AU - Zalila, Bechir
AU - Pautet, Laurent
PY - 2007/11/28
Y1 - 2007/11/28
N2 - Requirements of High Integrity systems now encompass distribution mechanisms along with strong junctional 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.
AB - Requirements of High Integrity systems now encompass distribution mechanisms along with strong junctional 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.
U2 - 10.1109/ISORC.2007.23
DO - 10.1109/ISORC.2007.23
M3 - Conference contribution
AN - SCOPUS:36349032173
SN - 0769527655
SN - 9780769527659
T3 - Proceedings - 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing, ISORC 2007
SP - 307
EP - 311
BT - Proceedings - 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing, ISORC 2007
T2 - 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing, ISORC 2007
Y2 - 7 May 2007 through 9 May 2007
ER -