1 / 10

PG SafeBots III

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

reba
Télécharger la présentation

PG SafeBots III

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. PG SafeBots III Developing Safe Software for Robots Stefan Dziwok Christian Heinzemann Jörg Holtmann Oliver Sudmann

  2. Software Engineering Group • Ourfieldsofresearch: • Model-basedsoftwareengineering • Safetyanalyses • Tool development • Numerousindustrialcooperations,e.g. with Prof. Dr. Wilhelm Schäfer Projektgruppe Entwurfstechnik Mechatronik PG SafeBots III

  3. 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

  4. Model-based Software Engineering PG SafeBots III

  5. 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

  6. Model-based Software Engineering • Specifysystemmodelwithcomponentsandprotocolsforcommunicationbased on givenrequirements • Goal: reuse well-definedcomponentsandprotocolsto save time andmoney • Problem: Findingappropriatecomponentsandprotocolsthatfulfilltherequirements PG SafeBots III

  7. Model-based Software Engineering • Verifycorrectimplementationofcommunicationbehaviorbyreusedcomponentsandprotocols • Synthesizebehaviorautomaticallyfornewlydevelopedcomponents PG SafeBots III

  8. Model-based Software Engineering • Development processchangesduringtheproject • Depends on thesystemmodel • Goal: guidethedeveloperthroughtheprocess • Integration ofprocessengineand IDE PG SafeBots III

  9. 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

  10. 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

More Related