We are not able to resolve this OAI Identifier to the repository landing page. If you are the repository manager for this record, please head to the Dashboard and adjust the settings.
Bevor mit dem Entwurf der Architektur eines eingebetteten Systems begonnen werden kann, sollten alle relevanten Anforderungen, die sich auf die Auslegung der Softwareund Systemarchitektur auswirken können, zu einem gewissen Grad identifiziert und analysiert sein. Bei komplexen Systemen ist es unerlässlich diese in einem Werkzeuggestützten Modell zu erfassen, zu repräsentieren, zu analysieren und zu verwalten. In diesem Beitrag wird ein Ansatz vorgestellt, der auf Grundlage der SysML Anforderungen so modelliert, dass sie intuitiv und nachvollziehbar spezifiziert werden können und zudem die Basis für automatisierte formale Analysen bieten. Damit die formalen Analysen ohne Expertenwissen durchführbar sind, werden im Hintergrund Werkzeuggestützte Modelltransformationen und Ansätze zum "Model Checking" transparent für den Analysten eingesetzt
Is data on this page outdated, violates copyrights or anything else? Report the problem now and we will take corresponding actions after reviewing your request.