Intensiv: Ada/SPARK Bootcamp (komprimiert, deckt alle Themen an)
Agenda (5 Tage)
Ada Grundlagen + Tooling
- Syntax, Typen, Packages, Fehlerbehandlung
- Projektstruktur, Build-Varianten, IDE-Workflow
- Lab: Mini-Komponente in Teamstruktur
Ada Advanced Essentials
- Generics und Wiederverwendung
- Tagged Types und Polymorphie
- Container-Entscheidung und Performance-Basis
- Lab: Bibliothek + API-Designreview
Concurrency/Real-Time + Embedded Essentials
- Tasking, Protected Objects, Timing
- Ravenscar-Grundmuster
- Memory Mapping, Volatile/Atomic, Interrupts (konzeptionell + Lab)
- Lab: periodischer Service + IO-Schicht
Qualität, Interop, Architektur
- Testbares Design, Unit-Tests, Coverage-Denken
- ABI/Bindings, Wrapper-Patterns, Migrationspfad
- Architektur: Modulgrenzen, Fehlermodelle, Patterns
- Lab: Adapter-Schicht + Tests + Architektur-Refactoring
SPARK + Safety/Security
- Contracts, Flow Analysis, Proof-Workflow
- Invarianten/Strategien im Überblick
- Nachweisartefakte, Traceability-Blueprint
- Security-Baseline und Review-Gates
- Lab: Kernfunktion verifizieren + Mini-Assurance-Paket
Fachbereichsleiter / Leiter der Trainer / Ihre Ansprechpartner
-

Lucas Beich
Telefon: + 49 (221) 74740055
E-Mail: lucas.beich@seminar-experts.de -

Paul Goldschmidt
Telefon: + 49 (221) 74740055
E-Mail: paul.goldschmidt@seminar-experts.de
Seminardetails
| Dauer: | 5 Tage ca. 6 h/Tag, Beginn 1. Tag: 10:00 Uhr, weitere Tage 09:00 Uhr |
| Preis: |
Öffentlich oder Live Stream: € 2.995 zzgl. MwSt. Inhaus: € 8.500 zzgl. MwSt. |
| Teilnehmeranzahl: | min. 2 - max. 8 |
| Teilnehmer: | Neue Ada/SPARK-Teams, Projektstarts, Modernisierungsvorhaben, Safety/Security-Projekte |
| Vorausetzungen: | Allgemeine Programmiererfahrung |
| Standorte: | Stream Live, Inhaus/Firmenseminar, Berlin, Bremen, Darmstadt, Dresden, Erfurt, Essen, Flensburg, Frankfurt, Freiburg, Friedrichshafen, Hamburg, Hamm, Hannover, Jena, Kassel, Köln, Konstanz, Leipzig, Luxemburg, Magdeburg, Mainz, München, Münster, Nürnberg, Paderborn, Potsdam, Regensburg, Rostock, Stuttgart, Trier, Ulm, Wuppertal, Würzburg |
| Methoden: | Vortrag, Demonstrationen, praktische Übungen am System |
| Seminararten: | Öffentlich, Webinar, Inhaus, Workshop - Alle Seminare mit Trainer vor Ort, Webinar nur wenn ausdrücklich gewünscht |
| Durchführungsgarantie: | ja, ab 2 Teilnehmern |
| Sprache: | Deutsch - bei Firmenseminaren ist auch Englisch möglich |
| Seminarunterlage: | Dokumentation auf Datenträger oder als Download |
| Teilnahmezertifikat: | ja, selbstverständlich |
| Verpflegung: | Kalt- / Warmgetränke, Mittagessen (wahlweise vegetarisch) |
| Support: | 3 Anrufe im Seminarpreis enthalten |
| Barrierefreier Zugang: | an den meisten Standorten verfügbar |
| Weitere Informationen unter + 49 (221) 74740055 |
Seminartermine
Die Ergebnissliste kann durch Anklicken der Überschrift neu sortiert werden.
