• Deutsch
Login

Open Access

  • Home
  • Search
  • Browse
  • Publish
  • FAQ
Schließen

Refine

Author

  • Hielscher, Kai-Steffen (3)
  • Eckhoff, David (2)
  • German, Reinhard (2)
  • Awad, Abdalkarim (1)
  • Djanatliev, Anatoli (1)
  • Eckert, Juergen (1)
  • Hielscher, Kai-Steffen Jens (1)
  • Kresic, Dario (1)
  • Sommer, Christoph (1)

Year of publication

  • 2017 (1)
  • 2015 (1)
  • 2010 (1)
  • 2008 (1)

Document Type

  • Conference Proceeding (2)
  • Doctoral Thesis (1)
  • Report (1)

Language

  • English (2)
  • German (1)
  • Multiple Languages (1)

Has Fulltext

  • yes (4)

Keywords

  • Apache <Programm> (1)
  • CAN bus (1)
  • CAN-Bus (1)
  • Car2Car (1)
  • Cluster Server (1)
  • Computersimulation (1)
  • Connected Mobility (1)
  • Diskrete Simulation (1)
  • FG-IVC (1)
  • FGSN, Sensornetze (1)
+ more

Institute

  • Technische Fakultät -ohne weitere Spezifikation- (2)
  • Department Informatik (1)
  • Technische Fakultät (1)

4 search hits

  • 1 to 4
  • 10
  • 20
  • 50
  • 100

Sort by

  • Year
  • Year
  • Title
  • Title
  • Author
  • Author
Measurement-Based Modeling of Distributed Systems (2008)
Hielscher, Kai-Steffen Jens
A methodology that integrates performance measurements and simulation of computer systems is demonstrated on a web cluster system. Main contributions include a new offline time synchronization system based on exponential Filtering, efficient timestamping using the cycle counter of modern CPUs for software monitoring, flexible instrumentation of Java application servers using aspect-oriented programming, a new input modeling approach for autocorrelated data and a detailed simulation model that includes both operating system and TCP network aspects.
Spezifikation und Implementation des CAN-Arbitrierungsverfahrens in UPPAAL (2010)
Kresic, Dario ; Hielscher, Kai-Steffen ; German, Reinhard
In dieser Arbeit stellen wir eine durch Zeitautomaten modellierte Spezifikation des Mediumzugriffs im CAN-Protokoll vor sowie ihre Implementierung in UPPAAL. Zeitliche Anforderungen wurden dabei durch entsprechende Uhren-Nebenbedingungen erfasst. Dieses Zeitautomaten-Modell wurde anschließend automatisch verifiziert (Model Checking), wobei mehrere Anforderungen identifiziert wurden, die das CAN Protokoll erfüllen muß (wie Deadlock-Freiheit des Modells, Übertragungsrecht für die höchstpriore Nachricht, exklusives Übertragungsrecht für beliebigen CAN-Adapter nach der gewonnenen Arbitrage etc.). All diese Eigenschaften wurden in einer Variante der temporalen Logik CTL spezifiziert; die automatische Verifikation selbst wurde dabei mit UPPAAL durchgeführt, einem Model Checker für zeitautomaten-basierte Modelle.
14. GI/ITG KuVS Fachgespräch Sensornetze (2015)
Eckert, Juergen ; Awad, Abdalkarim ; Hielscher, Kai-Steffen ; Eckhoff, David
14. GI/ITG KuVS Fachgespräch Sensornetze der GI/ITG Fachgruppe Kommunikation und Verteilte Systeme
Proceedings of the 5th GI/ITG KuVS Fachgespräch Inter-Vehicle Communication (FG-IVC 2017) (2017)
Djanatliev, Anatoli ; Hielscher, Kai-Steffen ; Sommer, Christoph ; Eckhoff, David ; German, Reinhard
Proceedings of the 5th GI/ITG KuVS Fachgespräch Inter-Vehicle Communication (FG-IVC 2017) An updated version of the PDF file can be found here: http://fg-ivc.car2x.org/proceedings-fg-ivc-2017.pdf
  • 1 to 4

DINI-Zertifikat 2013     DINI-Zertifikat 2016     Members of COAR OPUS4 Logo

  • Contact
  • Imprint
  • Sitelinks