Logo des Repositoriums

Auflistung nach Autor:in "Nickel, Ulrich"

1 - 3 von 3
  • Konferenzbeitrag
    Detection and length and orientation measurement of extended targets
    (INFORMATIK 2011 – Informatik schafft Communities, 2011) Nickel, Ulrich; Chaumette, Eric; Larzabal, Pascal
    A method for rapid detection of extended targets and for measuring the length and the orientation in 2D angle space is presented. The detector and the measurements are based on the distribution of the generalized monopulse ratio. The statistical performance of the estimators is given. This method facilitates the initialization of group tracking algorithms and handling partially connected convoy targets. The performance measures may be used as a priori knowledge in tracking.
  • Konferenzbeitrag
    Eine erweiterte Systemmodellierung zur Entwicklung von softwareintensiven Anwendungen in der Automobilindustrie
    (Software Engineering 2010 – Workshopband (inkl. Doktorandensymposium), 2010) Holtmann, Jörg; Meyer, Jan; Schäfer, Wilhelm; Nickel, Ulrich
    Heutige Transportsysteme, wie z. B. Automobile sind gekennzeichnet durch eine Vielzahl von Funktionalität, die sehr häufig durch Software realisiert wird. Hiermit ist eine Zunahme der Komplexität festzustellen. Zur Beherrschung dieser Komplexität und damit einhergehend die Aufteilung des Systems in verschiedene Komponenten, ist eine Gesamtmodellierung des Systems inklusive des Verhaltens unerlässlich. Ein besonderer Augenmerk liegt, aufgrund der Echtzeitsysteme in dieser Domäne, auf der Modellierung von Zeiten auf Systemebene. Die derzeitigen Modellierungskonzepte, wie beispielsweise die Systems Modeling Language (SysML), sind dafür aber noch nicht ausreichend. In dem hier vorgestellten Ansatz wird eine erweiterte Systemmodellierung vorgestellt, die zusätzlich eine formale Spezifizierung von Zeiten erlaubt. Durch diese Modellierung sind weitere Analysemethoden, wie z. B. Simulationen oder Verifikationen möglich, die zum einen die sicherheitsrelevante Funktionalität sicherstellen und zum anderen die Qualität der Software steigern.
  • Konferenzbeitrag
    Verifikation zeitlicher Anforderungen in automotiven komponentenbasierten Software Systemen
    (Software Engineering 2007 – Fachtagung des GI-Fachbereichs Softwaretechnik, 2007) Gehrke, Matthias; Hirsch, Martin; Schäfer, Wilhelm; Niggemann, Oliver; Stichling, Dirk; Nickel, Ulrich