[FOSDEM] Proposal for presentation at the Ada developer room

[Teissl Julia]

To whom it may concern,

I (Julia Teissl) work as a research assistant  FH Campus Wien and also studied there. I started with a Bachelor degree in Information Technology and Telecommunication and completed my education with a Master degree in Embedded Systems Engineering.
My talk would be about:

Autonomous train control system

Numerous small villages in Austria have lost their connections to the railway network because it was no longer cost-effective to operate under a regular schedule. To re-establish these connections, FH Campus Wien started the project „autonome, schienengebundene, on-Demand, open-Track Systeme“ AuSoDoTS (Autonomous rail bound on-Demand Open Track systems) project. The project’s objective is to develop a concept for how to safely operate small autonomous trains, without a fixed schedule. Trains are only approaching to stations when a passenger explicitly requests them by pressing a button at the station or using a mobile app.
A short track from Liesing at the edge of Vienna to Kaltenleutgeben, a small town in Lower Austria, could be one of the first test locations.
As a first approach a small model railway has been built. The model has two purposes. One is to find the optimal placement for passing loops where trains can pass each other, since the connection is mostly single track. The other is to test different scheduling algorithms for on-Demand service. To fulfill the strict safety aspects of a passenger transportation system, the programming language Ada is used and in following versions SPARK will be used as it can be formally verified to be correct then.

For more information: https://blog.adacore.com/train-control-using-ada-on-a-raspberry-pi

More information about me:
I am teaching Ada/SPARK, microcontroller programming, FreeRTOS at FH Campus.
For fun I develop synthesizers with STM32F4s and Arduinos and try to explore the world of neuronal networks.[cid:5CCA0DBF-2F72-47CC-A613-C6A578616254 at FH-CAMPUSWIEN.LOCAL]
Liebe Grüße

Julia Teissl

> > > > > > > > > > > > > > > > > > > > > >
Julia TEISSL BSc MSc
Wissenschaftliche Mitarbeiterin

FH Campus Wien
Masterstudium Embedded Systems Engineering
Favoritenstraße 226, Raum B.3.04
1100 Wien, Austria
T: +43 1 606 68 77-2432
F: +43 1 606 68 77-2439
julia.teissl at fh-campuswien.ac.at<mailto:julia.teissl at fh-campuswien.ac.at>
www.fh-campuswien.ac.at<http://www.fh-campuswien.ac.at>








Informationen zum Datenschutz: www.fh-campuswien.ac.at/datenschutzerklaerung
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.fosdem.org/pipermail/fosdem/attachments/20181211/ef8f7b7f/attachment-0001.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: photo.png
Type: image/png
Size: 538860 bytes
Desc: photo.png
URL: <https://lists.fosdem.org/pipermail/fosdem/attachments/20181211/ef8f7b7f/attachment-0001.png>