Wol

fgan

g P

ree

Uni

vers

ität S

alzb

urg

ww

w.S

oftw

areR

esea

rch.

net

Sof

twar

e-T

echn

olog

ie:

Sta

nd d

er K

unst

und

Her

ausf

orde

rung

enU

niv

ersi

tät

Sal

zbu

rg

© 2

003,

W. P

ree

2U

niv

ersi

tät

Sal

zbu

rg

Kon

text

�D

as P

hän

omen

Sof

twar

e

�W

ie k

ann

Sof

twar

e in

geni

eurm

äßig

entw

icke

lt w

erde

n?

�S

oftw

aret

echn

ik –

Quo

vad

is?

© 2

003,

W. P

ree

3U

niv

ersi

tät

Sal

zbu

rg

Das

Phä

nom

enS

oftw

are

© 2

003,

W. P

ree

4U

niv

ersi

tät

Sal

zbu

rg

Die

Uni

vers

alm

asch

ine

Com

pute

r m

acht

Sof

twar

e al

lgeg

enw

ärtig

ca. 7

0 P

roze

ssor

enim

Aut

o

Sat

ellit

en-,

Flu

gzeu

gste

ueru

ngen

© 2

003,

W. P

ree

5U

niv

ersi

tät

Sal

zbu

rg

Qua

lität

ist w

esen

tlich

sch

lech

ter

als

bei

ande

ren

Pro

dukt

en

�S

oft

war

efeh

ler/

-män

gel

mit

dras

tisch

en A

usw

irkun

gen:

�Y

2K, €

-Um

stel

lung

�fe

hler

hafte

Fin

anzt

rans

aktio

nen

�A

bstü

rze

(zB

Aria

ne: $

800

Mio

.)

�. .

.

© 2

003,

W. P

ree

6U

niv

ersi

tät

Sal

zbu

rg

Was

ist b

eson

ders

an S

oftw

are?

© 2

003,

W. P

ree

7U

niv

ersi

tät

Sal

zbu

rg

Die

Pro

blem

e be

i der

Her

stel

lung

von

Sof

twar

e re

sulti

eren

aus

der

Kom

plex

ität d

er z

u re

alis

iere

nden

Pro

dukt

e

�S

pez

ifik

atio

n d

er A

nfo

rder

un

gen

�B

eher

rsch

un

g d

er K

om

ple

xitä

t

�W

ied

erve

rwen

du

ng

/Hal

bfa

bri

kate

,Ä

nd

erb

arke

it u

nd

Erw

eite

rbar

keit

�A

uto

mat

isie

run

g im

Her

stel

lun

gsp

roze

ß

�P

ort

abili

tät

�D

okum

enta

tion

�P

rod

ukt

erg

on

om

ie (

Men

sch

-Co

mp

ute

r-S

chn

itts

telle

)

�P

roje

ktor

gani

satio

n u.

-ko

ntro

lle�

Qua

lität

ssic

heru

ng u

nd -

bew

ertu

ng�

Per

sone

nuna

bhän

gigk

eit

�K

oste

nabs

chät

zung

Pro

toty

ping

Pro

gram

mie

rmod

elle

Ent

wur

fsm

uste

rF

ram

ewor

ks

Psy

chol

ogie

(zB

Pia

get)

© 2

003,

W. P

ree

8U

niv

ersi

tät

Sal

zbu

rg

Bei

spie

l:P

robl

em d

er e

xakt

enS

pezi

fikat

ion

© 2

003,

W. P

ree

9U

niv

ersi

tät

Sal

zbu

rg

Ein

e ex

akte

Spe

zifik

atio

n is

t oft

unpr

aktik

abel

geg.

:n ≥

3,

L: N

n →

N

ges.

:Ein

Pro

gram

m P

, sod

ass

a: N

3 →

Nn

, sod

ass

L(a i

) ≥

L(a

J)1

≤ i ≤

3

j

ε N

n \

U {

ak }

1 ≤

k ≤

j

inj

© 2

003,

W. P

ree

10

Un

iver

sitä

tS

alzb

urg

... im

Ver

glei

ch z

ur n

icht

exa

kten

ver

bale

n S

pezi

fikat

ion

Geg

eben

ist e

ine

List

e m

it m

inde

sten

s dr

eipo

sitiv

en Z

ahle

n.

Ges

ucht

ist e

in P

rogr

amm

P, d

as d

ie In

dize

s de

rdr

ei g

röß

ten

Ele

men

te d

er L

iste

lief

ert.

© 2

003,

W. P

ree

11

Un

iver

sitä

tS

alzb

urg

Mei

ster

ung

der

Kom

plex

ität

© 2

003,

W. P

ree

12

Un

iver

sitä

tS

alzb

urg

Bei

kla

ssis

chen

Inge

nieu

rdis

zipl

inen

gilt

:

�S

chle

chte

Qua

lität

läß

t sic

h ka

umve

rber

gen

�T

ür z

u ei

nem

Rau

m g

eht n

icht

gut

auf

�un

nötig

e S

chn

örks

el fa

llen

auf

→→→→ „5

. Rad

am

Wag

en“

�D

ie R

esso

urce

n si

nd b

esch

ränk

t�

inge

nieu

rmäß

iges

Her

ange

hen

bede

utet

, unt

er d

en g

egeb

enen

Rah

men

bedi

ngun

gen

zu o

ptim

iere

n

© 2

003,

W. P

ree

13

Un

iver

sitä

tS

alzb

urg

Bei

Sof

twar

e hi

ngeg

en is

t sch

lech

te Q

ualit

ätni

cht u

nmitt

elba

r si

chtb

ar

�sc

hlec

hte

Str

uktu

rieru

ng�

„Spa

ghet

ti“-P

rogr

amm

code

:R

adw

echs

el =

> M

otor

funk

tioni

ert

nich

t meh

r�

repl

izie

rter

Pro

gram

mco

de

�ka

um W

iede

rver

wen

dung

�da

s R

ad w

ird im

mer

neu

erf

unde

n

© 2

003,

W. P

ree

14

Un

iver

sitä

tS

alzb

urg

Inge

nieu

rmäß

iges

Vor

gehe

n sc

hein

t sic

h ni

cht

ausz

uzah

len

�H

ardw

are-

Res

sour

cen

wer

den

nach

Moo

re‘s

Law

pot

ente

r; d

er g

edan

kenl

ose

Um

gang

dam

itfü

hrt z

u

�un

nötig

er K

ompl

exitä

t

�ni

cht m

ehr

vers

tehb

aren

Art

efak

ten

Win

dow

s X

P:

20,0

00.0

00 (

!!) Z

eile

n P

rogr

amm

code

27,5 m

Obe

ronO

S (

ET

H Z

H)

30.0

00 Z

eile

nP

rogr

amm

code

4,1 cm

© 2

003,

W. P

ree

15

Un

iver

sitä

tS

alzb

urg

Wie

kan

n S

oftw

are

inge

nieu

rmäß

igen

twic

kelt

wer

den?

© 2

003,

W. P

ree

16

Un

iver

sitä

tS

alzb

urg

Exk

urs:

Was

mac

ht S

oftw

are?

Ein

gab

eA

usg

abe

Ver

arb

eitu

ng

Arb

eits

spei

cher

schn

ell z

ugre

ifbar

eD

aten

+ P

rogr

amm

e

Pro

zess

or (

CP

U)

Ste

uers

igna

le

Dat

en

Tas

tatu

rM

aus

CD

Dig

italk

amer

a...

Bild

schi

rmD

ruck

erD

isk

Laut

spre

cher

...

© 2

003,

W. P

ree

17

Un

iver

sitä

tS

alzb

urg

Fot

o vo

n di

gita

ler

Kam

era

bear

beite

n

90 °

Far

ben

weg

© 2

003,

W. P

ree

18

Un

iver

sitä

tS

alzb

urg

wei

tere

Bei

spie

le

AB

S im

Au

to

�E

ing

abe:

Um

dreh

ungs

gesc

hwin

digk

eite

n (U

) de

rR

äder

�V

erar

bei

tun

g:

Prü

fung

, ob

bei b

etät

igte

r B

rem

seU

=0

�A

usg

abe:

ent

spre

chen

de S

teue

rung

der

Bre

msk

raft

Ban

küb

erw

eisu

ng

�E

ing

abe:

Übe

rwei

sung

sdat

en (

Ein

zahl

er,

Em

pfän

ger,

Bet

rag)

�V

erar

bei

tun

g:

Gül

tigke

itspr

üfun

gen

�A

usg

abe:

Buc

hung

szei

len

auf K

onte

n

© 2

003,

W. P

ree

19

Un

iver

sitä

tS

alzb

urg

Pro

gram

mie

rspr

ache

n-ko

nstr

ukte

als

Bas

is v

onS

oftw

are-

Arc

hite

ktur

© 2

003,

W. P

ree

20

Un

iver

sitä

tS

alzb

urg

von

Ein

zelte

ilen

zu K

ompo

nent

en

50er

Jah

re�

Mas

chin

en-/

Ass

embl

er-P

rogr

amm

e: a

uf b

estim

mte

nP

roze

ssor

zug

esch

nitte

n60

er/7

0er

Jah

re�

höh

ere

Pro

gram

mie

rspr

ache

n (w

ie P

asca

l, C

)�

An

wei

sun

gen

kö

nn

en z

u F

un

ktio

nen

/Pro

zed

ure

nzu

sam

men

gef

asst

wer

den

→→→→ E

inze

lteile

, Sch

raub

en, e

tc.

80er

/90e

r Ja

hre

�F

un

ktio

nen

/Pro

zed

ure

n w

erd

en z

u M

od

ule

nzu

sam

men

gef

asst

(M

odul

a, O

bero

n, C

++

, Jav

a, C

#) →→→→

Sof

twar

e-K

ompo

nent

en

© 2

003,

W. P

ree

21

Un

iver

sitä

tS

alzb

urg

Bei

spie

l: K

ompo

nent

e F

ile-H

andl

er

vers

teck

te Im

ple

men

tier

un

gsd

etai

ls:

Zug

riff a

uf F

estp

latte

Auf

split

ten

des

Inha

lts e

ines

File

s

etc.

File

lese

n

File

sch

reib

en

. . .

einfache Schnittstelle

© 2

003,

W. P

ree

22

Un

iver

sitä

tS

alzb

urg

Arc

hite

ktur

-Pat

tern

s

Sof

twar

e-P

atte

rns

© 2

003,

W. P

ree

23

Un

iver

sitä

tS

alzb

urg

The

Tim

eles

s W

ay o

f Bui

ldin

g

Ch

rist

op

her

Ale

xan

der

, Pro

fess

or o

fA

rchi

tect

ure,

Uni

v. o

f Cal

iforn

ia, B

erke

ley:

1979

ers

chie

nene

Büc

her:

Th

e T

imel

ess

Way

of

Bu

ildin

gA

Pat

tter

n L

ang

uag

e (

253

Pat

tern

s)

Qu

alit

y w

ith

ou

t a

nam

e

1991

von

der

Sof

twar

e-C

omm

unity

entd

eckt

© 2

003,

W. P

ree

24

Un

iver

sitä

tS

alzb

urg

Bei

spie

l: W

indo

ws

Ove

rlook

ing

Life

© 2

003,

W. P

ree

25

Un

iver

sitä

tS

alzb

urg

Bei

spie

le fü

rS

oftw

are

Pat

tern

s

© 2

003,

W. P

ree

26

Un

iver

sitä

tS

alzb

urg

Wie

kön

nen

SW

-Hal

bfer

tigfa

brik

ate

gesc

haffe

nw

erde

n?

Bes

chri

eben

in A

rch

itek

tur-

Han

db

üch

ern

(19

95):

�E

. Gam

ma,

R. H

elm

, R. J

ohns

on, J

. Vlis

side

s:D

esig

n P

atte

rns:

Ele

men

ts o

f Reu

sabl

e S

oftw

are

�W

. Pre

e:D

esig

n P

atte

rns

for

Obj

ect-

Orie

nted

Sof

twar

eD

evel

opm

ent

© 2

003,

W. P

ree

27

Un

iver

sitä

tS

alzb

urg

Was

sin

d H

albf

ertig

fabr

ikat

e?

�K

üche

nmas

chin

e: d

urch

Ein

stec

ken

eine

r K

ompo

nent

e w

ird d

asvo

rhan

dene

„H

alb

fert

igfa

bri

kat“

zum

fert

igen

Mix

er o

der

Fle

isch

wol

f

�ne

ue A

utom

odel

le g

leic

hen

mei

st „

imK

ern

“ (C

hass

is, G

etrie

be,

Mot

orpa

lette

) de

nV

org

änge

rmod

elle

n

© 2

003,

W. P

ree

28

Un

iver

sitä

tS

alzb

urg

SW

-Bei

spie

le

�E

inw

egso

ftwar

e:�

Hot

elre

serv

ieru

ngss

yste

m�

Aut

over

mie

tung

ssys

tem

�S

chiv

erle

ihsy

stem

�M

otor

radv

erle

ihsy

stem

�et

c.�

Hal

bfer

tigfa

brik

at:

�R

eser

vier

ungs

syst

em(M

ietg

egen

stan

d)

© 2

003,

W. P

ree

29

Un

iver

sitä

tS

alzb

urg

Ein

weg

softw

are

Ab

hän

gig

keit

zw

isch

en d

en K

om

po

nen

ten

ist

im

Pro

gra

mm

qu

ellt

ext:

Ko

pp

lun

g m

it e

iner

an

der

en K

om

po

nen

te e

rfo

rder

t Ä

nd

eru

ng

en:

Hot

elzi

mm

er

Aut

o

© 2

003,

W. P

ree

30

Un

iver

sitä

tS

alzb

urg

Pat

tern

: Hal

bfer

tigfa

brik

ate

erfo

rder

n di

eD

efin

ition

von

„S

teck

ern

“

Ste

cker

„M

ietg

egen

stan

d“

Ste

cker

-kom

patib

le

Kom

pone

nten

© 2

003,

W. P

ree

31

Un

iver

sitä

tS

alzb

urg

soge

nann

te d

ynam

isch

e B

indu

ng v

on A

ufru

fen

mac

htÄ

nder

unge

n im

Sou

rce-

Cod

e ob

sole

t

m1(

)

m1(

)

m1(

)

call

m1

© 2

003,

W. P

ree

32

Un

iver

sitä

tS

alzb

urg

„Ste

cker

“ M

ietg

egen

stan

d

Def

inie

rt a

llgem

ein

e, a

bst

rakt

e E

igen

sch

afte

n:

�is

tFre

i(Zei

trau

m)

�re

serv

iere

(Zei

trau

m)

�be

rech

neP

reis

(Zei

trau

m)

�et

c.

© 2

003,

W. P

ree

33

Un

iver

sitä

tS

alzb

urg

segm

ents

Flig

htS

egm

ent

flyIt(

)

1..N h

for

each

sgm

t in

segm

ents

:

sgm

t.fly

It()

calc

Leng

th()

calc

Req

Tim

e(sp

eed)

getA

ctua

lLen

gth(

)ge

tAct

ualT

ime(

)

h h

calc

Nex

tPos

(act

Pos

, spe

ed,

s

tepS

ize)

: Pos

ition

Lin

e

calc

Leng

th()

calc

Req

Tim

e(sp

eed)

calc

Nex

tPos

(act

Pos

, spe

ed,

s

tepS

ize)

: Pos

ition

setL

ine(

l: V

ecto

r)

Cir

cle

Flig

htP

atte

rn

flyIt(

)t

calc

Leng

th()

calc

Req

Tim

e(sp

eed)

t t

addS

eg(.

..)re

mov

eSeg

(...)

isV

alid

Pat

tern

(...)

: boo

lse

tSta

rtP

os(p

os: P

ositi

on)

star

tPos

: Pos

ition

line:

3D

Vec

tor

...//

inst

ance

var

iabl

es fo

r//

sto

ring

the

plan

e an

d//

circ

le-s

peci

fic d

ata

calc

Leng

th()

calc

Req

Tim

e(sp

eed)

calc

Nex

tPos

(act

Pos

, spe

ed,

s

tepS

ize)

: Pos

ition

setD

irect

ion(

...)

...//

met

hods

for

defin

ing

// t

he p

lane

in w

hich

the

// c

ircle

is lo

cate

d, a

nd//

the

rad

ius

of th

e ci

rcle

Nav

igat

ion

1..N

Arc

arcL

engt

h: fl

oat

isV

alid

Pat

tern

(...)

: boo

lh

t

pare

ntP

atte

rn: F

light

Pat

tern

isV

alid

Pat

tern

(...)

: boo

l

isV

alid

Pat

tern

(...)

: boo

l

calc

Leng

th()

calc

Req

Tim

e(sp

eed)

calc

Nex

tPos

(act

Pos

, spe

ed,

s

tepS

ize)

: Pos

ition

setL

engt

h(le

n: fl

oat)

isV

alid

Pat

tern

(...)

: boo

l

setS

tart

Pos

(pos

: Pos

ition

)h

t

1

navi

gatio

n

cont

rol

1C

on

tro

l

mov

eByV

ec(v

ec: 3

DV

ecto

r). .

.

:Lin

e

:Circ

le:C

ircle

:Flig

htPa

ttern

:Arc

:Circ

le:C

ircle

:Flig

htPa

ttern

:Flig

htPa

ttern

© 2

003,

W. P

ree

34

Un

iver

sitä

tS

alzb

urg

Hal

bfer

tigfa

brik

at fü

r S

atel

liten

steu

erun

gen

in K

oope

ratio

n m

it de

r E

urop

ean

Spa

ce A

genc

y(E

SA

): 1

998

– 20

02

© 2

003,

W. P

ree

35

Un

iver

sitä

tS

alzb

urg

Aut

omat

isch

e G

ener

ieru

ngvo

n S

oftw

are

aus

„Bau

plän

en“

(Mod

elle

n)

© 2

003,

W. P

ree

36

Un

iver

sitä

tS

alzb

urg

Com

pile

r: D

IE E

rfol

gsge

schi

chte

der

Sof

twar

etec

hnik

�P

rogr

amm

text

(P

asca

l, C

#, x

UM

L) →→→→

aus

führ

bare

s (M

asch

inen

-)P

rogr

amm

�fü

r da

s Z

eitv

erha

lten

von

Em

bedd

edS

yste

ms

noch

aus

stän

dig

�fü

r an

dere

Anw

endu

ngsb

erei

che

denk

bar?

a+b

als

Mas

chin

enpr

ogra

mm

: 0

10 1

00

hole

die

Zah

l vom

Spe

iche

rpla

tz 1

00(a

) in

ein

en P

uffe

r

015

101

addi

ere

dazu

den

Inha

lt vo

n S

peic

herp

latz

101

(b)

011

102

spei

cher

e da

s E

rgeb

nis

in Z

elle

102

(a+

b)

© 2

003,

W. P

ree

37

Un

iver

sitä

tS

alzb

urg

Bei

spie

l: H

elic

opte

r C

ontr

ol S

yste

m (

I)

Hen

zing

er, K

irsch

, Pre

e, S

anvi

do (

UC

Ber

kele

y)

Sch

aufe

lber

ger,

Wirt

h (E

TH

Zür

ich)

© 2

003,

W. P

ree

38

Un

iver

sitä

tS

alzb

urg

Bei

spie

l: H

elic

opte

r C

ontr

ol S

yste

m (

II)

© 2

003,

W. P

ree

39

Un

iver

sitä

tS

alzb

urg

Gio

tto a

ls „

höhe

re P

rogr

amm

iers

prac

he“

=B

aupl

an =

Mod

ell f

ür Z

eita

spek

te

Mod

e 1

Mod

e 4

Mod

e 3

Mod

e 2

Tas

k S

40

0 H

z

Tas

k C

20

0 H

z

Tas

k A

1

kHz

Tas

k S

40

0 H

z

Tas

k C

20

0 H

z

Tas

k A

’ 1

kH

z

Tas

k C

’ 1

00 H

z

Tas

k A

1

kHz

Tas

k S

40

0 H

z

Tas

k C

20

0 H

z

Tas

k A

2

kHz

Tas

k A

” 1

kH

z

Con

ditio

n 1.

2

Con

ditio

n 2.

1

=>

sp

ezif

. HW

-Pla

ttfo

rm w

ird

irre

leva

nt

© 2

003,

W. P

ree

40

Un

iver

sitä

tS

alzb

urg

Gen

erie

rung

der

Sof

twar

e +

der

en V

erte

ilung

auf

Pro

zess

oren

erf

olgt

aut

omat

isch

Tas

k

Driv

er

Inpu

tpo

rts

load

ed.

Out

put p

orts

read

.

Sen

sor

Tim

e t

Tim

e t

Tim

et+

dT

ime

t+d

d

Tas

k on

CP

U.

Act

uato

r

© 2

003,

W. P

ree

41

Un

iver

sitä

tS

alzb

urg

Sof

twar

etec

hnik

–Q

uo v

adis

?

© 2

003,

W. P

ree

42

Un

iver

sitä

tS

alzb

urg

�ko

sten

inte

nsiv

e W

artu

ng v

onS

oftw

are,

die

20-

30 J

ahre

alt

ist

�in

geni

eurm

äßig

e H

eran

gehe

nsw

eise

wird

sic

h zu

min

dest

in T

eilb

erei

chen

etab

liere

n, z

B b

eisi

cher

heits

kriti

sche

n S

yste

men

© 2

003,

W. P

ree

43

Un

iver

sitä

tS

alzb

urg

�si

mpl

e, m

echa

nisc

he W

elts

icht

sch

wer

skal

ierb

ar

�V

orbi

ld b

iolo

gisc

he S

yste

me

→→→→ In

tern

et w

uchs

um

den

Fak

tor

100

Mio

.

© 2

003,

W. P

ree

44

Un

iver

sitä

tS

alzb

urg

Sof

twar

etec

hnik

–Q

uo v

adis

?

© 2

003,

W. P

ree

45

Un

iver

sitä

tS

alzb

urg

The

End

Vie

len

Dan

k fü

r Ih

reA

ufm

erks

amke

it!