BSSE. Innovation & Fortschrittliche Software-Technologie Fähigkeiten & Dienstleistungen

Größe: px

Ab Seite anzeigen:

Download "BSSE. Innovation & Fortschrittliche Software-Technologie Fähigkeiten & Dienstleistungen"

Angela Hafner
vor 8 Jahren
Abrufe

1 BSSE Bessere + Sichere Software Effizient Erzeugen Innovation & Fortschrittliche Software-Technologie Fähigkeiten & Dienstleistungen Dr. Rainer Gerlich Auf dem Ruhbühl 181, D Immenstaad, Germany +49 (0) (0) (0) info@bsse.biz Dr. Rainer Gerlich, 2010 All Rights Reserved BSSE-Profile Galileo-Tag Bonn 1

Rainer Gerlich Auf dem Ruhbühl 181, D-88090 Immenstaad, Germany +49 (0) 7545 911258 +49

2 Einsparungspotenzial Feedback von operativen Projekten Kosten in M für die Generierung von 245 KLOC Größenordnungen schneller! 2 0,08 1 Mann-Jahr = 1600 Mann-Stunden = 150 K 1 Größenordnung schneller! manuell 1 LOC/h manuell 10 LOC/h automatisch ISG Da dieselbe Arbeit wegen fehlenden Budgets nicht manuell wiederholt werden konnte, basieren die Zahlen für den manuellen Fall auf Erfahrungswerten. TF = Testfall Fkt = Funktion LOC = Line Of Code ISG = Instantaneous System and Sofware Generation BSSE Werkzeug zur vollautomatischen Erzeugung von Echtzeitsystemen Dr. Rainer Gerlich, 2010 All Rights Reserved BSSE-Profile Galileo-Tag Bonn 2

manuell 1 LOC/h manuell 10 LOC/h automatisch ISG Da dieselbe Arbeit wegen fehlenden Budgets nicht manuell wiederholt werden konnte, basieren die Zahlen für den

3 BSSE-Technologie auf Knopfdruck Spezifikation Flexibilität! int casedemo(_in_ TyMyEnum myenum) { int ret; switch (myenum) { case enum1: ret=1+(int)myenum; break; case enum2: ret=2+(int)myenum; break; case enum3: ret=3+(int)myenum; break; case enum4: ret=4+(int)myenum; break; default: ret=5; } } return ret; Quellcode Dr. Rainer Gerlich, 2010 All Rights Reserved BSSE-Profile Galileo-Tag Bonn 3

case enum2: ret=2+(int)myenum; break; case enum3: ret=3+(int)myenum; break; case enum4:

4 Qualität vs. Produktivität Prototypen, Simulation, einfache Software minimale Standards und Dokumentation Fehlerrate pro 1000 LOC typisch 10 Produktivität LOC pro Mann-h technische Software normale Standards und Dokumentation 1 1 kritische Software maximale Standards und Dokumentation vollautomatische Softwareerzeugung BSSE, Test, V&V, Auto-Dokumentation keine Unterscheidung nach Kategorien ,000-1,000,000 PC-h ohne Spezifikation, Architektur und Validierung Dr. Rainer Gerlich, 2010 All Rights Reserved BSSE-Profile Galileo-Tag Bonn 4

LOC pro Mann-h 10-100 technische Software normale Standards und Dokumentation 1 1 kritische Software maximale Standards und Dokumentation 0.0 0.

5 Automatische Erzeugung einer verteilten Datenbank speicherresident (MSL, 2000) Name of Signal Data Type Input Range Physical Range Acqui. Rate HW Module Calibration Type CFDdrive_pot REAL V mm 100 ASM F1 FctASM1_Std CFDrot_pot1 REAL V ASM F1 FctASM1_Std CFDrot_pot2 REAL V ASM F1 FctASM1_Std CF_reg_v_pot REAL V ASM F1 FctASM1_Std GS_press_low REAL V 0-2 bar abs. 10 ASM F1 FctASM1_Std CFVpenn_chamb REAL V 1.e mbar 1 ASM F1 FctASM1_Pressure VGSpenning_ms REAL V 1.e mbar 1 ASM F1 FctASM1_Pressure Abdeckung folgender Aktivitäten: TC mit Verteilung innerhalb Netzwerk Kette Erfassung bis Telemetrie-Frames inkl. Calibration, Monitoring, gen. FDIR, DB Dr. Rainer Gerlich, 2010 All Rights Reserved BSSE-Profile Galileo-Tag Bonn 5

CF_reg_v_pot REAL32 0-10V 0-270 10 ASM F1 FctASM1_Std GS_press_low REAL32 0-10 V 0-2 bar abs. 10 ASM F1 FctASM1_Std CFVpenn_chamb REAL32 0-10 V 1.

6 Historie MBSE: Model-Based Software Engineering ATV: Automated Transfer Vehicle ESA Material Shuttle zur ISS Nov ISG erfolgreich an Bord der ISS Erfahrungen bei Dornier Raumfahrt 2005 Konfidenztest ATV Cat. A + Cat. C Dr. Rainer Gerlich, 2010 All Rights Reserved BSSE-Profile Galileo-Tag Bonn 6

2009 ISG erfolgreich an Bord der ISS Erfahrungen bei Dornier Raumfahrt 2005

8 BSSE Kompetenzen im Software Lifecycle Systemanalyse Systematisches RE, V&V, Kritikalitätsund Risikoanalyse Systemarchitektur Architekturevaluation, Simulation, V&V Systementwurf Simulation, V&V Innovative Technologie Automation Niedrigere Kosten Mehr Effizienz Mehr Qualität Kürzere T2M Qualitätsanalysen Automatische, unabhängige Analysen Integrations-Tests Abnahme, Nutzung Automatischer modellbasierter Test, Wartung und Anpassung mit MDD System-Integration Automatische Software- Integration Automatischer modellbasierter Test Softwarearchitektur Architekturevaluation, Simulation, V&V, MDD Softwareentwurf Unit-Tests Automatische Codeerzeugung Automatischer Unit-Test, Schwachstellenanalyse Technisches Vertragsmanagement, Projektmanagement, Prozessanalyse, vollautomatische Softwareentwicklungsprozesse Dr. Rainer Gerlich, 2010 All Rights Reserved BSSE-Profile Galileo-Tag Bonn 8

modellbasierter Test, Wartung und Anpassung mit MDD System-Integration Automatische Software- Integration Automatischer modellbasierter Test Softwarearchitektur Architekturevaluation, Simulation,

Ähnliche Dokumente

AGILES Software Engineering in der COUNT IT. Testautomatisierung in der agilen Softwareentwicklung

AGILES Software Engineering in der COUNT IT Testautomatisierung in der agilen Softwareentwicklung Agiles Manifest Grundsätze Individuen und Interaktionen mehr als Prozesse und Werkzeuge Funktionierende