Intensiv: Ada/SPARK Intensivausbildung (vertieft, deckt alle Themen ab)
Agenda (5 Tage)
Ada Grundlagen + Toolchain (inkl. Teamkonventionen, Buildvarianten, Debugging)
Ada Advanced (Generics tief, OOP, Container, Repräsentation, Performance)
Concurrency/Real-Time + Ravenscar + Embedded (Interrupt- und IO-Design)
Testing/Qualität, Interop/Migration, Architektur (Refactoring und Gate-Design)
SPARK Proofs (inkl. Invarianten/Strategie) + Safety/Security-Artefakte (auditfähige Struktur)
Step-by-step-Projektpfad
- Zielarchitektur skizzieren (Schichten, Module, Datenflüsse).
- Ada-Module als stabile APIs definieren (Spec-first).
- Generische Kernbibliothek implementieren und instanziieren.
- OOP-Fassade für Erweiterbarkeit aufsetzen.
- Concurrency-Design implementieren (Protected Objects als State Gate).
- Embedded-Schicht integrieren (Memory Mapping, Interrupt-Handover).
- Test- und Coverage-Strategie implementieren, Quality Gates verankern.
- Interop-Schnittstelle als Adapter kapseln, ABI-Risiken minimieren.
- SPARK-Kernmodule abgrenzen, Contracts und Invarianten entwickeln.
- Proof-Strategien stabilisieren (Regression-Proof als Standard).
- Safety/Security-Artefakte konsolidieren (Traceability, Baselines, Reviewregeln).
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: | Langfristige Kompetenzaufbauprogramme, sicherheitskritische Produktteams, Plattformteams |
| Vorausetzungen: | Programmiererfahrung. Ada-Vorkenntnisse nicht erforderlich, aber hilfreich |
| 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.
