Compose your Platform
Alkalee’s solution helps you to compose your own Hardware and software platform. Choose your processors, choose your Operating Systems and Receef will abstract them to your developers.
Receef is the embedded SW infrastructure that supports software component interactions (SWC) and manages time sensitive communications and safety concerns. Beyond the use of novel approaches for software architecture, Receef benefits from the formal analysis conducted in Euphilia. Thanks to the information extracted during the configuration of the platform, the Receef Data Sharing Manager is in a position to detect any deviation with respect to the formal model, and is thus the cornerstone of Receef Real-Time and Safety Management. Invisible to the Software Components, it efficiently monitors timing and logical checkpoints along the communication path.