OnlineM

OnlineM is a software engineering concept for online maintenance of software adequate for high-integrity and real-time applications.

OnlineM allows to upgrade software while it is executing. It is not needed to stop the software and to load a new version: the new version is built during execution of the program. When the new version has been established it is activated on a pre-defined condition or event.

A clean software engineering concept ensures that the program will work correctly before and after the update. The new version is validated before it is established on the target environment.

This concept has been applied for Ada and C software, but may be customised for other languages as well.