Tanja Hebecker

@article{ei2016,
title = {Bringing formal methods “on the rail” - Modellbasierte Systemanalyse in der Sicherheitsnachweisf\"{u}hrung},
author = {Marco Filax and Tim Gonschorek and Tanja Hebecker and Michael Lipaczewski and Agnes Madalinski and Frank Ortmeier and Mario Fietze and Rolf Schumacher},
editor = {Verband Deutscher Eisenbahn-Ingenieure E.V.},
url = {https://cse.cs.ovgu.de/cse-wordpress/wp-content/uploads/2016/08/Ver\"{o}ffentlichung-Eisenbahningeneur.pdf},
year = {2016},
date = {2016-01-01},
journal = {Der Eisenbahn Ingenieur},
pages = {24 -27},
abstract = {Funktionen sicherheitskritischer Systeme im Eisenbahnsektor werden entsprechend ihrer tolerierbaren Gef\"{a}hrdungsraten in sogenannte Sicherheitsintegrit\"{a}tslevel (SIL 1-4) eingestuft. In der europ\"{a}ischen Norm EN50129 besteht, f\"{u}r die Stufen drei und vier, die dringende Empfehlung, im Entwicklungs- und Spezifikationsprozess, formale Methoden anzuwenden. Die Otto-von-Guericke-Universit\"{a}t Magdeburg hat dazu, begleitet durch das Eisenbahn-Bundesamt (EBA) und Gutachtern des EBA, einen Satz unterst\"{u}tzender Werkzeuge und Verfahren entwickelt, welche in diesem Artikel, am Beispiel der Punktf\"{o}rmigen Zugbeeinflussung (PZB), vorgestellt werden sollen. Diese Werkzeuge erm\"{o}glichen die Portierung einer nat\"{u}rlichsprachlichen Systemanforderungsspezifikation in ein formales Modell, mit dessen Hilfe die Konsistenz und Vollst\"{a}ndigkeit der Systembeschreibung, sowie die definierten Sicherheitsanforderungen formal \"{u}berpr\"{u}ft werden k\"{o}nnen. Bereits in fr\"{u}hen Entwicklungsphasen k\"{o}nnen automatisiert qualitative und quantitative Absch\"{a}tzungen \"{u}ber die Sicherheit und Zuverl\"{a}ssigkeit mit pr\"{a}zisen und aussagekr\"{a}ftigen Resultaten berechnet werden. Gleichzeitig wird der Aufwand zur endg\"{u}ltigen, sicherheitstechnischen Bewertung durch vollst\"{a}ndige Traceability als Teil des Zertifizierungs- und Zulassungsprozesses reduziert.},
keywords = {},
pubstate = {published},
tppubtype = {article}
}

@inproceedings{Hebecker2015,
title = {Safe Prediction-Based Local Path Planning using Obstacle Probability Sections},
author = {Tanja Hebecker and Frank Ortmeier},
editor = {Christian Laugier and Philippe Martinet and Urbano Nunes and Christoph stiller },
url = {https://cse.cs.ovgu.de/cse-wordpress/wp-content/uploads/2016/02/hebecker2015_SafePrediction-basedLocalPathPlanningUsingObstacleProbability.pdf},
year = {2015},
date = {2015-09-28},
booktitle = {Proceedings of the 7th IROS Workshop on Planning, Perception and Navigation for Intelligent Vehicles},
pages = {183 - 188},
abstract = {Autonomous mobile robots gain more and more importance. In the nearest future they will be a part of everyday life. Therefore, it is critical to make them as reliable and safe as possible. We present a local path planner that shall ensure safety in an environment cluttered with unexpectedly moving obstacles. In this paper, the motion of obstacles is predicted by generating probability sections, and collision risks of path configurations are checked by determining whether these configurations lead inevitably to a collision or not. The presented approach worked efficiently in scenarios with static and dynamic obstacles.},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}

@article{hebecker2014JIRS,
title = {Model-Based Local Path Planning for UAVs},
author = { Tanja Hebecker and Robert Buchholz and Frank Ortmeier},
editor = {Springer Netherlands},
url = {https://cse.cs.ovgu.de/cse-wordpress/wp-content/uploads/2015/05/10.1007_s10846-014-0097-72.pdf
http://link.springer.com/article/10.1007/s10846-014-0097-7},
doi = {10.1007/s10846-014-0097-7},
issn = {1573-0409},
year = {2014},
date = {2014-08-01},
journal = {Journal of Intelligent & Robotic Systems},
volume = {78},
pages = {127-142 },
abstract = {Autonomous aviation continuously becomes more and more important. Algorithms that enable this autonomy have developed quickly in the last years. This paper describes a concept for a reactive path planning algorithm. The aim is to develop a method for static obstacle avoidance of an unmanned aerial vehicle (UAV) by calculating collision-free paths within the field of view of a UAV’s obstacle detection sensor. In contrast to other algorithms, this method considers the properties of the obstacle detection sensors, plans paths that the UAV is able to track, and is applied in three-dimensional space without access to an inner loop controller. In this work we represent the field of view of a UAV as a grid map and apply the wavefront algorithm as the local path planning algorithm. We reduce the configuration space of UAVs within the field of view by calculating an approximated worst-case reachable set based on a linearized reference model. We evaluate the method with approximated specifications for the unmanned helicopters ARTIS and Yamaha RMAX, and with specifications for the obstacle detection sensors LIDAR {\textendash} and stereo camera. Experiments show that this method is able to generate collision-free paths in a region constricted by obstacles.},
keywords = {},
pubstate = {published},
tppubtype = {article}
}

@inproceedings{FODB:80901022,
title = {On Bringing Object-Oriented Software Metrics into the Model-Based World - Verifying ISO 26262 Compliance in Simulink},
author = { Lukas M\"{a}urer and Tanja Hebecker and Torben Stolte and Michael Lipaczewski and Uwe M\"{o}hrst\"{a}dt and Frank Ortmeier},
editor = {Springer International Publishing},
url = {https://cse.cs.ovgu.de/cse-wordpress/wp-content/uploads/2015/05/maeurer2014SAM.pdf
http://link.springer.com/chapter/10.1007%2F978-3-319-11743-0_15},
doi = {10.1007/978-3-319-11743-0_15},
isbn = {978-3-319-11743-0},
year = {2014},
date = {2014-01-01},
booktitle = {System analysis and modeling: models and reusability. - Berlin [u.a.] : Springer},
pages = {207-222},
publisher = {Springer},
series = {Lecture notes in computer science; 8769},
abstract = {For ensuring functional safety of electrical/electronic systems,
it is necessary to exclude malfunctions from hardware and software
as well as from the interaction of both. In today’s passenger
vehicles, more and more safety critical functionalities are implemented
in software. Thus, its importance for functional safety increases. The
dominating safety standard for the automotive domain (ISO 26262) considers
the software part and defines requirements for safety critical software.
However, applying and fulfilling the standard is a major problem
in industry. In this context, the paper presents a novel metric-based
approach to evaluate dataflow-oriented software architectures used in
many model-driven processes regarding the fulfillment of requirements
defined by ISO 26262 (in particular part 6). The core idea is to derive
metrics for model-based software from already existing, well-performing
metrics elaborated for other programming paradigms. To link metrics to
requirements fulfillment of ISO 26262, we briefly sketch the factor-criteriametrics
paradigm for this problem. Technically, this paper presents a
generic meta-model for dataflow systems, which is used to define the metrics.
We implemented this meta-model and the metrics as a prototype for
Matlab Simulink. As examples, two models of a 400 kW full Drive-by-
Wire experimental vehicle with all-wheel-steering, all-wheel-drive, and
electro-mechanical brakes are analyzed using this prototype.},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}