EDD-Zertifizierung Konform zur Norm und kompatibel zum Gerät

Transkript

1 -Zertifizierung Konform zur Norm und kompatibel zum Gerät Siemens Automatisierungskreis Andreas Zirkler Informationstechnik im Maschinenwesen Prof. Dr.-Ing. Klaus Bender

2 Gliederung 1. Motivation für die Zertifizierung von Gerätebeschreibungen 2. Anforderungen an den -Zertifizierungstest 3. Die Gerätebeschreibung als Modell der Gerätebedienung 4. Testmuster für die Zertifizierung 5. Unterstützung bei der qualitätsorientierten -Entwicklung Folie 1 / 11

3 Motivation für die Zertifizierung von Gerätebeschreibungen Steuerung Engineering-Station mit -Interpreter Feldbus Voraussetzungen für eine problemlose Feldgeräteintegration: Die Engineering-Station muss mit den Feldgeräten kommunizieren können Die Gerätebeschreibung muss korrekt sein... Folie 2 / 11

4 Anforderungen an den -Zertifizierungstest Die muss korrekt sein heißt... Sie muss zum L-Standard konform sein dann kann ein Host sie interpretieren Sie muss die Bedienfunktionalität des Gerätes richtig beschreiben dann kann man das Gerät richtig bedienen Die Test Requirements... wurden vom PNO AK -Zertifizierung (TC1 / WG 10) in Abstimmung mit dem L Cooperation Team (ECT) erarbeitet sind als PNO-Dokument freigegeben der Arbeitskreis arbeitet jetzt an Host-Test- Requirements Folie 3 / 11

5 Kompatibilität von Gerätebeschreibung und Gerät Profibus Master Spezfikation Profibus gegeben L Slave Spezifikation Spezifikation Geräte Spezifikation (nicht offen) gegeben zu testen gefolgert zu testen Gerätebeschreibung Interpreter Master Slave gerätespezifische Testfälle erforderlich Gerät Kompatibilität Konformität Folie 4 / 11.

6 Die als Modell der Gerätebedienung Die konditionierten Parameter beschreiben implizit eine Zustandsmaschine Betriebsart Betriebsart A Grenzstand a b B Füllstand Linearisierung Linearisierung D ungültig a Richtung der Abhängigkeit E gültig H aus f e b I ein d min Betriebsart Linearisierung d A Grenzstand D ungültig h max a b a b h V B Füllstand E gültig H aus f e I ein Richtung der Abhängigkeit Folie 5 / 11

7 Kompatibilitätsrelevante Elemente der Gerät Reine Anzeigefunktionen z.b. Sichten, Messwertgraphen z.b. Betriebsart auswählen Gerätebedienung Gerätefunktionen z.b. Messwert berechnen Jede in der beschriebene Bedienhandlung muss vom Gerät fehlerfrei ausgeführt werden. Folie 6 / 11

8 Kompatibilitätstest von Gerät und -Test Modellbasierter Test (Modell der (Zustandsautomat) Gerätebedienung) Testreferenz Testfallgenerierung Orakelgenerierung Testfälle Testfallausführung Testauswertung (Testorakel) Implementierung Gerät Testobjekt Folie 7 / 11.

9 Testfallgenerierung Klassifikation der -Elemente Es muss festgelegt werden, welche Zustände relevant sind (Testmuster) Lösung: 1. Klassifikation der Elemente Meta- 2. Anwendung allgemeingültiger Testmuster auf Meta--Elemente Strukturschalter Abhängige Parameter b a Einfache Abhängigkeit Verstrickte Abhängigkeit Orthogonale Attribute Strukturrelevante Attribute IF (a > 3) Äquivalenzklassen Folie 8 / 11

10 Testfallgenerierung Testmuster für die -Zertifizierung Benutzerrolle PSS, snared Betriebszustand PSS, snared Betriebsart SSS, isle Linearisierung SDP PSS: primärer Strukturschalter SSS: sekundärer Strukturschalter SDP: abhängiger Parameter isle: einfache Abhängigkeit snared: verstrickte Abhängigkeit Die Traversierung ist eine Kombination aus Breiten- und Tiefensuche Jeder beschriebene Parameter wird in Kombination mit mindestens zwei Werten aller anderen Parameter getestet Beschriebene Abhängigkeiten werden intensiv getestet, um die Grenzen der Äquivalenzklassen zu prüfen Folie 9 / 11

11 Architektur des Profibus Testers Folie 10 / 11

12 Unterstützung bei der qualitätsorientierten -Entwicklung Komponenten aus der Siemens- Include-Bibliothek Anpassung angepasste Kopien von Bibliothekskomponenten -Implementierung Korrektur der Neue IMPORT-Bibliothek: Bereitgestellt von der PNO Kostenlos für PNO-Mitglieder An Gerätespezifika anpassbar Getestet am itm Hersteller Prüflabor Inhouse- Test der Zertifizierung Profibus Tester für den Inhouse-Vortest verfügbar Folie 11 / 11

13 -Zertifizierung Konform zur Norm und kompatibel zum Gerät Vielen Dank für Ihre Aufmerksamkeit! Folie 12 / 11

14 Testmuster für die -Zertifizierung Zuerst 1. Testwert in alle Parameter schreiben Dann unabhängige Parameter testen, dabei Wert verändert hinterlassen Unabhängiger Test der unabhängigen Strukturen Erneuter Test der unabhängigen Parameter Erneuter Test des ersten Testwertes für alle Strukturschalter Folie 13 / 11

15 Umsetzung eines -Testsystems Testbett Testautomat Testfälle 3 Testobjekt Folie 14 / 11

16 FDI-Bundles: Beschreibung + Applikation Graphical User Interface DOM Advanced Business Logic Basic Device Methods DIM Data & State Model Folie 15 / 11