Mohlo by se vám také líbit

Více informací o knize Verifikation von ausführbaren Systemspezifikationen

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Nákupem získáte 245 bodů

Anotace knihy

Für die Entwicklung komplexer eingebetteter Systeme werden ausführbare Spezifikationen eingesetzt, die eine frühe Validierung der zu entwickelnden Systeme in Bezug auf funktionale Aspekte ermöglichen. Ausfürbare Systemsprzifikationen basierend auf dem Discrete-Event Formalismus erlauben eine vergleichsweise abstrakte parametrisierbare Beschreibung, unabhängig von Implementierungsdetails. Gegenstand dieses Buches ist die Entwicklung und Gegenüberstellung von Eigenschaftsbeschreibungen und Verifikationsmethoden, die eine automatisierte Verifikation zeitbeschränkter funktionaler Eigenschaften in ausführbaren Spezifikation ermöglichen. Es werden zwei Anwendungsszenarien für die Verifikation betrachtet, einerseits die vollständige formale Verifikation von Eigenschaften und andererseits eine dynamische Überprüfung von temporalen Eigenschaften während einer szenariobasierten Simulation. Beide Ansätze sind prototypisch für die Entwicklungsumgebung MLDesigner realisiert und validiert worden. Ausgehend von den Ergebnissen der Validierung werden die Ansätze vergleichend gegenübergestellt.

Parametry knihy

Zařazení knihy Knihy v němčině Naturwissenschaften, Medizin, Informatik, Technik Informatik, EDV Informatik

• Plný název: Verifikation von ausführbaren Systemspezifikationen
• Podnázev: Entwicklung und Gegenüberstellung von Methoden zur automatisierten Verifikation von ausführbaren Systemspezifikationen
• Autor: Alexander Pacholik
• Jazyk: Němčina
• Vazba: Brožovaná
• Počet stran: 236
• EAN: 9783838121925
• ID: 07043994
• Nakladatelství: Südwestdeutscher Verlag für Hochschulschriften
• Hmotnost: 368 g
• Rozměry: 220 × 150 × 14 mm
• Rok vydání: 2011

Oblíbené z jiného soudku

---

---

---