Formale Analyse von DDML-Informatik-Projektthemen: Aktuelle Schulnachrichten

Formale Analyse von DDML

Abgelegt in Informatik Projektthemen, Aktuelle Projekte by im September 28, 2020

JETZT BEWERBEN 👉 ARBEITEN SIE IN KANADA MIT KOSTENLOSEM SPONSORING!


 

Formale Analyse von DDML.

Abstrakt

Wir schlagen einen Rahmen für die formale Analyse von DDML-Modellen (DEVS Driven Modeling Language) vor, um die Eigenschaften von DDML-Modellen zu bewerten und zu bewerten.

Dieses Framework ordnet die Hierarchieebenen von DDML semantisch zu: Input Output System (IOS), Input Output Relation Observation (IORO) und Coupled Network (CN) Ebenen entsprechenden formalen Methoden:

Labeled Transition System (LTS), Linear Temporal Logic (LTL) und Computation Tree Logic (CTL) bzw. Communicating Sequential Processes (CSP).

Diese formalen Methoden erfassen die Semantik von DDML auf jeder Abstraktionsebene und wir verwenden formale Tools (wie JTORX, LTSA, PAT und NUSMV), um diese formalen Spezifikationen automatisch zu analysieren und die Eigenschaften von DDML-Modellen auf jeder Ebene zu bewerten.

Einführung

Hintergrund der Studie

Der in dieser Arbeit vorgeschlagene Rahmen soll DDML-Modelle formal bewerten und bewerten. DDML ist eine Modellierungssprache, die für den DEVS-Formalismus der Modellierung und Simulation (M & S) entwickelt wurde.

Modellierung und Simulation sind ein breites Gebiet der Wissenschaft, das durch computerautomatisierte und überwachte Simulation für reale Probleme in Wissenschaft und Technik auf die Informatik anwendbar ist.

Die Anwendungen von Computersimulationen decken ein breites Spektrum von Bereichen ab und sind für die Untersuchung realer Systeme relevant, um Informationen zu sammeln und strategische Entscheidungen zu treffen.

Um sich mit dem Großteil dieser Arbeit zu befassen, ist es wichtig, einen Überblick über das M & S-Feld zu geben und seine Bedeutung, Verwendung und Konzepte aufzuzeigen.

  • Modellierung und Simulation

Modellierung und Simulation sind ein Paradigma, das eine Möglichkeit bietet, Probleme darzustellen und über die Probleme nachzudenken, um eine Lösung oder Methode anzubieten oder relevante Daten zur Lösung solcher Probleme zu absorbieren.

Konzepte

Es gibt fünf Hauptkonzepte für Modellierung und Simulation, mit denen der Prozess und die Komponenten des Prozesses definiert werden können. Nachfolgend finden Sie die Definition solcher Konzepte:

  • Ein Objekt: Dies ist eine bestimmte Entität, die in der realen Welt existiert und eine bestimmte Struktur und ein bestimmtes Verhalten aufweist.
  • Ein System: ist ein genau definiertes Objekt in der realen Welt unter bestimmten Bedingungen, die bestimmte Aspekte der Objektstruktur definieren und
  • Ein Modell: ist eine abstrakte Darstellung eines Objekts, seiner Eigenschaften, Struktur und seines Verhaltens. Diese Darstellung könnte logisch und mathematisch sein

Modellierung und Simulation beziehen sich auf den Prozess der Erstellung eines Modells eines realen Systems und auf die Bearbeitung des Modells, um neue Informationen zu untersuchen und zu absorbieren.

Referenzen

Literaturübersicht zur Modellierung von Fluglotsen für Verkehrssimulationen De Prins, J.; Ledesma, RG; Mulder, M.; van Paassen, MM; Boeing Res. & Technol. Eur., Madrid Digital Avionics Systems Konferenz, 2008. DASC 2008. IEEE / AIAA 27. 26.-30. Oktober 2008 St. Paul, MN

Europäische Verkehrskonferenz 2003 Innovative Methoden in der Verkehrsanalyse, -planung und -bewertung> Experimentelle Wirtschaftsmodelle. Verteilte Verhaltenssimulation: Eine innovative Methode zur Durchführung von Verkehrsstudien. Ein Champion, CS-SRILOG; JM Auberlet, S. Espi®, INRETS, FR

DEVS und Logik kombinieren. Mamadou K. Traoré. LIMOS CNRS UMR 6158. Université Blaise Pascal. Campus des Cézeaux

[Stevenson 2003] Stevenson, DE Von DEVS zu formalen Methoden: ein kategorisches Verfahren von SCSC'03, Summer Simulation Multiconference, Montreal, Kanada: 1-6. 2003

[Kuhn et al. 2003] Kuhn, DR, D. Craigen und M. Saaltink. Praktische Anwendung formaler Methoden in der Modellierung und Simulation. Verfahren von SCSC'03 (eingeladen). Sommersimulations-Multikonferenz, Montreal, Kanada,

Zeigler, B., Praehofer, H., Kim, T. 2000. Theorie der Modellierung und Simulation. 2. Auflage. Akademisch

JETZT BEWERBEN 👉 ARBEITEN SIE IN KANADA MIT KOSTENLOSEM SPONSORING!


 

    Hallo Sie!

    Verpassen Sie diese Gelegenheit nicht! Geben Sie unten Ihre Daten ein!


    => FOLGE UNS AUF Instagram | FACEBOOK & TWITTER FÜR NEUESTE AKTUALISIERUNG

    Tags: , ,

    Kommentarfunktion ist abgeschaltet.

    %d Blogger wie folgt aus: