Durchgängige Absicherung und lückenlose Traceability für Cybersecurity, Functional Safety und den Cyber Resilience Act
Zur Übersichtsseite
Methodische Exzellenz und maßgeschneiderte Werkzeuge für die modellbasierte System- und Softwareentwicklung.
Zur Übersichtsseite
Enterprise-Software aus einer Hand: AI-Integration, Legacy-Migration und Full-Stack-Entwicklung — kosteneffizient und souverän gehostet.
Zur Übersichtsseite
Modellgetriebene Softwareentwicklung (MDSD): Artikel zu Codegenerierung, Zustandsautomaten, DSLs und Modellierungswerkzeugen aus über 20 Jahren Praxis.
Format
Ein ehrlicher, detaillierter Vergleich der drei führenden Statechart-Werkzeuge — MathWorks Stateflow, IBM Rhapsody und itemis CREATE — mit Funktionsvergleich, Preisen und Empfehlungen.
Zum Blog
Axel Terfloth
6 Min. Lesezeit
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
9 Min. Lesezeit
Entdecken Sie, wie itemis CREATE in der Cloud schnelle Zustandsautomaten-Entwicklung mit KI-Unterstützung und Git-Integration ermöglicht.
Zum Webinar
Entdecken Sie, wie itemis CREATE die Entwicklung und das Testen von Zustandsautomaten in eingebetteten Systemen revolutioniert – am Praxisbeispiel Turn Signal Control.
Zum Webinar
Axel Terfloth
Teil 2 beleuchtet domänenspezifische Sprachen, Language Workbenches wie Xtext und MPS sowie die Rolle des Language Engineers in der Softwareentwicklung.
Zum Blog
Dirk Leopold
8 Min. Lesezeit
Was sind Modelle, Abstraktionen und Metamodelle? Mit LEGO® als Analogie erklärt dieser Artikel die Grundlagen der Modellierung und des Language Engineerings.
Zum Blog
Dirk Leopold
6 Min. Lesezeit
Wie itemis CREATE Higher-Level-Modellierung, Simulation und Unit-Tests auf dem SCXML-Standard aufbaut.
Zum Blog
Andreas Mülder
5 Min. Lesezeit
Wie sich Test-Driven Development auf die modellgetriebene Softwareentwicklung anwenden lässt – am Beispiel von SCTUnit, dem Unit-Testing-Framework von itemis CREATE.
Zum Blog
Axel Terfloth
5 Min. Lesezeit
Zustandsautomaten lassen sich nicht nur modellieren. Im fünften Teil stellen wir als Implementierungsvariante das State-Pattern vor.
Zum Blog
Rainer Klute
10 Min. Lesezeit
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
3 Min. Lesezeit
Zustandsautomaten lassen sich modellieren – aber wie lassen sie sich eigentlich realisieren? Zum Beispiel mit Hilfe von Zustandstabellen.
Zum Blog
Rainer Klute
8 Min. Lesezeit
Wie wird aus modellierten Zustandsautomaten eigentlich Programmcode? Zum Beispiel mit Hilfe einer Switch-Anweisung! Wir zeigen, wie die Implementierung funktioniert.
Zum Blog
Rainer Klute
5 Min. Lesezeit
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
4 Min. Lesezeit
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
8 Min. Lesezeit
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
6 Min. Lesezeit
Wie man Entry Points, Exit Points und Final States beim Modellieren von Zustandsautomaten mit itemis CREATE einsetzt.
Zum Blog
Axel Terfloth
4 Min. Lesezeit