Zum Hauptinhalt springen

Insights zu unseren Produkten

Alle Insights mit Produktbezug auf einen Blick — filterbar nach itemis ANALYZE, itemis CREATE und itemis SECURE.

Produkt

Format

Die TARA kommt an. Leider als Text.
Blog Cyber Security

Die TARA kommt an. Leider als Text.

Warum eine TARA auf dem Weg vom Zulieferer zum OEM ihre Verweise verliert, was openXSAM davon zurückholt und warum das ein Modell voraussetzt.

Zum Blog
Jens Bühl Jens Bühl 7 Min. Lesezeit
Sitz, Bleib, Hol: KI für ASPICE trainieren
Blog Requirements Traceability

Sitz, Bleib, Hol: KI für ASPICE trainieren

Sechs Leitplanken für KI-Agenten in ASPICE-Assessments: Skripte statt Prompts, gesicherte Zwischenergebnisse, Batches, Ja/Nein-Fragen, Verbote, Kennzeichnen.

Zum Blog
Pierre Dammé Pierre Dammé 6 Min. Lesezeit
Asset Identification und Impact Rating: Wessen Schaden zählt eigentlich?
Blog Cyber Security

Asset Identification und Impact Rating: Wessen Schaden zählt eigentlich?

Asset Identification und Impact Rating liefern die eine Hälfte des Risikowerts: ab wann ein Element des Items ein Asset ist, wessen Schaden ein Schadensszenario beschreibt, warum die Safety-Bewertung nicht der Security allein gehört, und was Bewertungen über Projekte hinweg vergleichbar hält.

Zum Blog
Jens Bühl Jens Bühl 14 Min. Lesezeit
Unabhängigkeit als prüfbare Eigenschaft – Whitepaper
Whitepaper Functional Safety

Unabhängigkeit als prüfbare Eigenschaft

Unabhängigkeit wird einmalig im DFA-Workshop bewertet: danach nie wieder. Dieses Whitepaper zeigt, wie sich die Unabhängigkeitsprämisse in ASIL-Zerlegungen graphentheoretisch und kontinuierlich maschinell prüfen lässt.

Whitepaper herunterladen
Compliance war nie eine Frage des Dokuments
Blog Requirements Traceability

Compliance war nie eine Frage des Dokuments

KI kann heute TARAs, Traceability-Matrizen und Safety Cases erzeugen, die strukturell vollständig und terminologisch korrekt sind. Das wirft eine Frage auf: Was wird dabei eigentlich verifiziert? Das Problem ist nicht KI-generierte Dokumentation. Es sind Compliance-Prozesse, die auf Artefakte optimieren statt auf die Eigenschaften, die diese Artefakte abbilden sollen.

Zum Blog
Florian Antony Florian Antony 6 Min. Lesezeit
Formale Methoden zur Fehlererkennung: Was geht, was nicht
Blog Model-Driven Software Development

Formale Methoden zur Fehlererkennung: Was geht, was nicht

Eine unerreichbare Transition, ein Guard, der nie erfüllbar ist: Solche Fehler stecken im Modell, lange bevor ein Test sie zeigt. Ein Ergebnisbericht aus zwei Masterarbeiten über formale Fehlererkennung auf Zustandsautomaten mit Symbolic Execution und SMT-Solver.

Zum Blog
Andreas Mülder Andreas Mülder 9 Min. Lesezeit
itemis SECURE Lifecycle Integrations – Whitepaper
Whitepaper Cyber Security

itemis SECURE Lifecycle Integrations

Ihre TARA ist ein Compliance-Dokument. Sie sollte das operative Gehirn Ihres CSMS sein. Dieses Whitepaper zeigt, wie ein Living Digital Thread statische Sicherheits-Artefakte in eine kontinuierliche, datengetriebene Lifecycle-Operation transformiert.

Whitepaper herunterladen
Englisch
Cohesion Without Disruption – Whitepaper
Whitepaper Functional Safety

Cohesion Without Disruption

Wie führende OEMs und Tier-1-Zulieferer Functional Safety und Cyber Security enterprise-weit vereinen — ohne Disruption der bewährten Engineering-Umgebungen.

Whitepaper herunterladen
Englisch
Der 7-Schritte-Leitfaden zum EU Cyber Resilience Act (CRA)
Blog Cyber Resilience Act

Der 7-Schritte-Leitfaden zum EU Cyber Resilience Act (CRA)

Ist Ihr Produkt ab Dezember 2027 noch legal in Europa verkäuflich? Dieser Leitfaden zeigt in 7 Schritten, wie Hersteller die CRA-Compliance strukturiert angehen und den EU-Marktzugang sichern.

Zum Blog
Dirk Leopold Dirk Leopold 5 Min. Lesezeit
itemis SECURE Goes Cloud
Webinar Cyber Security

itemis SECURE Goes Cloud

itemis SECURE ist jetzt als Web-Version verfügbar – arbeiten Sie gemeinsam und gleichzeitig an Cybersecurity-Projekten, von jedem Gerät aus.

Zum Webinar
Dirk Leopold Jens Bühl
Security by Design im Automotive-Entwicklungsprozess
Blog Cyber Security

Security by Design im Automotive-Entwicklungsprozess

Im Automotive-Bereich wird Security immer wichtiger – insbesondere für die neuen Generationen vernetzter, (teil-)autonomer Fahrzeuge. Erfahren Sie, wie ein sicheres Systemdesign entsteht und welche zusätzlichen Security-Herausforderungen auftreten können.

Zum Blog
Dirk Leopold Dirk Leopold 8 Min. Lesezeit
Zustandsautomaten-Origami
Blog Custom Tool Development

Zustandsautomaten-Origami

Wie Franca IDL und itemis CREATE integriert werden können, um Embedded-Softwarekomponenten bereits während der Entwicklung interaktiv gegen Interface-Verträge zu validieren.

Zum Blog
Dr. Klaus Birken Dr. Klaus Birken 8 Min. Lesezeit
SCXML auf das nächste Level bringen
Blog Model-Driven Software Development

SCXML auf das nächste Level bringen

Wie itemis CREATE Higher-Level-Modellierung, Simulation und Unit-Tests auf dem SCXML-Standard aufbaut.

Zum Blog
Andreas Mülder Andreas Mülder 5 Min. Lesezeit
MSP430 mit Zustandsautomaten programmieren in 5 Minuten
Blog Model-Driven Software Development

MSP430 mit Zustandsautomaten programmieren in 5 Minuten

So programmierst du einen MSP430-Mikrocontroller mit Zustandsautomaten und itemis CREATE, vollständig integriert in Code Composer Studio – mit automatischer Code-Generierung und grafischem Editor.

Zum Blog
Robin Herrmann Robin Herrmann 3 Min. Lesezeit
Traceability für itemis CREATE sicherstellen
Blog Model-Driven Software Development

Traceability für itemis CREATE sicherstellen

So stellst du Traceability für deine itemis-CREATE-Statechart-Modelle sicher – mit Werkzeugunterstützung, die über manuelle Trace-Links hinaus skaliert.

Zum Blog
Andreas Mülder Andreas Mülder 4 Min. Lesezeit
Modellieren mit Zustandsautomaten – Teil 2
Blog Model-Driven Software Development

Modellieren mit Zustandsautomaten – Teil 2

Im zweiten Teil der Serie klären wir weitere Faktoren, die auf das Modellieren mit Zustandsautomaten Einfluss haben: zeitgesteuerte Transitionen, Orthogonalität und Subdiagramme.

Zum Blog
Rainer Klute Rainer Klute 8 Min. Lesezeit
Modellieren mit Zustandsautomaten – Teil 1
Blog Model-Driven Software Development

Modellieren mit Zustandsautomaten – Teil 1

Wie funktionieren Zustandsautomaten und warum sollte man sie einsetzen? Dieser Beitrag schildert die Modellierung eines endlichen Automaten am Beispiel einer Jalousiesteuerung.

Zum Blog
Rainer Klute Rainer Klute 6 Min. Lesezeit