Altreonic’s coherent approach to  systems and software engineering

OpenVE ©

Formalized modelling

Simulation

Code generation

OpenComRTOS ©

Formally developed

Runtime support for

concurrency and

communication

SIL 3/4 Controller ©

Control & processing platform

natively supporting distributed

concurrency &communication

OpenCookBook ©

Formalised requirements &

specifications capturing

Project repository

User

Applications

Test harness
Text Box: Modelling Text Box: Activities Text Box: Formal Text Box: Modeling

Modeling
Text Box: Architectural Modelling Text Box: Runtime support Text Box: Hardware Platform

Meta-models

Unifying

Repository

Unified architectural paradigm:

Interacting Entities

Unified

Semantics
Text Box: Simulation Text Box: Requirements checking Text Box: Requirements & Text Box: Specifications Text Box: capturing Text Box: Development, Verification, Test, Validation Text Box: Normal cases Test cases Fault cases Text Box: workplan