Modellbasiertes + handgeschriebenes C/C++ für sicherheitskritische ECUs.
Unser Gründer führte 2001 bei Siemens-VDO die modellbasierte Entwicklung ein und baute später eine kommerzielle Formal-Methods-Verifikations-Toolchain mit auf. Modellbasiertes Systems Engineering in SysML und UML, mit IBM Rhapsody (Harmony-Methode) und Sparx Enterprise Architect, verknüpft Anforderungen mit ausführbarer Architektur. Heute liefert STS MISRA-konforme, AUTOSAR-konforme Embedded-Software mit den V&V-Nachweisen, die für ASPICE CL2 / CL3 und ISO 26262 ASIL-D erforderlich sind.
Was wir abdecken
Anforderungen & Architektur (ASPICE SYS.2, SWE.1, SWE.2)
- Systemanforderungsanalyse & Architekturentwurf (SYS.2 / SYS.3).
- Software-Anforderungsanalyse (SWE.1), Verfeinerung aus den Systemanforderungen, Formalisierung, Nachverfolgbarkeit.
- Software-Architekturentwurf (SWE.2), statische + dynamische Sichten, Schnittstellenspezifikationen, Dimensionierung technischer Ressourcen.
Implementierung (SWE.3, modellbasiert + handgeschrieben)
- Modellbasierte Entwicklung in Simulink / Stateflow / TargetLink, autocodiert mit voller Nachverfolgbarkeit zur Architektur.
- Handgeschriebenes C / C++ für hardwarenahe Anteile, AUTOSAR-BSW, komplexe Gerätetreiber, Secure-Boot- & Bootloader-Code.
- MISRA C:2012 / MISRA C++:2008-Konformität mit dokumentierten Abweichungsbegründungen. Statische Analyse via Polyspace, LDRA, Cppcheck.
- AUTOSAR-Classic-Konfiguration (RTE, BSW-Konfig) und AUTOSAR Adaptive (POSIX-basiert, serviceorientiert).
Verifikation (SWE.4, SWE.5, SWE.6)
- SWE.4 Unit-Testformale Verifikation, Coverage auf Modell- + Code-Ebene, automatisches Back-to-Back-Testing.
- SWE.5 IntegrationstestIntegration der Software-Units; HIL-/SIL-/MIL-Prüfstände.
- SWE.6 QualifizierungstestBlack-Box-Validierung gegen die Software-Anforderungen; ASIL-abgestufte strukturelle Coverage-Ziele.
- Tool-Qualifizierungsnachweise gemäß ISO 26262-8 §11 für jedes Tool, das wir auf sicherheitsrelevante Arbeitsprodukte anwenden.
Systemintegration & Test auf Fahrzeugebene
- HIL-Integration auf dSPACE-SCALEXIO-Racks (wir betreiben einen eigenen Prüfstand in Brașov für Entwicklungssupport).
- Vector-CANoe-Szenarien für Integrationstests auf Bus-Ebene & Validierung von Diagnoseprotokollen.
- ASAM-MDF-Messdatenanalyse für HIL-Prüfstandsaufzeichnungen & Fahrzeugtestergebnisse.
Diagnoseservices (UDS)
ISO-14229-UDS-Implementierung für sicherheitsrelevante Steuergeräte, Service-Katalog, Security Access, Routine Control, Datentransfer für OTA, Kalibrierungszugriff. STS India und ein dedizierter UDS-Lieferpartner geben uns anhaltende Diagnosekapazität.