A coherent approach to systems and safety engineering

User

Applications

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

Modeling
Text Box: Architectural Modeling 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

OpenComRTOS Designer ©

Formalized modeling,

Simulation,

Code generation,

Visual tracing and

debugging

Starfish ©

Control & processing platforms

natively supporting distributed

concurrency & communication with

 fault tolerance capability.

OpenComRTOS ©

Formally developed

Runtime support for

concurrency and

communication

GoedelWorks©

Formalised requirements &

specifications capturing

Project repository. Safety Standards awareness