EINFÜHRUNG IN DIE MODELLBASIERTE ENTWICKLUNG UND QUALITÄTSSICHERUNG EINGEBETTETER SOFTWARE FEBRUAR 2017

Transkript

1 EINFÜHRUNG IN DIE MODELLBASIERTE ENTWICKLUNG UND QUALITÄTSSICHERUNG EINGEBETTETER SOFTWARE FEBRUAR 2017 Highlights Modellbasierte Entwicklung mit Simulink und Stateflow Entwicklung sicherheitsrelevanter Software nach ISO Codegenerierung aus Simulink- Modellen (mit TargetLink) Analyse und Bewertung der Modellqualität Modell-Architekturen Modellierungsrichtlinien Modelltest und Testimplementierungstechniken Hintergrund Die 3-tägige Schulung vermittelt Ihnen umfassend, wie eingebettete Software mit Simulink und Stateflow im Rahmen von Serienprojekten erfolgreich erstellt und abgesichert wird. Schritt für Schritt führt Sie der Workshop durch das Design und die Erstellung des Simulationsmodells in Simulink und Stateflow bis hin zur Codegenerierung des Seriencodes (mit TargetLink ). Für die Qualitätssicherung des Modells überprüfen wir die Modell- und Software-Architektur, die Einhaltung von Modellierungsrichtlinien sowie die Korrektheit gegenüber den Anforderungen im Modelltest. Die effiziente anforderungsbasierte Testspezifikation wird für die erstellten Modelle durchgeführt und im MiL und SiL Test angewendet. Durch die Auswertung im Regressions- und Back-2-Back-Test wird die funktionale Korrektheit geprüft. Alle Schritte lernen Sie in praktischen Übungen selbst anzuwenden. Zielgruppe Die Schulung richtet sich an Modellierer, Entwickler, Tester, Qualitätsmanager, Projektleiter und Teamleiter, in deren Fokus die modellbasierte Entwicklung eingebetteter Software auf Basis von MATLAB / Simulink für Serienprojekte steht. SEITE 1 VON 7

2 Programm: Tag 1 9:00 Uhr Begrüßung und Vorstellung der Teilnehmer 9:30 Uhr Überblick: Modellbasierte Entwicklung und Qualitätssicherung mit Simulink Grundbegriffe der modellbasierten Entwicklung Überblick über Entwicklungs- und Absicherungsaktivitäten Randbedingungen für sicherheitsrelevante Systeme nach ISO :30 Uhr Modellierung eingebetteter Software in Simulink Simulink Modellierungsumgebung Aufbau und Struktur von Umgebungs- und Controller-Modellen Parametrierung von Simulink Modellen - Vorstellung der Anforderungen der Modelle - Erstellung Simulink-Modul 12:30 Uhr Mittagspause und offener Dialog 13:30 Uhr Modellierung eingebetteter Software mit Stateflow Einführung in das Konzept der Zustandsautomaten Kontrollstrukturen und Flowcharts Stateflow Design-Pattern - Erstellung Stateflow-Chart 16:00 Uhr Analyse und Bewertung der Modellqualität Analyse der Modellstruktur Einführung in Komplexitätsmetriken Berechnung der Modellkomplexität - Analyse der erstellten Modelle sowie weiterer Modelle ca. 17:00 Uhr Ende SEITE 2 VON 7

3 Programm: Tag 2 9:00 Uhr Die TargetLink Entwicklungsumgebung TargetLink Blockset Data Dictionary Datentypen, Klassen, Skalierung und Festkomma-Arithmetik Schnittstellen (Signale und Busse) TargetLink Funktionen Konvertierung der Beispielmodelle 10:30 Uhr Implementierung und Codegenerierung mit TargetLink - Anreicherung der Simulink/Stateflow Modelle mit Implementierungsinformationen - Codegenerierung - Codereview - Simulation Software-in-the-Loop (SiL) 12:00 Uhr Mittagspause und offener Dialog 13:00 Uhr Gewährleistung der Modellqualität mit Modellierungsrichtlinien Überblick über Modellierungsrichtlinien Modellierungsrichtlinien für die MISRA und ISO konforme Modellierung Automatische Prüfung von Modellierungsrichtlinien - Prüfung der Modelle auf Einhaltung Modellierungsrichtlinien 15:00 Uhr Gewährleistung der Modellqualität durch Modelltest Ziele, Workflow und Prozessschritte des Modelltests Testspezifikationsmethoden Testevaluierungsmethoden Testdokumentation Tracing der Anforderungen im Modelltest 16:00 Uhr Anforderungsbasierte Testfallerstellung Wie sind Testfälle aufgebaut? Welche typischen Grundelemente sind enthalten? Wie funktioniert die Äquivalenzklassenmethode und wobei hilft sie? Testsequenzerstellung mit der Klassifikationsbaummethode Parameter- und variantenabhängige Testspezifikationen ca. 17:00 Uhr Ende SEITE 3 VON 7

4 Programm: Tag 3 09:00 Uhr Systematische anforderungsbasierte Spezifikation von Testsequenzen Definition von Testgruppen und Testsequenzen mit MTCD Beschreibungsfunktionen in MTCD (Funktionen, synchron, asynchron) Parameterhandling mit MTCD Best Practices für Testspezifikationen - Vertiefung anhand praktischer Übungen - Gemeinsame Erstellung von Testspezifikationen - Ausführung der Testsequenzen - Nutzung von Parametern zur effizienten Variierung von Testsequenzen 11:00 Uhr Regressions- und Back-2-Back Vergleich Anwendungsbereiche (MiL vs. SiL vs. PiL, Modell-Sim vs. Messdaten) Kombination von Back-2-Back und Regressions-Test mit Testassessments Umwandlung von Outputsignalen in Referenzsignale - Automatische Testdurchführung für MiL/SiL/PiL - Durchführung und Dokumentation der Testevaluation im Report - Definition von Toleranzen (Amplitude und Zeit) 12:00 Uhr Mittagspause und offener Dialog 13:00 Uhr Modell- und Code-Coverage im Modelltest Model-Coverage für alle MiL-Testplattformen Code-Coverage - Erhöhung der Modell-/Code-Coverage durch strukturbasierte Testfälle - Interpretation und Auswertung der Coverage-Reporte 14:30 Uhr Ergebnis- und Fortschrittsübersichten Wie korrekt sind die Anforderungen im Testobjekt umgesetzt? Wie ist die Qualität der Testergebnisse? (Testkatalog, Testreport) Wann bin ich mit der Entwicklung/Qualitätssicherung fertig? - Wie sieht ein effizienter Workflow bei Lasten-/Pflichtenheft-Änderungen aus? - Anpassung von Testspezifikation und Testassessment nach Anforderungsänderung Gesamtüberblick zum Verlauf der Entwicklung und Projektqualität 16:00 Uhr Auswertung des Workshops ca. 17:00 Uhr Ende SEITE 4 VON 7

5 Über MES Die Model Engineering Solutions GmbH (MES) ist eine Softwareentwicklungs- und Beratungsfirma spezialisiert auf eingebettete Software. Zu unseren Kunden zählen große deutsche Automobilhersteller wie AUDI, Daimler und Volkswagen und Kunden aus der Automatisierungstechnik wie STIHL und Vaillant. Mit unseren Beratungsleistungen und marktführenden Software-Werkzeugen unterstützen wir unsere Kunden bei der Qualitätssicherung von Software. Eine unserer Schlüsselkompetenzen liegt in den speziell auf die Softwareentwicklung zugeschnittenen Schulungen. Die Inhalte unserer Schulungen basieren auf realen Beispielen aus Ihrem Arbeitsalltag und sind auf alle Hierarchiestufen zugeschnitten: vom Einsteiger über den erfahrenen Entwickler bis hin zum Manager. Wir sind fest davon überzeugt, dass wir auf Basis langjähriger Erfahrungen in Serienprojekten verstanden haben, wie Software kosteneffizient und in hoher Qualität entwickelt wird. Dadurch wissen wir, was funktioniert - und was nicht. Genau diese Erfahrungen möchten wir Ihnen in unseren Schulungen weitergeben. Referenten Dr. Hartmut Pohlheim Hartmut Pohlheim ist das stabile Rückgrat der Technologieentwicklung. Er ist ein CTO aus Leidenschaft und stemmt Kundenprojekte sowie die interne Softwareentwicklung selbst unter hohem Zeit- und Qualitätsdruck. Unsere Kunden schätzen sein unerschöpfliches Fachwissen und seine pragmatische Herangehensweise an herausfordernde Technologiethemen. Martin Hill Martin Hill ist Produktmanager des MES Test Managers (MTEST) und zudem verantwortlich für Projekte in den Bereichen Qualitätssicherung, Modellierung und Modellprüfung. Herr Hill hat sich nach dem Studium der Luft- und Raumfahrt voll auf das modellbasierte Testen im Automobil konzentriert und Testprojekte erfolgreich leitet. Roman Emmerling Roman Emmerling ist Automotive Software Engineer bei Model Engineering Solutions. Von der Test-Spezifikation bis zur Test-Evaluation begleitet er seit 2012 als Tester die MES Kundenprojekte. Als Experte im Feld, weiß er, was die Tester wirklich brauchen und bringt dieses Wissen als Tool-Entwickler in die Weiterentwicklung des MES Test Manager (MTest) ein. Datum und Ort Datum: Februar 2017 Ort: Mauerstraße 79, 5.OG, Berlin Kosten 1.500,00 zzgl. MwSt. In der Teilnahmegebühr sind die Schulungsunterlagen, Tagungsgetränke, Kaffeepausen und das Mittagessen enthalten. Frühbucher erhalten bei Anmeldung bis zum 07. März 2017 einen Rabatt von 5%. Meldet sich mehr als ein Teilnehmer aus einer Firma an, erhalten alle Teilnehmer dieser Firma einen zusätzlichen Rabatt von 5%. Anmeldung Julia Goslar Bitte senden Sie Ihr ausgefülltes Anmeldeformular per Fax oder an Julia Goslar. Eine Anmeldung ist unbedingt erforderlich. E: julia.goslar@model-engineers.com T: F: SEITE 5 VON 7

6 Für wen ist die Schulung interessant? Ingenieure und Manager der folgenden Firmen haben schon an unseren Schulungen teilgenommen: AFT Atlas Fahrzeugtechnik, ALTEN, Audi, Audi Electronic Venture, Autoliv, Automotive Lighting, Baker Hughes, Berner & Mattner Systemtechnik, Bertrandt, Borg Warner TorqTransfer Systems, Brembo, BTC Embedded Systems, Carmeq, Changan, Claas, Conti TEMIC microelectronic, Continental Automotive, Continental Teves, Control Systems, Daimler, Dana Rexroth Transmission Systems, Delphi, Denso, dspace, Elektrobit, EFS, Eberspächer, FEV, Fiat, FKA, Ford, Gigatronik, GKN Driveline, HELLA, IAV, IDIADA Automotive Technology S.A., imar Navigations, Jaguar Land Rover, JCI SAFT, Leopold Kostal, MAGNA STEYR Battery Systems, Marquardt, MDS Technology, Mercedes-Benz, Methodpark, NSK, OSB, Ovalo, Porsche, Robert Bosch, Schaeffler, Siemens, SMA Solar Technology, Tata Motors, TAKATA, TECNALIA, ThyssenKrupp, T-Systems, TRW, TÜV-Nord, Vaillant, Volkswagen, Vocis Driveline Controls, WABCO, Webasto, ZF. Was andere über uns sagen Hier eine Auswahl der Rückmeldungen unserer Schulungsteilnehmer: Daumen hoch für diese Schulung: Die Referenten zeigten eine hohe Fachkompetenz und haben ruhig und verständlich vorgetragen. Teilnehmer, Continental Automotive AG Die Schulung hat mir die Chance geboten, unseren firmeninternen Entwicklungsprozess zu reflektieren. Besonders gefallen haben mir der Vortragsstil, die anschauliche Darstellung und die realistische Einschätzung von Problemen. Dabei haben die Vortragenden stets eine neutrale Position vertreten und mich mit ihrem fundierten Wissen über aktuelle Projekte beeindruckt. Teilnehmer, Audi Electronic Ventures GmbH Danke für diese fundierte und mit spürbarer Praxiserfahrung bereicherte Schulung! Teilnehmer, Porsche AG Ich habe noch keinen Consultant erlebt, der Requirements-Engineering und -Management so gut und so individuell zugeschnitten auf die Automobilindustrie darstellen konnte wie in diesem Workshop. Teilnehmer, FEV GmbH So muss eine Schulung sein: Beispiele präzise auf den Punkt gebracht und auf die tägliche Arbeit abgestimmt. Teilnehmer, Daimler AG Kontakt Model Engineering Solutions GmbH (MES) Mauerstraße Berlin Tel: Warenzeichen Dritter MATLAB, Simulink und Stateflow sind registrierte Marken von The MathWorks, Inc. TargetLink ist eine registrierte Marke der dspace GmbH. SEITE 6 VON 7

7 BITTE SENDEN SIE DIESE ANMELDUNG PER FAX AN ODER PER AN RESERVIERUNG PER TELEFON UNTER: ANMELDUNG ZUR SCHULUNG EINFÜHRUNG IN DIE MODELLBASIERTE ENTWICKLUNG UND QUALITÄTSSICHERUNG EINGEBETTETER SOFTWARE FEBRUAR 2017 Unter Anerkennung der Teilnahmebedingungen (siehe unten) melden wir an: Vor- und Nachname Firma Position im Unternehmen/ Abteilung Straße, Nr. PLZ, Ort Telefonnummer Datum & Unterschrift Teilnahmebedingungen und Teilnahmegebühr Im Interesse einer individuellen Betreuung ist die Teilnehmerzahl auf maximal 12 begrenzt. Anmeldungen werden in der Reihenfolge ihres Eingangs berücksichtigt und schriftlich bestätigt. Die Teilnahmegebühr beträgt 1.500,00 zzgl. MwSt. und ist nach Erhalt der Rechnung zu begleichen. Frühbucher erhalten bei Anmeldung bis zum 08. Februar 2017 einen Rabatt von 5%. Meldet sich mehr als ein Teilnehmer aus einer Firma an, erhalten alle Teilnehmer dieser Firma einen zusätzlichen Rabatt von 5%. Stornierung Stornierung ist bis zum 08. Februar 2017 kostenfrei, bis zum 15. Februar 2017 erheben wir eine Bearbeitungsgebühr von 80 zzgl. MwSt. Bei späterer Absage oder Nichterscheinen müssen wir 50% der Teilnahmegebühr berechnen. Selbstverständlich kann ein Ersatzteilnehmer gestellt werden. SEITE 7 VON 7

8 MODELLBASIERTE ENTWICKLUNG NACH ISO ANMELDUNG BITTE SENDEN SIE DIESE ANMELDUNG PER FAX AN ODER PER AN RESERVIERUNG PER TELEFON UNTER: ANMELDUNG ZUR SCHULUNG EINFÜHRUNG IN DIE MODELLBASIERTE ENTWICKLUNG UND QUALITÄTSSICHERUNG EINGEBETTETER SOFTWARE FEBRUAR 2017 Unter Anerkennung der Teilnahmebedingungen (siehe unten) melden wir an: Vor- und Nachname Firma Position im Unternehmen/ Abteilung Straße, Nr. PLZ, Ort Telefonnummer Datum & Unterschrift Teilnahmebedingungen und Teilnahmegebühr Im Interesse einer individuellen Betreuung ist die Teilnehmerzahl auf maximal 12 begrenzt. Anmeldungen werden in der Reihenfolge ihres Eingangs berücksichtigt und schriftlich bestätigt. Die Teilnahmegebühr beträgt 1.500,00 zzgl. MwSt. und ist nach Erhalt der Rechnung zu begleichen. Frühbucher erhalten bei Anmeldung bis zum 08. Februar 2017 einen Rabatt von 5%. Meldet sich mehr als ein Teilnehmer aus einer Firma an, erhalten alle Teilnehmer dieser Firma einen zusätzlichen Rabatt von 5%. Stornierung Stornierung ist bis zum 08. Februar 2017 kostenfrei, bis zum 15. Februar 2017 erheben wir eine Bearbeitungsgebühr von 80 zzgl. MwSt. Bei späterer Absage oder Nichterscheinen müssen wir 50% der Teilnahmegebühr berechnen. Selbstverständlich kann ein Ersatzteilnehmer gestellt werden. SEITE 1 VON 1