Mehrdeutige Anforderungen (verifizieren)? Formalisierung hilft, eindeutig!
„Wenn Situation X eintritt, muss das System binnen Reaktionszeit T mit Maßnahme Y reagieren, außer ...“
Kennen Sie Anforderungen dieser Art? Solche Anforderungen im Sinne des Verfassers in einem Embedded System umzusetzen ist eine typische Aufgabe, welche durch z.T. erhebliche Interpretationsspielräume erschwert wird. Neben Modellierungsfehlern stellt dies eine weitere Fehlerquelle dar, welche zu fehlerhaften Ergebnissen führen kann.
Wie können die Interpretationsspielräume der Anforderungen ausgeschlossen werden?
Wie kann anschließend deren korrekte Umsetzung effektiv und effizient verifiziert werden?
In diesem Webinar stellen wir Ihnen eine Lösung dieser Probleme durch Formalisierung von Anforderungen in Simulink vor. Wir zeigen Ihnen, wie selbst komplexe Anforderungen mit zeitlichen Reaktionsbedingungen einfach modelliert und mit textuellen Anforderungen verknüpft werden können.
Neben der eindeutigen Kommunikation mittels solch formalisierter Anforderungen bieten sich neue Möglichkeiten in der Verifikation: Sehen Sie in diesem Webinar, wie Sie hierdurch vollständig automatisiert Ihre Testergebnisse bzgl. der Anforderungen auswerten, auf Modulebene Anforderungsbasierte Tests generieren und sogar mathematische Beweise zur korrekten Umsetzung der Anforderungen führen können.
Das Webinar richtet sich an Entscheidungsträger und Ingenieure in der Entwicklung und Absicherung von Embedded Systemen, insbesondere Qualitätsverantwortliche, Projektverantwortliche, Spezifikationsingenieure, Entwickler und Tester.
Hinweis: Simulink Verification and Validation ist mit R2017b nun in den Produkten Simulink Check, Simulink Coverage und Requirements Toolbox in R2017b integriert.
Vorkenntnisse in Simulink sind wünschenswert.
Themen:
- Formalisierung von Anforderungen
- Automatische Testauswertung
- Automatische Testgenerierung
- Beweisen von Anforderungen
Hinweis: Simulink Verification and Validation ist mit R2017b nun in den Produkten Simulink Check, Simulink Coverage und Requirements Toolbox in R2017b integriert.
Aufgezeichnet: 11 Mär 2010
Ausgewähltes Produkt
Simulink Check
Nächstes Thema:
Videos zu ähnlichen Themen:
Website auswählen
Wählen Sie eine Website aus, um übersetzte Inhalte (sofern verfügbar) sowie lokale Veranstaltungen und Angebote anzuzeigen. Auf der Grundlage Ihres Standorts empfehlen wir Ihnen die folgende Auswahl: .
Sie können auch eine Website aus der folgenden Liste auswählen:
So erhalten Sie die bestmögliche Leistung auf der Website
Wählen Sie für die bestmögliche Website-Leistung die Website für China (auf Chinesisch oder Englisch). Andere landesspezifische Websites von MathWorks sind für Besuche von Ihrem Standort aus nicht optimiert.
Amerika
- América Latina (Español)
- Canada (English)
- United States (English)
Europa
- Belgium (English)
- Denmark (English)
- Deutschland (Deutsch)
- España (Español)
- Finland (English)
- France (Français)
- Ireland (English)
- Italia (Italiano)
- Luxembourg (English)
- Netherlands (English)
- Norway (English)
- Österreich (Deutsch)
- Portugal (English)
- Sweden (English)
- Switzerland
- United Kingdom (English)
Asien-Pazifik
- Australia (English)
- India (English)
- New Zealand (English)
- 中国
- 日本Japanese (日本語)
- 한국Korean (한국어)