Middleware for a Distributed and Hot-Redundant Software in Ada 2012

摘要

In railway control systems, distributed, available and reliable software is a recurrent need. As a consequence a middleware is a convenient solution to handle these aspects and provide guarantees to the application soft-ware. In this context, we developed a new Ada 2012 mid-dleware for execution of distributed and hot-redundant software which must conform with EN50128 standard. This article presents the particular needs of such a mid-dleware, the technical challenges and solutions, and a feedback on the Ada 2012 language and tools. Ada 2012; SMP; middleware; distributed soft- ware; hot-redundant software; railway control system; critical software; EN50128