Beim Entwurf selbstoptimierender, mechatronischer Systeme stellt die eingebettete Software einen großen Teil der Wertschöpfung dar. Typischerweise werden Regelungen oder Steuerungen in Software umgesetzt. Durch die starke Vernetzung selbstoptimierender Systeme wird Software auch zur nachrichtenbasierten Kommunikation und Koordination zwischen den einzelnen verteilten selbstoptimierenden Systemen… Mehr zeigen eingesetzt. Diese Kommunikation geht über die Aufnahme von System- und Umweltdaten durch Sensorik hinaus. Hier werden ggf. komplexe Zustandsinformationen über entsprechende Protokolle und zugrunde liegende Kommunikationskanäle ausgetauscht, die dann wieder das Verhalten bzw. die zugrunde liegenden Berechnungen der einzelnen Komponenten massiv beeinflussen können. Diese Entwicklung führt zu äußerst komplexer hybrider (diskreter / kontinuierlicher) Software. Des Weiteren werden selbstoptimierende, mechatronische Systeme oftmals in sicherheitskritischen Umgebungen eingesetzt. Hierdurch müssen formale Verfahren zur Verifikation der Korrektheit des Systems gegenüber sicherheitskritischen Eigenschaften eingesetzt werden. Im Rahmen dieser Dissertation werden nun Konzepte und Methoden zur Modellierung und Verifikation mechatronischer Systeme entwickelt und formal beschrieben. Der hier vorgestellte Ansatz baut auf dem im Sonderforschungsbereichs 614 entwickelten MechatronicUML Ansatz auf. Dieser unterstützt einen kompositionellen Verifikationsansatz für das Echtzeitverhalten von mechatronischen Systemen. Um eine effiziente Verifikation solcher vernetzten mechatronischen Systeme zu ermöglichen, werden in dieser Arbeit Techniken der Abstraktion, Dekomposition sowie der regelbasierten Modellierung eingeführt. Hierbei werden diese nicht orthogonalen Techniken geschickt miteinander kombiniert. Ziel ist es, die besonders durch die Verwendung domänenübergreifender Modelle, wie sie bei der Modellierung von mechatronischen Systemen vorkommen, entstehenden inhärenten multi-Paradigmenwechsel modellieren zu können. Der hier vorgeschlagene Ansatz zur modell-basierten Verifikation mechatronischer Systeme zeichnet sich durch die Integration effizienter Verifikationstechniken, basierend auf dem Modellwissen und einer geschickten Modellierung, aus. Weniger zeigen

Dieses Produkt haben wir gerade leider nicht auf Lager.

ab 29,99 €

Derzeit nicht verfügbar

Handgeprüfte Gebrauchtware

Bis zu 50 % günstiger als neu

Der Umwelt zuliebe

Produktinformationen

Technische Daten

Erscheinungsdatum

20.11.2008

Sprache

Deutsch

EAN

9783832520786

Herausgeber

Logos Berlin

Sonderedition

Nein

Autor

Martin Hirsch

Seitenanzahl

201

Einbandart

Broschiert

Schlagwörter

Mechatronic UML, Modell-basierte Entwicklung, Hybride Systeme, mechatronische Systeme, Modell-basierte Verifikation

Höhe

210 mm

Breite

14.5 cm

Warnhinweise und Sicherheitsinformationen

Informationen nach EU Data Act

Bewertungen

-.-

★★★★★

☆☆☆☆☆

Leider noch keine Bewertungen

Sicher bei rebuy kaufen

Schreib die erste Bewertung für dieses Produkt!

Wenn du eine Bewertung für dieses Produkt schreibst, hilfst du allen Kund:innen, die noch überlegen, ob sie das Produkt kaufen wollen. Vielen Dank, dass du mitmachst!

Sicher bei rebuy kaufen