Rubus Model-Driven Development

Since more than 15 years Arcticus Systems focus on model driven software development methods and tools aimed for dependable and safety critical real-time application.

Rubus methods and tools supporting MBD focus on development of dependable embedded real-time systems that put requirements on supporting three important activities: Design, Analysis and Synthesis

Design

The composition of system consists of application and basic software functionality implemented as SW circuits communicating via ports organised in Circuit Diagrams in analogy with electronic schematics.

Synthesis

The Deployment process distributes the SW items on a selected HW architecture consisting of the nodes and targets. The Build process generates the run-time framework of each target.

Analysis

To formally verify the model, response time analysis is performed based on the given real-time properties of the SW items. For Timed Triggered items a schedule is generated for each mode. The Run-Time properties of the SW items are monitored and fed back to the model.

Integration Matlab/Simulink

A SW item can be implemented using Simulink. By adapting the Simulink code generators to match structures required by the Rubus ICE, no wrapper functions are needed. The integration of Simulink models in the Rubus CM facilitates the real-time analysis of the entire design.

» Download information about Model Based Development with Rubus Component Model pdf-file