Skip to main content

Insights on our Products

Every insight with a product reference at a glance — filterable by itemis ANALYZE, itemis CREATE and itemis SECURE.

Product

Format

Unabhängigkeit als prüfbare Eigenschaft – Whitepaper
Whitepapers Functional safety

Unabhängigkeit als prüfbare Eigenschaft

Independence is assessed once in a DFA workshop and never revisited. This whitepaper shows how the independence premise in ASIL decompositions can be verified continuously and machine-executed using graph theory.

Download Whitepaper
German
Compliance Was Never About the Document
Blog Requirements traceability

Compliance Was Never About the Document

AI can now produce TARAs, traceability matrices, and safety cases that are structurally complete and terminologically correct. That surfaces a question worth asking: what, exactly, is being verified? The problem is not AI-generated documentation. It is compliance processes that optimize for artifacts instead of the properties those artifacts were supposed to encode.

Read Article
Florian Antony Florian Antony 6 min read
Formal Error Detection on State Machines: What Works and What Doesn't
Blog Model driven software development

Formal Error Detection on State Machines: What Works and What Doesn't

An unreachable transition, an unsatisfiable guard, a numeric overflow: these bugs hide in the model long before any test reveals them. A results report from two master's theses on formal error detection for state machines using symbolic execution and SMT solvers.

Read Article
Andreas Mülder Andreas Mülder 9 min read
itemis SECURE Lifecycle Integrations – Whitepaper
Whitepapers Cyber security

itemis SECURE Lifecycle Integrations

Your TARA is a compliance document. It should be the operational brain of your CSMS. This whitepaper shows how a Living Digital Thread transforms static security artifacts into a continuous, data-driven lifecycle operation.

Download Whitepaper
Cohesion Without Disruption – Whitepaper
Whitepapers Functional safety

Cohesion Without Disruption

How leading OEMs and Tier-1 suppliers unite Functional Safety and Cyber Security enterprise-wide — without disrupting proven engineering environments.

Download Whitepaper
itemis SECURE Goes Cloud
Webinar Cyber security

itemis SECURE Goes Cloud

itemis SECURE is now available on the web — collaborate on cybersecurity projects simultaneously from any device, just like Google Docs.

Watch Webinar
Dirk Leopold Jens Bühl
Security by Design in the Automotive Development Process
Blog Cyber security

Security by Design in the Automotive Development Process

In the automotive domain, security is becoming more and more important – especially for the new generations of connected, (semi-)autonomous vehicles. Learn how to develop a secure system design and which additional security challenges may arise.

Read Article
Dirk Leopold Dirk Leopold 9 min read
State Machine Origami
Blog Custom tools

State Machine Origami

How Franca IDL and itemis CREATE can be integrated to validate embedded software components against interface contracts interactively during development.

Read Article
Dr. Klaus Birken Dr. Klaus Birken 9 min read
Taking SCXML to the next level
Blog Model driven software development

Taking SCXML to the next level

How itemis CREATE adds higher-level modeling, simulation and unit testing on top of the SCXML standard.

Read Article
Andreas Mülder Andreas Mülder 5 min read
How to Create a Requirements Traceability Matrix
Blog Requirements traceability

How to Create a Requirements Traceability Matrix

A requirements traceability matrix (RTM) is a simple table that establishes bidirectional traceability across your project. Learn what it is and how to build one in four steps.

Read Article
Florian Antony Florian Antony 5 min read
Modeling with State Machines – Part 1
Blog Model driven software development

Modeling with State Machines – Part 1

How do state machines work and why should you use them? This post illustrates the modeling of a finite state machine using the example of a blind controller.

Read Article
Rainer Klute Rainer Klute 6 min read