SEPTEMBER 29, ERLANGEN

Transkript

1 S PEAKERS Stefan Milius Associate Professor University of Baseliyos Jacob Engineer Deutsch Bahn NETZ AG SEPTEMBER 29, 5 - ERLANGEN Frank Golatowski Senior Research Assistant University of Rostock The annual European SCADE Academic meeting The S.A.C.C. brings together Universities, Research Centers and the Industry to share their experience, discuss key subjects about system and software technology, and provides insights and reflexion about world promises to be answered. This conference will be the place to share useful and interesting information about hot topics for which SCADE products provide answers. You will gain ground on current initiatives and get up to speed on the latest product releases, trends, tips and techniques, and network with experts, colleagues and keynotes, from a variety of backgrounds. The 5 SCADE Academic Community Conference is nicely hosted by the Friedrich-Alexander University of -Nuremberg and will be held on the 29 th of September, 5. Partners Thorsten Schulz Research Assistant University of Rostock Eugene Asarin Department Responsible EIDD - University of Paris VII Register now! LEARN MORE AND REGISTER NOW!

2 09:00 am 09: am Welcome Coffee & Registration 09: am 09:45 am Opening Comments & Program Overview Lothar Pfeifer, Senior Consultant, ANSYS - Esterel Technologies 09:45 am 10: am Formal verification of systems of synchronous software components Stefan Milius, Associate Professor, Friedrich-Alexander University of - Nuremberg, 10: am 11:10 am Break & Demos 11:10 am 11:55 am The advantage of formal methods in railway systems - Development of ERTMS with formal methods Baseliyos Jacob, Engineer, Deutsch Bahn NETZ AG, 11:55 am 12:40 pm Modeling Speed and Distance Monitoring of the European Standard for Train Control Systems ETCS Frank Golatowski, Senior Research Assistant, University of Rostock, Thorsten Schulz, Research Assistant, University of Rostock, 12:40 pm 2:10 pm Lunch & Demos 02:10 pm 2:55 pm What is the new approach to prototyping using model-based methods and continuous physical simulation? Christian Schräder, Technical Director, ANSYS - Esterel Technologies Gerd Prillwitz, Customer Excellence Engineer, ANSYS - Esterel Technologies 02:55 pm 3:40 pm Teaching model-based design with SCADE in Engineering School Eugene Asarin, Responsible of the Informatics and Embedded Software department, EIDD University of Paris VII, France 03:40 pm 04: pm Break & Demos 04: pm 04:45 pm What s next with the SCADE Academic Program? Chloe Dasse, Academic Program Manager, ANSYS - Esterel Technologies 04:45 pm 05:00 pm Lottery Prize - Closing remarks & Q&A Session Lothar Pfeifer, Senior Consultant, ANSYS - Esterel Technologies 05:00 pm Goodbye & See you soon Contact Information scade-sales@ansys.com Direct general questions about the SCADE Academic Program scade-academics@ansys.com Discover the latest news on our products and technology at

3 Stefan Milius Associate Professor Friedrich-Alexander University of -Nuremberg The Friedrich-Alexander University -Nuremberg was founded in It is a strong research university with an international perspective. Teaching at the University is closely linked to research and focuses on training students in both theory and practice to enable them to think critically and work independently. The research itself also strikes the perfect balance between a theoretical approach and practical application. Stefan Milius is associate professor at the department for theoretical computer science at Friedrich-Alexander University - Nuremberg. His research topics are the basics of the semantics of state based systems and formal verification of safety critical systems. Baseliyos Jacob Engineer Deutsch Bahn NETZ AG Baseliyos Jacob works as engineer at the DB NETZ AG. He started working for the DB Systel GmbH, the IT inhouse-company of DB AG, as a construction supervisor for signaling- and telecommunication-infrastructure projects from 2 to 5. He received his Diploma in Electrical Engineering in information- and communication-technologies from the University of Applied Sciences of Augsburg in 0. After the graduation he worked as a district manager at the DB NETZ AG infrastructure signaling department. Later he switched to a senior advisor position for ETCS (European Train Control System) and ATP (Automatic Train Protection) onboard systems at the DB Fernverkehr AG, the long-distance subsidiary of the DB AG. There he gained his first experiences in commercial Industry-Rolling-Stock-CCS (CONTROL-COMMAND and SIGNALLING)-Projects such as the ICE ETCS Retrofit and DB Fernverkehr AG ETCS rolling-out strategy. He decided to exploit his experience and knowledge in Onboard ETCS and Rail IT-Systems for Research and Development projects such as the multinational openetcs@itea2 at the DB NETZ AG. In 4, he received his Master of Business Administration in General Management from the University of Wales. Frank Golatowski Senior Research Assistant University of Rostock Frank Golatowski is a research associate at the Institute of Applied Microelectronics and Computer Science at the University of Rostock. He heads the research department of Industrial computer science with topics related to safety-critical distributed embedded systems. He currently leads three large industrial research projects at the University. In the BMBFfunded ITEA OpenETCS project, which includes about partners from seven countries, he works, among others on the modeling of the European standard for Train Control Systems (ETCS), where in particular SCADE is being used. The presentation is prepared jointly with Thorsten Schulz, Research Assistant at the University of Rostock. Eugène Asarin Responsible of the Informatics and Software department EIDD University of Paris Diderot France Eugene Asarin graduated in Mathematics from Moscow State University in He received his PhD in System Analysis from the Institute for Control Science (Moscow) in He was a senior researcher at the same institute and at the Institute for Information Transmission Problems in Moscow. In 1999 he got a position of professor in Computer Science at the University of Grenoble in France and joined the Verimag laboratory. In 3 he moved to the University Paris Diderot and LIAFA laboratory; since 0 Prof. Asarin heads the Computer Science department of the engineering school at the same university - École d Ingénieur Denis Diderot. Eugene Asarin s research interests include cyber-physical (hybrid and timed) systems, computer-aided verification and information theory. The presentation is prepared jointly with Mihaela Sighireanu, professor at the EIDD and the University of Paris Diderot and member of the LIAFA.

4 Christian Schräder Technical Director ANSYS Esterel Technologies Christian Schrader, Technical Manager of Central Europe, graduated from the Carl von Ossietzky University in Oldenburg, where he received his diploma in Computer science and embedded systems. In 6, he joined ANSYS - Esterel Technologies as a field application engineer before being promoted to his current role as a Technical Manager for Central Europe. Gerd Prillwitz Customer Excellence Engineer ANSYS - Esterel Technologies Gerd Prillwitz has been EDA Professional with 25 years of EDA experience. He works in all fields from ASIC/IC Design to FGPA and PCB and RF Design. He has been in multiple roles in Applications Engineering, Project Management and Consulting. Lothar Pfeifer Senior Consultant ANSYS Esterel Technologies Lothar Pfeifer is a Senior Consultant for Customers located in Central Europe. After graduating from the Carl von Ossietzky University in Oldenburg, Lothar Pfeifer started to work as a consultant for Siemens AG, in the area of Product Lifecycle Management before joining ANSYS - Esterel Technologies in 8 as a field application engineer. Since then he worked in the domain of Model-based Design of safety critical systems as consultant and managed customer projects. He is in charge of the ANSYS - Esterel Technologies Academic Program for Central Europe. Chloe Dasse Academic Program Manager ANSYS Esterel Technologies France Chloe Dasse is the E-Training Program Manager and the Academic Program Manager of the System Business Unit of ANSYS. She focuses on the SCADE products family and on the ANSYS Simplorer product. She implements the e-learning strategy for ANSYS SBU customers and partners and foster the community of the worldwide academic entities around the System Business Unit of ANSYS.

5 SACC Contacts Date September 29, 5 Friedrich-Alexander University of -Nuremberg University of -Nuremberg Room K2-119 Erwin-Rommel-Straße Organization contacts Chloe DASSE - Academic Program Manager Phone: Fax: chloe.dasse@esterel-technologies.com Lothar PFEIFER - Senior Application Engineer for Central Europe Phone: lothar.pfeifer@esterel-technologies.com

6 König Otto Hotel Henkestraße Tel. +49 (0) Fax +49 (0) To reserve your hotel, please contact Azadeh Fouladvand that will get you the negotiated event price of 110. Phone: Fax: Train station Hotel (15 mn)

7 University -Nürnberg Airport (40 mn)

8 Transportation Car rental Europcar Phone: Avis Phone : Hertz Phone : Budget Phone: Taxis Taxi Zentrale / Nürnberg Phone: Airport Taxi Center Phone: Public Transportation S-Bahn Web Site: Buses Web Site:

9 Pfälzer Verkehrsnetz Stand: Neuses An der Kapelle 3 Höchstadt (Aisch) 5 Höchstadt (Aisch) 2 Neustadt (Aisch) Weisendorf Karauschenweg Großauweiher Haundorfer St. Michael Westfriedhof Abzweigung Grünauweg Weisendorfer Zambelli Westerwaldweg Mönau Sportplatz 2 5 Joseph- Will- Straßberg Feuerwehrhaus Naturbad Loheweg Großer 283 Bischofsweiher Heusteg Klinikum am Europakanal Dreiberg Odenwaldallee Würzburger Ring Neuweiher Aschaffenburger Heinrich- Kirchner- Nord Donato- Polli- Markt Diakonisches Zentrum Am Hafen Gerätewerk Am er Damm Lessing Gaisbühl Aurachbrücke Schule Budapester weiher Dechsendorfer Weiher 283 Zum Hutacker er Main- Donau- Kanal Main- Donau- Kanal Schallershof Frankenwaldallee Schule Steigerwaldallee Elly-Heuss- Brücken/ Wallenrod Regnitz Kirche Süd Schorlach Regnitzweg Am Kreuzstein Egidienkirche Kunigundenkirche Volckamer Äußere er / Paul-Gossen- Weidenweg er Weg Fürstenweg Regnitz Kanal Tucher 284 S 1 R 2 4 Werker Heiligenloh Böttigersteig Essen- Rathsberger Waldkrankenhaus bacher St. Johann Möhrendorfer Essenbacher 73 Brücke Palm Adalbert- Luzernenweg Schlachthof Stifter- Haag Schwabachanlage Atzelsberger Steige Kosbacher Weg Martin- Luther- Rennes Albert-Schweitzer- Platz Maximiliansplatz/ Hindenburg Theresiakirche Eskilstuna- Gymnasium Altstadt markt Kliniken Lorlebergplatz Schiller Schronfeld 284 Schulzentrum West Hauptbahnhoplatz Kranken- Hugenotten- Berufsschulzentrum Markus- Im Heuschlag haus Schallershofer Zollhaus kirche Obere Hartmann Gedeler Karl Stubenloh Schelling/ T Baumwollspinnereplatz MVC Wirtschaftsschule Arcaden Langemarck- Siemens Med Röthelheimpark-Zentrum Neuer Veit-Stoß- Siemensverwaltung Mozart Ruppenstein- Marie-Curie- Doris- Grasweg Markt Zentralfriedhof Brahms Luise-Kiesselbach- Am alten Weiher Neumühle Werner-v.- Anton-ner- Siemens- Hutweide Schenk Pommern Berliner Platz Am Anger Ohmplatz Röthelheimbad Ost ERLANGEN Sonnenblick Siemens- Bayern Stintzing Stadion Fridericianum Röthelheimbad Industriepark Gostenhofer Bahnhof Graf-Zeppelin- Neuenweiher Schleusen Hüttendorf Tulpenweg Neumühle Geisberg-Ost Kellergasse An der Marter Franken Feld Neue Straße Meisenweg er Weg Hofgartenweg Paul-Gossen- Langfeld Bahnhof Heideweg Mitte Erlanger Bubenreuth Mitte Röntgen Scherleshofer Emil-v.-Behring- Gymnasium Buckendorf/Spardorf Hans-Paulus- Kirche Kolde Schornbaum 3 Gebbert Wehnelt/ AREVA Zeidelweide Klein- Henri- Dunant- Eggenreuther Weg Haupt Frauenweiher Roncallistift Görlitzer Walderlebniszentrum Skulpturenpark Bachfeld 284 Forschungszentrum Bierlachweg Bahnhof Felix- Bussard Kath. Kirche Am Rundblick Eichenplatz Marienplatz Rathsberg Schloßweg Rathsberg Ost Damaschke Wohnstift Rathsberg Max-Planck- Gleiwitzer Am Pestalozziring Wein Haselhof Saidelsteig S 1 R 2 Fürth Nürnberg Hartmannshof Fürth Nürnberg S 1 R 2 Lichtenfels Schney Süd Stettiner Süd Böhmlach Baiersdorf E E 284 Theodor-Heuss-Anlage Thomaskirche Technische Fakultät Bräuningshof 4 Wetterkreuz Am Weichselgarten Brückleinsgasse E Atzelsberg Baiersdorf 8 S 1 R 2 E S T 8 Adlitz Erlanger Marloffstein Feuerwehrhaus Obere Büch Uttenreuth Rathaus Kindergarten Am Ruhstein T 8 Effeltrich Nürnberg Lauf (links Peg) Hartmannshof Nürnberg Fürth Lichtenfels Schney Großgründlach Arcaden Neuses Neustadt (Aisch) Weisendorf Höchstadt (Aisch) Höchstadt (Aisch) Breslauer Marloffsteiner Effeltrich Neunkirchen a.br. Eckental Neunkirchen a.br. Heroldsberg Neunkirchen a. Br. Hetzles Effeltrich Poxdorf Kersbach Neunkirchen a. Br. Hetzles Rosenbach Weiher Hindenburg Atzelsberg Baiersdorf Arcaden Bubenreuth Schlachthof Möhrendorf Weiher S 1 R 2 Gerberei Parkplatz Münchener 8- Am Ehrenfriedhof Baumwollspinnerei 284 Gerätewerk/Schallershof Hüttendorf Dechsendorf Sieglitzhof Max-Planck- Arcaden 2 5 Münchener Fuchsengarten S 1 R Rosenbach 225 Neunkirchen a. Br Am Färberhof Fried.- List- Spinnerei- Äußere er T Ndl. Stadtmauer Pfarr Schul W estliche Stadt- mauer- Lazarett Güter- hallen Güterbahnhof- Neunkirchen a. Br. Eckental Neunkirchen a. Br. Heroldsberg Neunkirchen a. Br. Hutweide Engel- Apothekerg. Nägelsbach- Nürnberger Goe- the- Haupt- Pauli Helm Haupt- Haupt Südl. Stadtmauer- Zambelli Max-Planck- Steudach Westfriedhof Zambelli Schiff Gerstenberg Halbmond Wöhr Inn. er S. Vierzigmann Har- fen Universitäts- Unt. Karl Schuh- Schuh- Henke- Turn Loschge- Beethoven Brahms Kranken- haus- Siebold- Francke Holzgarten Werner-von-Siemens- Schubert Richard-Strauss- Zeppelin 3 5 Rathauspl. Sedan Anlagen Raumer- Walter-Flex- Hofmann Mozart Ulmenweg Östl. Stadtmauer- Wald- Gabelsberger Schuckertplatz Glück- Obere Karl- Marquardsen Fahr- Friedrich Bauhof Kuttler Theater Wasserturm Kirchen Hindenburg Cedern Kath. Kirchenpl. Maximiliansplatz Ohm Bohlenplatz 284 Bismarck Luitpold- Stuben- loh Am Bachgraben Stadtwerke Martin-Luther- Martin-L Platz uther-pl. Neue Maximiliansplatz/ Kliniken Theaterplatz Hindenburg Altstadtmarkt Schiller /E 2 Lorlebergplatz Lorleberg Schloßplatz Fichte Markt- pl. 5 pl. Hugenottenplathaus Kranken- Huge- Bahnhofpl. Hauptpl. Obere notten- Zollhaus bahnhof Karl Stubenloh Arcaden S Langemarck- Lange- markplatz E Klinikum Am Europakanal Roncalli-Stift Waldkrankenhaus Klinikum Am Europakanal Nord Waldkrankenhaus Steudach Westfriedhof Zambelli Röthelheimpark Sieglitzhof Gebbert W.-v.-Siemens- Wirtschaftsschule Linienbedarfstaxi (Tel /19410) P+R-Anlage Hindenburg Koch Schiller Fichte Feld- Werner-von-Siemens- Henke Siemens Verwaltung Brahms Werner-von-Siemens- Gebbert Loewe- nich- Max-Busch Stand 1/5 VAG Verkehrs-Aktiengesellschaft Nürnberg

10 Verkehrsnetz Stand: R2 S1 E Nürnberg Fürth Lichtenfels Schney Hartmannshof Nürnberg Fürth Großgründlach Neustadt (Aisch) Bubenreuth Werker Dechsendorf 284 Sieglitzhof T Neunkirchen am Brand Eckental Heroldsberg Baiersdorf Bubenreuth Schlachthof Hutweide Klinikum Am Europakanal Waldkrankenhaus Höchstadt (Aisch) Klinikum Am Europakanal Nord Pommern Roncallistift Waldkrankenhaus Steudach Westfriedhof Zambelli Röthelheimpark Röthelheimpark Sieglitzhof Heiligenloh Heusteg S1 Böttigersteig Essenbacher Essenbacher Brücke 2 St. Johann Palm Möhrendorfer Klinikum am Europakanal Alterlangen Altstadt markt Joseph-Will- Neuweiher DonatoPolli- Karauschenweg Großauweiher Zambelli An der Kapelle Frankenwaldallee St. Michael Steudach Zentralfriedhof Forschungszentrum Gerätewerk Zum Hutacker Am er Damm Lessing Linienbedarfstaxi (Tel /19410) Gaisbühl Sportplatz Kirche Elly-Heuss- Brücken/Wallenrod Bahnhof Fürstenweg Süd Kanal Aurachbrücke Abzw. Neustadt (Aisch) Schule Budapester Feuerwehrhaus Graf-Zeppelin- Egidienkirche Regnitzweg Kunigundenkirche Volckamer Doris-Ruppenstein- Am Ruhstein Hutweide Heroldsberg Röthelheimbad Roncallistift Röthelheimbad Ost Gleiwitzer Fridericianum Thomaskirche Görlitzer Theodor -HeussAnlage Stettiner Technische Fakultät Süd HenriDunant Böhmlach Walderlebniszentrum Max-Planck- Tucher weiher Hüttendorf Tulpenweg 9 Neunkirchen am Brand Eckental Röntgen Haselhof Am Pestalozziring Am Kreuzstein Neuenweiher Kindergarten Effeltrich Eggenreuther Weg Weidenweg Bf. Schleusen Bachfeld Industriepark Gostenhofer FelixKlein- Am Bachgraben Bierlachweg Obere Büch 8 Berliner Platz er Weg Schorlach Geisberg-Ost Neuses Schallershof Wehnelt/ AREVA 284 Sonnenblick Zeidelweide Am alten Weiher Luise-Kiesselbach Gebbert PaulGossen- Markuskirche Grasweg Wirtschafts schule RöthelheimparkMarie-Curie- Zentrum Siemens Med SiemensStadion Kolde Am Hafen P+R-Anlage Mozart Stintzing Am Anger Bayern Langfeld Neumühle Schenk Schornbaum Westfriedhof Gedeler Schelling/ MVC Antonner- Werner-vonSiemens- Ohmplatz Pommern Berufsschulzentrum T Langemarckplatz SiemensVerwaltung 3 5 Neumühle Diakonisches Zentrum 284 Im Heuschlag Hartmann Brahms Äußere er/ Paul-Gossen- Wirtschaftsschule Zollhaus Eskilstuna Schronfeld Schiller Lorlebergplatz Markt Sieglitzhof Obere Karl Veit-Stoß- Schule Theresiakirche Hindenburg Krankenhaus Arcaden Straßberg Haundorfer Baumwollspinnerei Nord Mönau Häusling Schallershofer er 8 9 Schulzentrum West Rennes Schwabachanlage Stubenloh Steigerwaldallee HeinrichKirchner- Aschaffenburger Westerwaldweg Kosbach A.-SchweitzerGymnasium Oden- Würzburger Ring waldallee Atzelsberger Steige E Bahnhof Maximiliansplatz/ Kliniken Kosbacher Weg Dreiberg AdalbertStifter- Schlachthof Rathsberger Haag Weisendorfer Weisendorf Baiersdorf Atzelsberg Rathsberg Waldkrankenhaus Martin-LutherPlatz Zambelli Max-Planck- Möhrendorf Dechsendorf nach Bedarf (ganztags) Steudach Westfriedhof Zambelli Höchstadt (Aisch) Effeltrich Max-Planck- 283 Loheweg 3 5 R 2 Schney Lichtenfels Dechsendorfer Weiher Naturbad Grünauweg Gerätewerk/Schallershof Hüttendorf 283 Weisendorf Höchstadt (Aisch) Bahnhof S1 R2 Fürth Nürnberg Wein Saidelsteig Brückleins- gasse Am Weichselgarten Frauenweiher Skulpturenpark Süd Wetterkreuz E Nürnberg V