100 likes | 271 Views
PG SafeBots III. Developing Safe Software for Robots. Stefan Dziwok Christian Heinzemann Jörg Holtmann Oliver Sudmann. Software Engineering Group. Our fields of research : Model- based software engineering S afety analyses T ool development
E N D
PG SafeBots III Developing Safe Software for Robots Stefan Dziwok Christian Heinzemann Jörg Holtmann Oliver Sudmann
Software Engineering Group • Ourfieldsofresearch: • Model-basedsoftwareengineering • Safetyanalyses • Tool development • Numerousindustrialcooperations,e.g. with Prof. Dr. Wilhelm Schäfer Projektgruppe Entwurfstechnik Mechatronik PG SafeBots III
Software in Every Day Life Access violation at address 0x47110815 Press Space to exit _ Tom brakes by wire Tree approaching .. Tree approaching Tree approaching . Tree approaching ... Tom likes his new car ! ! ! ? PG SafeBots III
Model-based Software Engineering PG SafeBots III
Model-based Software Engineering • Formalization of requirements on software needed for automatic analyses and simulation • Usage of scenario-based approach • Important for safety-critical software: timing requirements PG SafeBots III
Model-based Software Engineering • Specifysystemmodelwithcomponentsandprotocolsforcommunicationbased on givenrequirements • Goal: reuse well-definedcomponentsandprotocolsto save time andmoney • Problem: Findingappropriatecomponentsandprotocolsthatfulfilltherequirements PG SafeBots III
Model-based Software Engineering • Verifycorrectimplementationofcommunicationbehaviorbyreusedcomponentsandprotocols • Synthesizebehaviorautomaticallyfornewlydevelopedcomponents PG SafeBots III
Model-based Software Engineering • Development processchangesduringtheproject • Depends on thesystemmodel • Goal: guidethedeveloperthroughtheprocess • Integration ofprocessengineand IDE PG SafeBots III
What you get • Experience in softwaredevelopment • Experience a realisticsoftwaredevelopmentprocess • Bepartofthe FUJABA community: • Paderborn, Antwerpen, Tartu, Kassel, Darmstadt, ... • Assistance in currentresearch • Chance topublishscientificpapers • Teamwork • Self-organizedwork in smallteams • Evaluation platform: BeBots • Socialevents (barbecue, New Years Party, …) • Work in thesoftwareengineering lab • (20 workplaces, coffee, nicepeople,…) Fujaba Real-Time Tool Suite IBM Real-Time Innovation Award Winner 2008 Project group Mauritius had a paper at the ICSE 2009 in Vancouver PG SafeBots III
Organization • supervisors: • Prof. Dr. Wilhelm Schäfer • Stefan Dziwok (stefan.dziwok@uni-paderborn.de, E3.145) • Christian Heinzemann (c.heinzemann@upb.de, E3.148) • Jörg Holtmann (jholtmann@s-lab.upb.de, E1.111) • Oliver Sudmann (oliversu@upb.de, E3.343) • First meetingofficialmeeting • Early october • http://www.cs.uni-paderborn.de/fachgebiete/fachgebiet-softwaretechnik/lehre/lehrveranstaltungen/projektgruppen/pg-safebots-iii.html Prof. Dr. Wilhelm Schäfer Oliver Sudmann Stefan Dziwok Christian Heinzemann Jörg Holtmann If you are interested: Please ask us after the talk or contact us via email. PG SafeBots III