Top-Themen

Aktuelle Themen (A bis Z)

Administrator.de FeedbackApache ServerAppleAssemblerAudioAusbildungAuslandBackupBasicBatch & ShellBenchmarksBibliotheken & ToolkitsBlogsCloud-DiensteClusterCMSCPU, RAM, MainboardsCSSC und C++DatenbankenDatenschutzDebianDigitiales FernsehenDNSDrucker und ScannerDSL, VDSLE-BooksE-BusinessE-MailEntwicklungErkennung und -AbwehrExchange ServerFestplatten, SSD, RaidFirewallFlatratesGoogle AndroidGrafikGrafikkarten & MonitoreGroupwareHardwareHosting & HousingHTMLHumor (lol)Hyper-VIconsIDE & EditorenInformationsdiensteInstallationInstant MessagingInternetInternet DomäneniOSISDN & AnaloganschlüsseiTunesJavaJavaScriptKiXtartKVMLAN, WAN, WirelessLinuxLinux DesktopLinux NetzwerkLinux ToolsLinux UserverwaltungLizenzierungMac OS XMicrosoftMicrosoft OfficeMikroTik RouterOSMonitoringMultimediaMultimedia & ZubehörNetzwerkeNetzwerkgrundlagenNetzwerkmanagementNetzwerkprotokolleNotebook & ZubehörNovell NetwareOff TopicOpenOffice, LibreOfficeOutlook & MailPapierkorbPascal und DelphiPeripheriegerätePerlPHPPythonRechtliche FragenRedHat, CentOS, FedoraRouter & RoutingSambaSAN, NAS, DASSchriftartenSchulung & TrainingSEOServerServer-HardwareSicherheitSicherheits-ToolsSicherheitsgrundlagenSolarisSonstige SystemeSoziale NetzwerkeSpeicherkartenStudentenjobs & PraktikumSuche ProjektpartnerSuseSwitche und HubsTipps & TricksTK-Netze & GeräteUbuntuUMTS, EDGE & GPRSUtilitiesVB for ApplicationsVerschlüsselung & ZertifikateVideo & StreamingViren und TrojanerVirtualisierungVisual StudioVmwareVoice over IPWebbrowserWebentwicklungWeiterbildungWindows 7Windows 8Windows 10Windows InstallationWindows MobileWindows NetzwerkWindows ServerWindows SystemdateienWindows ToolsWindows UpdateWindows UserverwaltungWindows VistaWindows XPXenserverXMLZusammenarbeit

TCP-State Diagram in SDL beschreiben

Frage Internet

Mitglied: Karategoldi

Karategoldi (Level 1) - Jetzt verbinden

24.03.2011, aktualisiert 15:02 Uhr, 4546 Aufrufe, 1 Kommentar

Hallo liebe Community-Mitglieder,

ich bin neu hier und hätte da auch gleich eine erste Frage.
Im Rahmen einer Vorlesung soll ein TCP-State Diagram in ein SDL-Diagramm umgewandelt werden.

Leider fehlt bei mir jeglicher Ansatz wie ich das umsetzen könnte.
Meine Schwierigkeit liegt daran in dem TCP-State Diagramm Eingangssignale, Ausgangssignale, Zustände und Aktionen zu differenzieren.
Ich hoffe dass sich jemand findet, der sich mit SDL-Diagrammen auskennt.

Anbei der Anfang des TCP-State Diagrams:

52f10b6a7440b2974cfe59490477a7db - Klicke auf das Bild, um es zu vergrößern



Mit freundlichen Grüßen
Karategoldi
Mitglied: Florian.Sauber
25.03.2011 um 00:52 Uhr
Hallo Karategoldi,

ist zwar ne Weile her, aber im Prinzip hast Du die Zustände (States) grossgeschrieben ja gegeben und musst "nur" die Zustandübergänge in finiter Form beschreiben.
Also für den Startzustand CLOSED bspw.

36cfe585d02a2a196355ebf9f2b863e6 - Klicke auf das Bild, um es zu vergrößern

Von dort aus dann ähnlich für LISTEN und SYN_SNT usw.
Obiges Bsp. ist natürlich stark vereinfacht. Ich bin gerade auch nicht mehr so Firm im TCP und kann Dir nicht sagen, inwieweit noch Aktionen etc. (unbedingt) mit eingeführt werden müssen. Ich war zu faul mich für Dich einzulesen, habe aber in meiner Zotero-DB was für Dich gefunden, das Dir die Herangehensweise, speziell fürs TCP, an einer mgl. Umsetzung erläutern könnte.
Such mal nach dem Dokument
EFSM/SDL modeling of the original TCP standard (RFC793)
von (Zaghal & Khan 2005) auf Google Scholar.

Gute Einführungen/erklärungen zum Thema findest Du bspw. unter
http://user.cs.tu-berlin.de/~vila/www_ws04/folien/sdl-ausarbeitung.pdf
oder eben
http://www.google.de/search?hl=de&lr=&q=einf%C3%BChrung+sdl+fil ...

VG Florian
Bitte warten ..
Ähnliche Inhalte
CPU, RAM, Mainboards
Asrock C States Probleme
Frage von BiGnoobCPU, RAM, Mainboards

ich habe mir 'nen neuen Rechner zusammengestellt und habe ein Problem mit den Stromsparfunktionen. Rechner: Mainboard = Asrock B85M ...

Hardware
Neue Hardware für Datenbankanwendungen mit Multiscreen (SDL Trados Studio)
gelöst Frage von Shiron10Hardware10 Kommentare

Hallo liebe Gemeinde, Gleich mal vorerg: Ich habe nur rudimentäre Ahnung von Hardware. Daher meine eventuell etwas blöde Frage ...

Erkennung und -Abwehr
TCP Acceleration
Frage von MikePostErkennung und -Abwehr1 Kommentar

Hallo zusammen Auf meinem Proxy werden bekannte Phishing Sites geblockt. Doch in den Logs wird jeweils ein TCP_Acceleration from ...

PHP
Mysql select mit state als tinyint klappt nicht
Frage von marsu2PHP2 Kommentare

Hi, ich wollte meinen Mysql Select in einem PHP Script kurz um die abfrage ob ein Artikel veröffentlicht ist ...

Neue Wissensbeiträge
Router & Routing

Lets Encrypt kommt auf die FritzBox

Information von bitcoin vor 2 StundenRouter & Routing

In der neuesten Labor-Version der FB7490 integriert AVM unter anderem einen Let's Encrypt Client für Zugriffe auf das Webinterface ...

Internet

Was nützt HTTPS, wenn es auch von Phishing Web-Seiten genutzt wird

Information von Penny.Cilin vor 3 TagenInternet17 Kommentare

HTTPS richtig einschätzen Ob man eine Webseite via HTTPS aufruft, zeigt ein Schloss neben der Adresse im Webbrowser an. ...

Webbrowser

Bugfix für Firefox Quantum released - Installation erfolgt teilweise nicht automatisch!

Erfahrungsbericht von Volchy vor 4 TagenWebbrowser8 Kommentare

Hallo zusammen, gem. dem Artike von heise online wurde mit VersionFirefox 57.0.1 sicherheitsrelevante Bugs behoben. Entgegen der aktuellen Veröffentlichung ...

Sicherheit

Teamviewer Sessions können gekapert werden - Update tw. verfügbar

Information von sabines vor 4 TagenSicherheit7 Kommentare

In bestimmten Konstellationen können Teamviewer Sessions gekapert werden, wahrscheinlich aber ein recht unwahrscheinliches Szenario. Da der Teamviewer gerne für ...

Heiß diskutierte Inhalte
Vmware
Installation Windows 10 VMware
Frage von Ghost108Vmware17 Kommentare

Hallo zusammen, versuche gerade mit Hilfe des vshpere clients eine virtuelle Windows 10 maschine aufzusetzen. 1. virtuelle Maschine erstellt ...

Exchange Server
SBS 2011 E-Mails können gesendet werden, aber nicht von extern empfangen
Frage von andreas1234Exchange Server14 Kommentare

Hallo Community, ich habe das Problem, dass seit knapp zwei Wochen die E-Mails von meinem SBS 2011 einwandfrei gesendet ...

Voice over IP
Telefonstörung - Ortsrufnummern kein Verbindungsaufbau
Frage von Windows10GegnerVoice over IP10 Kommentare

Hallo, sowohl bei uns als auch beim Opa ist es über VoIP nicht möglich Ortsrufnummern anzurufen. Es kommt nach ...

Windows Server
Server 2012 über Eingabeaufforderung devmgmt.msc geht nicht
gelöst Frage von achim222Windows Server9 Kommentare

Hallo, ich habe hier einen Server 2012 der im Reparaturmodus startet. Es liegt an einem falschen VirtIO Treiber für ...