Bis zu 50 % günstiger als neu 3 Jahre rebuy Garantie Professionelles Refurbishment
ElektronikMedien
Tipps & News
AppleAlle anzeigen
TabletsAlle anzeigen
HandyAlle anzeigen
Fairphone
AppleAlle anzeigen
iPhone Air Generation
GoogleAlle anzeigen
Pixel Fold
HonorAlle anzeigen
HuaweiAlle anzeigen
Honor SerieY-Serie
NothingAlle anzeigen
OnePlusAlle anzeigen
OnePlus 11 GenerationOnePlus 12 Generation
SamsungAlle anzeigen
Galaxy XcoverWeitere Modelle
SonyAlle anzeigen
Weitere Modelle
XiaomiAlle anzeigen
Weitere Modelle
Tablets & eBook ReaderAlle anzeigen
Google
AppleAlle anzeigen
HuaweiAlle anzeigen
MatePad Pro Serie
MicrosoftAlle anzeigen
XiaomiAlle anzeigen
Kameras & ZubehörAlle anzeigen
ObjektiveAlle anzeigen
System & SpiegelreflexAlle anzeigen
WearablesAlle anzeigen
Fitness TrackerAlle anzeigen
SmartwatchesAlle anzeigen
Xiaomi
Konsolen & ZubehörAlle anzeigen
Lenovo Legion GoMSI Claw
NintendoAlle anzeigen
Nintendo Switch Lite
PlayStationAlle anzeigen
XboxAlle anzeigen
Audio & HiFiAlle anzeigen
KopfhörerAlle anzeigen
FairphoneGoogle
LautsprecherAlle anzeigen
Beats by Dr. DreGoogleYamahatonies
iPodAlle anzeigen

Handgeprüfte Gebrauchtware

Bis zu 50 % günstiger als neu

Der Umwelt zuliebe

Testen in der Automatisierungstechnik vom Gerät bis zur Anlage

Birgit Vogel-Heuser (Unbekannter Einband, Deutsch)

Keine Bewertungen vorhanden
Optischer Zustand
Beschreibung
Anhand eines einfachen Anwendungsbeispiels wurde in diesem Beitrag die Anwendung von semantischen Technologien zur Identifikation von Inkonsistenzen im Anforderungs-Testfall-Codesign vorgestellt. Neben Inkonsistenzen, die infolge logischer Widersprüche in der Anforderungsmodellierung entstehen, können somit unternehmens- oder projektspezifische Inkonsistenzen formuliert und aufgedeckt werden. Der Ansatz ermöglicht es, potentielle Widersprüche zu erkennen und zusätzliche Kosten frühzeitig zu vermeiden. Die Anwendung semantischer Technologien in einem wissensbasierten System ermöglicht es, ein flexibles und einfach erweiterbares Software-system zur Identifikation von Inkonsistenzen bereitzustellen. Wenn weitere Typen von Inkonsistenzen integriert werden müssen, ist lediglich die Erstellung weiterer SPARQL-Abfragen nötig; das Softwaresystem muss nicht verändert werden. Die automatische Transformation zwischen der Modellierungssprache und dem formalen Modell zur Identifikation von Inkonsistenzen ermöglicht es zudem, dass der Anwender der Modellierungssprache unberührt vom OWL-Modell bleibt und somit mit den ihm bekannten Methoden arbeiten kann. Die Aufdeckung von Inkonsistenzen erfolgt also im Hintergrund. Obwohl der Einsatz einen ersten Schritt in die Richtung der Auflösung von Inkonsistenzen im Anforderungs- und Testfall-Codesign bietet, sind weitere Schritte in zukünftigen Arbeiten von Nöten. Zum einen müssen Inkonsistenzen geeignet visualisiert werden, um dem Nutzer die Fehlererkennung und -behebung zu vereinfachen. Zum anderen müssen Ansätze untersucht werden, welche die Auflösung von Inkonsistenzen unterstützen. Zu diesem Zweck untersuchen verschiedenste Forschungsarbeiten derzeit die Möglichkeiten und Anwendungspotentiale von formalen Methoden für die Entwicklung im Maschinen- und Anlagenbau. Im Teilprojekt A6 „Disziplinübergreifendes Modulmanagement von IT-Zyklen in Innovationsprozessen“ des DFG-finanzierten Sonderforschungsbereichs SFB 768 „Zyklenmanagement von Innovationsprozessen – verzahnte Entwicklung von Leistungsbündeln auf Basis technischer Produkte“ werden Methoden zur Gestaltung variantenreicher, mechatronischer Systeme durch interdisziplinäre Modellierung zusammen mit formalen Methoden zur Kompatibilitätsprüfung interdisziplinärer Module angewandt. Zukünftige Arbeiten werden die Erweiterung dieser Methoden beinhalten, um die Kompatibilität verschiedener Modulvarianten und -versionen zu prüfen und mögliche Inkompatibilitäten zu überbrücken. Das DFG-finanzierte Schwerpunktprogramm SPP 1593 „Design for Future – Managed Software Evolution“ untersucht die Anwendbarkeit von Methoden und Technologien aus der Informatik zum Management der Evolution von Softwaresystemen unter anderem für Anwendungen im Maschinen- und Anlagenbau. Zukünftige Arbeiten, insbesondere im SPP 1593-Projekt „Model-Driven Evolution Management Framework for Automation Systems“ MoDEMAS, werden dabei die Anwendung von formalen Verifikations-, Simulations- und Testmechanismen für die Probleme des Maschinen- und Anlagenbaus beinhalten.
Dieses Produkt haben wir gerade leider nicht auf Lager.
ab 26,99 €
Derzeit nicht verfügbar
Derzeit nicht verfügbar

Handgeprüfte Gebrauchtware

Bis zu 50 % günstiger als neu

Der Umwelt zuliebe

Technische Daten


Erscheinungsdatum
20.02.2015
Sprache
Deutsch
EAN
9783868446739
Herausgeber
sierke VERLAG - Sierke WWS GmbH
Sonderedition
Nein
Autor
Birgit Vogel-Heuser
Seitenanzahl
192
Auflage
1
Einbandart
Unbekannter Einband
Schlagwörter
Automatisierung, Anlagen, Maschinen, Software, Qualitätsverbesserung
Thema-Inhalt
U - EDV und Informationstechnologie UB - Informationstechnik (IT), allgemein TG - Maschinenbau und Werkstoffe T - Technologie, Ingenieurswissenschaft, Landwirtschaft
Höhe
240 mm
Breite
17 cm

Warnhinweise und Sicherheitsinformationen

Informationen nach EU Data Act

-.-
Leider noch keine 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