Automatische Generierung und Abstraktion von Prozessmodellen Am Beispiel von C sharp Steuerungssoftware
-
- Deutsch ausgewählt
-
Verlag:VDM
- AV Akademikerverlag 49,00 €
- VDM 49,00 € ausgewählt
49,00 €
inkl. gesetzl. MwSt.,
Beschreibung
Produktdetails
Einband
Taschenbuch
Erscheinungsdatum
06.03.2008
Verlag
VDMSeitenzahl
60
Maße (L/B/H)
24,2/16,9/1,4 cm
Gewicht
120 g
Sprache
Deutsch
ISBN
978-3-8364-6300-3
Alltag, von der Waschmaschine über automatische Fenster- und
Heizungssteuerungen im Heimbereich bis zu Bremssystemen in Fahrzeugen.
Deshalb wird es immer wichtiger, die Korrektheit der immer komplexer
werdenden Steuerungen formal modellieren, testen, und verifizieren zu
können. Am Beispiel der Steuerungssoftware von LON-Feldbussystemen
beschreibt und implementiert der Autor Martin Pitt die automatische
Generierung formaler Prozessmodelle aus dem C#-Quellcode. Um die
Zustandsexplosion bei der formalen Verifikation zu lindern, werden oft
Abstraktionen der ursprünglichen konkreten Modelle verwendet. Der
Autor stellt einen Formalismus inkl. Implementierung vor, welcher
abstrakte und konkrete Modelle auf gleiches ("bisimulares") Verhalten
überprüft, so dass die formale Verifikation von gewünschten
Eigenschaften durchführbar wird. Diese Arbeit richtet sich an
Software-Entwickler mikroprozessorgesteuerter Steuerungsanlagen, die
Kenntnisse in Algebra und mathematischer Logik besitzen.
Ein neues Kapitel für Ihre Bücher
Ein neues Kapitel für Ihre Bücher
Schenken Sie Ihren alten Schätzen ein zweites Leben: Einfach Barcode scannen, Versandetikett ausdrucken, Bücher verschicken und Thalia Geschenkkarte erhalten.
Jetzt verkaufenKundinnen und Kunden meinen
Verfassen Sie die erste Bewertung zu diesem Artikel
Helfen Sie anderen Kund*innen durch Ihre Meinung
Kurze Frage zu unserer Seite
Vielen Dank für Ihr Feedback
Wir nutzen Ihr Feedback, um unsere Produktseiten zu verbessern. Bitte haben Sie Verständnis, dass wir Ihnen keine Rückmeldung geben können. Falls Sie Kontakt mit uns aufnehmen möchten, können Sie sich aber gerne an unseren Kund*innenservice wenden.
zum Kundenservice