Login



Sie sind GfSE-Mitglied, aber haben keinen Benutzernamen? Bitte senden Sie eine E-Mail an office@gfse.de oder benutzen Sie das Kontaktformular.

Handbuch Systems Engineering

Hier können Sie das Systems Engineering Handbuch käuflich erwerben

handbuch deckblatt

Handbuch Systems Engineering
44,90 €
zzgl. Versandkosten ab 6,00€

RSS

Mit dem RSS-Angebot der GfSE erhalten Sie alle wichtigen News.

GfSE News GfSE News

Modellierung formalisieren (MF)

Ziele und Inhalte:

Ziel der Arbeitsgruppe MF ist es, die nächste Generation von Modellierungssprachen wie SysML/v2 mit einer genaueren Syntax und Semantik auszustatten, um Mehrdeutigkeiten zu vermeiden, somit eine präzise Darstellung von Konzepten und die automatisierte Abbildung von Modellen aufeinander zu ermöglichen. Darüber hinaus sollen die formalen Anforderungen an die Abbildbarkeit und die Integrationsfähigkeit der Modellierungssprachen wie CAD/CAM, PDM und SysML untersucht und erarbeitet werden. Diese Modellierungssprachen müssen sich im Gegensatz zum Istzustand aus einem „wohlgeformten“ logischen Formalismus ableiten lassen, sodass ein so entworfenes Modell präzise analysiert und formal überprüft werden kann. Dies schließt auch ein, dass das Modell validiert und auf logische Konsistenz überprüft werden kann. Somit können dadurch Fragen folgender Art beantwortet werden: „Ist eine Kombination von Konstrukten logisch vollständig?“, „Welche Kombinationen von Konstrukten sind zulässig?“, „Welche Auswirkung haben Änderungen in den Anforderungen und im Entwurf auf das Modell?“, „Wie pflanzt sich ein Fehlverhalten im System fort?“, etc.

Die AG MF hat als weiteres Ziel, sich intensiv in die Standardisierungsaktivitäten der OMG betreffend SysML/v2 einzubringen. Dort ist „Modeling Formalism“ ein hoch priorisiertes Thema. All dies erfolgt in enger Abstimmung mit den anderen AG’s der GfSE, deren Anforderungen in die AG MF einfließen müssen und vice versa.

Koordinator der AG MF:

Dr. Siegmund Priglinger
dr.priglinger consulting GmbH
Hasenöhrlstrasse 61/1/5
A-1100 Wien
Tel: +43 6764795009
Mail: Diese E-Mail-Adresse ist vor Spambots geschützt! Zur Anzeige muss JavaScript eingeschaltet sein!

GfSE bei xing

Suche

Beruf & Weiterbildung

se-zert

GfSE Konferenz

tdse

GfSE Veranstaltungen

Weitere Veranstaltungen

d3

EMEA logo