Combining Model Processing and Middleware Configuration for Building Distributed High-Integrity Systems

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

[1]  Alan Burns,et al.  Guide for the use of the Ada Ravenscar Profile in high integrity systems , 2004, ALET.

[2]  B. J. Ferro Castro,et al.  Pattern-Oriented Software Architecture: A System of Patterns , 2009 .

[3]  Laurent Pautet,et al.  PolyORB: A Schizophrenic Middleware to Build Versatile Reliable Distributed Applications , 2004, Ada-Europe.

[4]  Philippe A. Palanque,et al.  Formal specification of CORBA services: experience and lessons learned , 2000, OOPSLA '00.

[5]  Aniruddha Gokhale,et al.  CoSMIC : An MDA Tool Suite for Application Deployment and Configuration , 2003 .

[6]  J. Javier Gutiérrez,et al.  Schedulability analysis of distributed hard real-time systems with multiple-event synchronization , 2000, Proceedings 12th Euromicro Conference on Real-Time Systems. Euromicro RTS 2000.

[7]  R. J. Richards,et al.  Towards safety critical middleware for avionics applications , 2002, 27th Annual IEEE Conference on Local Computer Networks, 2002. Proceedings. LCN 2002..

[8]  Peter H. Feiler,et al.  The Architecture Analysis & Design Language (AADL): An Introduction , 2006 .

[9]  Laurent Nana,et al.  Cheddar: a flexible real time scheduling framework , 2004, SIGAda.

[10]  Tullio Vardanega,et al.  Automated model-based generation of Ravenscar-compliant source code , 2005, 17th Euromicro Conference on Real-Time Systems (ECRTS'05).

[11]  Alejandro Alonso,et al.  Two alternative RMI models for real-time distributed applications , 2005, Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'05).