IBM i Modernisierung
Migrieren Sie von IBM i.
Mit dem Beweis, dass nichts bricht.
Constat schreibt Ihr RPG und COBOL als sicheres Rust neu, überführt DB2 nach PostgreSQL und löst die Middleware, von der Ihre Programme abhängen. Danach beweist Constat, Programm für Programm, dass das neue System dasselbe Geschäftsergebnis liefert wie das alte, mit Ihren eigenen Eingaben. Kein Big-Bang-Umstieg. Nichts wird stillschweigend verworfen. Kein Anbieter-Lock-in. Es läuft vollständig auf Ihrer eigenen Infrastruktur, Ihr Code und Ihre Daten bleiben also bei Ihnen.
-
Äquivalenz je Programm
Alt und Neu laufen auf denselben Eingaben, Ergebnisse prüfen Sie selbst nach
-
Der gesamte IBM i Bestand
RPG, COBOL, DB2, Middleware, Abhängigkeiten
-
Verifizierte Engine
Codegenerierung, abgesichert durch maschinengeprüfte Beweise (Lean 4, Z3, CVC5)
-
Menschen und Agenten
ein CLI für Entwickler, MCP-Tools für KI-Agenten
-
Kein Big-Bang
Alt und Neu laufen parallel, bis Sie vertrauen
Der Beweis, in Zahlen
- 33,784
- maschinengeprüfte Theoreme0 sorry · 4 benannte Axiome
- 53
- Programme run-on-both versiegeltgegen laufendes IBM i V7R5
- 44
- öffentliche NIST-Programme Byte-genauauf echtem IBM i, nachschlagbar
- 50/50
- Workspaces mit Audit COHERENTnachprüfbar
Warum jetzt
Ihr IBM i funktioniert. Genau das ist das Risiko.
Weil es läuft, schafft es nie auf die Roadmap dieses Quartals. Unterdessen ticken drei Uhren.
- 01
Die Experten gehen in Rente
Die Menschen, die Ihr RPG und COBOL verstehen, verlassen das Unternehmen. Jedes Jahr wird der Code schwerer zu ändern und fehleranfälliger.
- 02
Die Kosten steigen weiter
Proprietäre Hardware. Proprietäre Datenbank. Lizenzierung pro Kern. Sie zahlen jedes Jahr mehr, nur um auf der Stelle zu treten, und die Migration, die Sie weiter aufschieben, wird nur größer.
- 03
Die Logik ist unersetzlich
Jahrzehnte an Geschäftsregeln existieren nur in diesem Code. Verlieren Sie sie bei einer Neuentwicklung, merken Sie es in der Produktion, in einem Audit oder vor Gericht.
Warten Sie nicht, bis ein Ausfall den Wechsel erzwingt.
Planen Sie den Umstieg, solange Sie die Kontrolle haben.
Der gesamte Bestand
Der komplette Stack zieht um, oder das Lock-in bleibt.
Ein Konverter, der nur den Quellcode anfasst, lässt Sie auf derselben Datenbank, derselben Middleware, derselben Plattform sitzen. Constat nimmt jede Schicht mit und kennzeichnet jede mit der Zusicherung, die dahintersteht.
- 01 RPG, COBOL nach Rust
Ihr Code
RPG und COBOL werden zu speichersicherem Rust, ohne unsafe-Code in Ihrer Geschäftslogik. Lesbar, testbar und Ihres zum Neukompilieren, sodass es sich in einen modernen Stack einfügt.
Rust speichersicher Ihres - 02 DB2 nach PostgreSQL
Ihre Daten
BEWIESENDB2 for i wandert nach PostgreSQL, Schema und Verhalten bleiben erhalten. Diese Spur testen wir am härtesten.
PostgreSQL Schema erhalten Verhalten geprüft - 03 CL, MQ, 5250 entkoppelt
Ihre Middleware
Job-Steuerung, Nachrichtenwarteschlangen und Grünschirme werden von der Plattform gelöst statt mitgeschleppt.
entkoppelt ersetzbar unabhängig - 04 Kein Vendor-Lock-in
Ihre Abhängigkeiten
OFFENDas Lock-in geht mit der Migration. Sie behalten offenes Rust und offenes PostgreSQL, auf Ihrer eigenen Infrastruktur.
offener Stack eigene Infra kein Lock-in
Was wir lesen
Ihr ganzer Quellbaum, nicht nur die leichten Dateien
Eine Pipeline nimmt die Sprachen, in denen ein IBM i Bestand wirklich geschrieben ist. Jede Spur wird nach ihren eigenen Regeln behandelt und trägt ihr eigenes Reifegrad-Label, nie eine pauschale Zusage.
Bewiesen, nicht versprochen
Wir bitten Sie nicht, uns zu glauben. Wir zeigen es.
Zu beweisen, dass sich eine Neuentwicklung wie das Original verhält, ist schwer, und die meisten Modernisierungswerkzeuge versuchen es gar nicht. Constat lässt Ihr Programm auf echtem IBM i und das Rust mit denselben Eingaben laufen und übergibt Ihnen den Byte-für-Byte-Vergleich zum Selbstnachprüfen.
Warum Rust
Ein Ziel, dem Sie auch in zwanzig Jahren noch trauen
Von einer Legacy-Plattform auf die nächste zu wechseln bringt Ihnen nichts. Rust wählen wir aus Gründen, die die Migration überdauern.
Speichersicher, ohne Garbage Collector
Der Compiler schließt ganze Fehlerklassen aus: Buffer Overflows, Use-after-free, Null-Pointer-Fehler. Es gibt keinen Garbage Collector, also keine Pausen in Ihrem Batch-Fenster.
Verlässlich zur Compile-Zeit
Der Compiler schließt Data Races und ungültige Speicherzugriffe aus, bevor der Code läuft. Was früher ein Produktionsvorfall um 3 Uhr nachts war, wird zu einem Build-Fehler auf Ihrem Bildschirm.
Keine Laufzeitumgebung, kein Lock-in
Rust kompiliert zu einem nativen Binary. Keine JVM zu lizenzieren oder zu tunen, keine proprietäre Laufzeit. Es läuft auf Ihrer Hardware, in Ihrer Cloud, wo immer Sie entscheiden.
Fachkräfte, die Sie einstellen können
COBOL- und RPG-Wissen geht in Rente. Rust gehört zu den gefragtesten Sprachen, mit einem wachsenden Pool an Entwicklern, die damit arbeiten wollen.
Speichersicherheit ist heute Pflicht
Branchenanalysen von Microsoft, Google und CISA führen rund 70 % der schweren Sicherheitslücken auf Speichersicherheitsfehler zurück. Rust beseitigt sie konstruktionsbedingt, weshalb nationale Sicherheitsbehörden heute speichersichere Sprachen empfehlen.
Warum nicht Java
Das übliche COBOL-Ziel tauscht eine Laufzeit gegen die nächste: eine JVM zum Lizenzieren und Tunen und Garbage-Collection-Pausen, die Ihr Batch-Fenster spürt. Rust bringt beides nicht mit.
Der Vergleich
Die Alternativen, ohne Marketing
Jeder Weg weg von IBM i hat einen Haken. Hier steht jeder einzelne, ohne Schönfärberei.
| Constat | Neu von Hand | Lift and shift | |
|---|---|---|---|
| Verhaltensäquivalenz, nachprüfbar | Vorteil. beide laufen, Byte für Byte | Einschränkung. Tests, wenn Sie ihnen trauen | Bedingt. gleicher Code, nichts gewonnen |
| Weg von IBM i, keine proprietäre Laufzeit | Vorteil. native Rust-Binärdatei | Vorteil. wenn Sie es zu Ende bringen | Einschränkung. die Laufzeit kommt mit |
| Datenbank modernisiert (DB2 zu PostgreSQL) | Vorteil. die am härtesten geprüfte Spur | Bedingt. von Hand, getrennt | Einschränkung. DB2 bleibt |
| Ausgabe sicher und wartbar | Vorteil. speichersicheres Rust | Bedingt. hängt vom Team ab | Einschränkung. derselbe Altcode |
| Nachweise, die Sie prüfen können | Vorteil. Beweise und ein Dossier | Einschränkung. keine | Einschränkung. keine |
So funktioniert es
Vom Quellcode zu sicherem Rust, in einer Pipeline
Eine Pipeline verwandelt Ihre IBM i Quellen in einen Rust-Workspace, der sich baut und läuft. Die Arithmetik, die Sortierung, die Satzstrukturen: exakt reproduziert, nicht angenähert.
Gebaut für Ihre heutige Arbeitsweise
Ihre Entwickler steuern es. Ihre Agenten auch.
Constat ist ein Werkzeug, kein Blackbox-Dienst. Entwickler führen es über die Kommandozeile aus. KI-Agenten rufen dieselbe Engine über MCP-Tools (Model Context Protocol) auf, um zu transpilieren, zu prüfen und zu verifizieren. Dieselbe Engine, dieselben Garantien, in beiden Händen.
Ein CLI, das Ihrem Team gehört
Ein Befehl hinein, ein Rust-Workspace und seine Nachweise heraus. Skriptbar, prüfbar und Ihres, auf Ihren eigenen Maschinen.
$ axiom transpile payroll.rpgle --audit→ verify ok · audit COHERENTMCP-Tools, dieselbe Engine
Ein Agent wendet denselben verifizierten Prozess auf Hunderte von Programmen an, genau das, was eine Migration im Bestandsmaßstab wirklich braucht. Dieselben Beweise halten auf jedem Schritt.
mcp__axiom__transpile(src, audit=true)→ { verdict: "COHERENT", rc: 0 }Klartext
Der Fachjargon, erklärt
Kein Geheimwörterbuch nötig. Fahren Sie über einen Begriff oder tippen Sie ihn an, um ihn in Klartext zu sehen.
Fragen
Die harten Fragen, klar beantwortet.
Muss ich darauf vertrauen, dass das Ergebnis korrekt ist?
Nein. Wir führen Ihr Originalprogramm auf einer echten IBM i aus und das modernisierte Rust mit denselben Eingaben, dann vergleichen wir den Geschäftszustand Byte für Byte. Der Nachweis liegt jedem Programm bei, und ein einziger Befehl prüft alles noch einmal von Anfang bis Ende. Sie überprüfen das Ergebnis; Sie müssen uns nichts glauben.
Was ist mit Programmen, die Sie noch nicht auf beiden Systemen ausgeführt haben?
Die Äquivalenzaussage gilt pro Programm, für jedes, das wir auf dem originalen IBM i und dem modernen Rust ausführen. Den Rest transpiliert die Pipeline ebenfalls und die verifizierte Engine gilt weiter, aber wir nennen ein Programm erst dann äquivalent, wenn es auf echter Hardware gegen seinen modernen Zwilling verglichen wurde. Wir sagen Ihnen genau, welches Programm auf welcher Stufe steht, und ein ungeprüftes Programm fließt nie in eine Schlagzeilen-Zahl ein. Sie erweitern die geprüfte Menge Programm für Programm, in Ihrem Tempo.
Welche Sprachen und Dateien liest Constat?
ILE COBOL, RPG IV im festen und im freien Format, eingebettetes SQL, DDS und CL. COBOL auf IBM i ist die am gründlichsten geprüfte Spur; RPG ist eine funktionierende und schnell wachsende Front. Wenn Sie unsicher sind, ob Ihr Bestand passt, schicken Sie uns ein Programm, und wir sagen es Ihnen klar.
Was passiert mit meiner DB2-Datenbank?
Sie wandert nach PostgreSQL, mit Schema und definiertem, erhaltenem Verhalten, und das ist die Spur, die wir am härtesten testen. Nachrichtenwarteschlangen, Jobsteuerung und Grünschirme sind Modernisierungsziele, die wir in jedem Projekt einzeln validieren. Wir kennzeichnen sie als Ziel, nie als bewiesen.
Wird sich das modernisierte System anders verhalten?
Genau das wollten wir ausschließen. Bei denselben Eingaben muss das Rust denselben Geschäftszustand erzeugen wie Ihr Programm auf einer echten IBM i, bis zur letzten Stelle der Dezimalarithmetik und der Sortierung jedes Feldes. Weicht ein einziges Byte ab, sehen wir es vor Ihnen.
Ist das eine Big-Bang-Umstellung?
Nein. Sie beginnen mit einem Programm, erhalten seinen Nachweis und beurteilen ihn, bevor Sie sich zu mehr verpflichten. Alt und neu laufen nebeneinander, Programm für Programm, in dem Tempo, das Sie vorgeben. Es gibt keinen Knopf für den gesamten Bestand, und wir würden einem solchen auch nicht trauen.
Ist das Rust etwas, das mein Team wirklich besitzen kann?
Ja. Es ist lesbares, speichersicheres Rust ohne unsafe-Code in Ihrer Geschäftslogik, auf einer Laufzeit, die Sie selbst kompilieren. Es baut zu einer nativen Binärdatei, ohne proprietäre Laufzeit zur Lizenzierung, auf Ihrer eigenen Infrastruktur. Sie tauschen das IBM i Lock-in gegen Rust, das Ihr Team besitzt und neu kompiliert.
Start
Bringen Sie uns ein Programm.
Wählen Sie ein echtes Programm aus Ihrem Bestand. Wir modernisieren es, weisen die Äquivalenz nach und übergeben Ihnen die Nachweise. Sie beurteilen das Ergebnis, bevor Sie sich auf etwas Größeres festlegen.
Vielen Dank. Wir melden uns in Kürze.