© Software Engineering Research Group, Heinz Nixdorf Institute, University of Paderborn HEINZ...

© S

oftw

are

Eng

inee

ring

Res

earc

h G

roup

, H

einz

Nix

dorf

Ins

titut

e, U

nive

rsity

of

Pad

erbo

rn

HEINZ NIXDORF INSTITUTEUniversitiy of Paderborn

Software EngineeringProf. Dr. Wilhelm Schäfer

Developing Safe Software for Robots

PG SafeBots III

Stefan Dziwok

Christian Heinzemann

Jörg Holtmann

Oliver Sudmann

© S

oftw

are

Eng

inee

ring

Res

earc

h G

roup

, H

einz

Nix

dorf

Ins

titut

e, U

nive

rsity

of

Pad

erbo

rn



Software Engineering Group

Our fields of research: Model-based software engineering

Safety analyses

Tool development

Numerous industrial cooperations,e.g. with

Prof. Dr. Wilhelm Schäfer

2

Projektgruppe Entwurfstechnik Mechatronik

July 11, 2011PG SafeBots III

© S

oftw

are

Eng

inee

ring

Res

earc

h G

roup

, H

einz

Nix

dorf

Ins

titut

e, U

nive

rsity

of

Pad

erbo

rn



Software in Every Day Life

3

! ! !Tom likes his new carTom brakes by wireTree approachingTree approaching .Tree approaching ..Tree approaching ...

?

Access violation at address 0x47110815 Press Space to exit _

July 11, 2011PG SafeBots III

© S

oftw

are

Eng

inee

ring

Res

earc

h G

roup

, H

einz

Nix

dorf

Ins

titut

e, U

nive

rsity

of

Pad

erbo

rn



Model-based Software Engineering

4July 11, 2011

Development ProcessSystem Model

Analysis

Counterexample

OK

Verfication

Textual RequirementsFormal Requirements

PG SafeBots III

© S

oftw

are

Eng

inee

ring

Res

earc

h G

roup

, H

einz

Nix

dorf

Ins

titut

e, U

nive

rsity

of

Pad

erbo

rn




5July 11, 2011


Analysis

Counterexample

OK

Verfication

Textual RequirementsFormal Requirements 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

© S

oftw

are

Eng

inee

ring

Res

earc

h G

roup

, H

einz

Nix

dorf

Ins

titut

e, U

nive

rsity

of

Pad

erbo

rn




6July 11, 2011


Analysis

Counterexample

OK

Verfication

Textual RequirementsFormal Requirements Specify system model with components and protocols for

communication based on given requirements

Goal: reuse well-defined components and protocols to save time and money

Problem: Finding appropriate components and protocols that fulfill the requirements

System Model

PG SafeBots III

© S

oftw

are

Eng

inee

ring

Res

earc

h G

roup

, H

einz

Nix

dorf

Ins

titut

e, U

nive

rsity

of

Pad

erbo

rn




7July 11, 2011


Analysis

Counterexample

OK

Verfication


Verify correct implementation of communication behavior by reused components and protocols

Synthesize behavior automatically for newly developed components

Analysis

Counterexample

OK

Verfication

PG SafeBots III

© S

oftw

are

Eng

inee

ring

Res

earc

h G

roup

, H

einz

Nix

dorf

Ins

titut

e, U

nive

rsity

of

Pad

erbo

rn




8July 11, 2011


Analysis

Counterexample

OK

Verfication


Development process changes during the project

Depends on the system model

Goal: guide the developer through the process

Integration of process engine and IDE

Development Process System Model

Organizational Goalscost

min.

quality

max.

duration

min.

PG SafeBots III

© S

oftw

are

Eng

inee

ring

Res

earc

h G

roup

, H

einz

Nix

dorf

Ins

titut

e, U

nive

rsity

of

Pad

erbo

rn



What you get

Experience in software development Experience a realistic software development process Be part of the FUJABA community:

• Paderborn, Antwerpen, Tartu, Kassel, Darmstadt, ...

Assistance in current research Chance to publish scientific papers

Teamwork Self-organized work in small teams

Evaluation platform: BeBots

Social events (barbecue, New Years Party, …)

Work in the software engineering lab (20 workplaces, coffee, nice people,…)

9July 11, 2011

Project group Mauritius had a paper

at the ICSE 2009 in Vancouver

Fujaba Real-Time Tool Suite

IBM Real-Time Innovation Award Winner 2008

PG SafeBots III

© S

oftw

are

Eng

inee

ring

Res

earc

h G

roup

, H

einz

Nix

dorf

Ins

titut

e, U

nive

rsity

of

Pad

erbo

rn



Organization

supervisors: Prof. Dr. Wilhelm Schäfer Stefan Dziwok ([email protected], E3.145) Christian Heinzemann ([email protected], E3.148) Jörg Holtmann ([email protected], E1.111) Oliver Sudmann ([email protected], E3.343)

First meeting official meeting Early october

http://www.cs.uni-paderborn.de/fachgebiete/fachgebiet-softwaretechnik/lehre/lehrveranstaltungen/projektgruppen/pg-safebots-iii.html

10July 11, 2011

Prof. Dr. Wilhelm Schäfer

Christian Heinzemann

If you are interested:

Please ask us after the talk

or contact us via email.

Stefan Dziwok Jörg Holtmann Oliver Sudmann

PG SafeBots III

© Software Engineering Research Group, Heinz Nixdorf Institute, University of Paderborn HEINZ...

Documents

Transcript of © Software Engineering Research Group, Heinz Nixdorf Institute, University of Paderborn HEINZ...