[PPT] - ASTEC: A Comp etence Center on Soft w a re T echnology PowerPoint Presentation

SLIDE 1 ASTEC: A Comp etence Center

n

Soft w a re T echnology

Vision:

Advanced Soft w a re T echnology will b e used to p ro duce higher- qualit y soft w a re with less eo rt.

Comp

etence Centers a re vigo rous resea rch environments in which academia and industry collab

rate
n

industrially applica- ble resea rch within a fo cussed a rea.

NUTEK

(The Sw edish Boa rd fo r T echnical Development) has initiated 28 Comp etence Centers in Sw eden

Each

Center Supp

rted

jointly b y NUTEK, an Industrial Con- so rtium, and a host universit y .

Annual

Budget 8

20

MSEK (1

2:5

MUSD)

Centers

a re in dierent a reas, ranging from F

restry

to high- sp eed electronics.

ASTEC

is the

nly

center in soft w a re/co re computer science 1

SLIDE 2 Why ASTEC?

Main

Objective: Develop and Apply Advanced T echnology fo r Ecient Con- struction

f

High-Qualit y Soft w a re.

T

a rget Application: T

ls

fo r Soft w a re in Emb edded and Communication Systems { T elelogic T au (SDL) { SCADE (Lustre) and Object-Geo de (SDL) from V erilog { Rhapso dy and Statemate (UML) from i-Logix { Erlang/OTP fo r T elecom Applications which b ring mo re p

w

er to the p rogrammer 2

SLIDE 3 Imp

rtant

Areas

f

Resea rch

Programming

Language T echnology: Compilation, Optimization, Run-Time Systems, Co de Genera- tion

V

alidation and V erication: Requirements, F

rmal

V erication, Automatic T est Genera- tion, Simulation,

Real-time

System T echnology: Scheduling, Timing Analysis, Small Distributed Op erating Sys- tems

Comp
nent

Soft w a re 3

SLIDE 4 ASTEC: P a rtners

Industry

with la rge substantial soft w a re development activit y { ABB, Ericsson, Mecel AB, T elia AB, V

lvo
Commercial

to

l

develop ers { Ericsson T elecom (Erlang), IAR Systems, Prover T echnol-

gy

AB, T elelogic AB, V

lcano

T echnologies AB

Resea

rch groups fo cusing

n

sp ecication, high-level p rogramming, to

l

construction { Uppsala Universit y , Ro y al institute

f

T echnology , SICS 4

SLIDE 5 Resea rch Interests

f

Academic P a rtners:

Compilation:

Compiler Optimization, P a ralleli zati

n,

Program T ransfo rmation

Symb
lic

Programming: F unctional and Logic Programming Languages, Constraint Solving Metho ds (fo r e.g., Design, Plan- ning, Resource Allo cation).

Mo

deling and Sp ecication: Metho ds fo r Sp ecication

f

Distributed Systems and Real-Time Systems

Analysis

and V erication: V erication

f

Co rrectness

f

Dis- tributed Systems and Real-Time Systems, Static Program Analy- sis, Static Analysis

f

Run-Time P erfo rmance

Real-Time

Systems: Scheduling

f

Resources, Static Analysis

f

Run-Time P erfo rmance. 5

SLIDE 6 Program Areas:

V

alidation and V erication Notations fo r Requirements, Designs, Metho ds and T

ls

fo r V erication, V alidation, T est Generation

Programming

Languages and Their Implementation Design and Implementation

f

Programming Languages Compilation, Optimizati

n,

Co de Generation

Real-Time

Distributed Systems Timing Behavio r, Handling Distributi

n,

F ailures, etc.

Soft

w a re fo r Automotive Applications

Soft

w a re fo r T elecommunication Systems 6

SLIDE 7 Ho w to Achieve Impact?

Collab
ration

with T

l

Manufacturers, in

rder

to inco rp

rate

w

rk
n

e.g., Compilation, V erication.

Collab
ration

with Develop ers

f

Sp ecic Applications, in

rder

to mak e p rogress

n

Mo deling, Sp ecication, and Development Metho ds. Benets:

Bring

insights and results from resea rch to languages used in industry

Give

academic resea rch access to

realistic

case studies fo r evaluation

f

metho ds,

new

interesting application a reas.

new

fundamental resea rch p roblems. 7

SLIDE 8 F rom A CM Survey

n

Progress in fo rmal Metho ds Notable Examples In 1996, Bengtsson and his colleagues mo del check ed the entire p roto col, thus completing the quest

f

fully automat- ing a human p ro

f

that as littl e as t w

y

ea rs ago w as con- sidered fa r

ut
f

reach fo r algo rithmic metho ds E.M. Cla rk e and J.M. Wing, F

rmal

Metho ds: State

f

the Art and F uture Directions, A CM Computing Surveys 28(4), 1996 8

SLIDE 9 ASTEC Projects

Symb
lic

Mo del Checking A new generation technology fo r mo del check ers, that ma y increase their p

w

er b y

rders
f

magnitude.

Advanced

Field Bus 100. Mo deling And Analysis

f

a Field Bus p roto col develo ed b y ABB, using the UPP AAL mo del check er to

l.

Is

ne
f

the la rgest case studies to have b een mo deled and analyzed b y a mo del check er.

HIPE

(High P erfo rmance Erlang) Develop a mo re ecient compiler fo r Erlang: a concurrent functional p rogramming languages used e.g., fo r the development

f

soft w a re in T elecommunication Switches.

V

erication

f

Erlang Programs a general verication to

l

fo r the Erlang p rogramming language using mo del checking, comp

sitional

and symb

lic

techniques. 9

SLIDE 10

Static

Analysis

f

Erlang p rograms: infers t yp es and communication structure to allo w mo re ecient compilation, and to detect p rogramming erro rs.

WPO

(Next Generation Compilers fo r Emb edded Systems) highly

ptimizing

compiler technology fo r emb edded systems to satisfy rather sever constraints

n

memo ry , p

w

er, and ir- regula r ha rdw a re a rchitectures.

W

CET Calculation

f

W

rst-Case

Execution Times

f

p rograms.

Auto

Metho dology fo r Soft w a re Development fo r Automotive applications.

Automated

T esting. T echniques fo r automatic testing

f

telecommunication soft w a re, and automated generation

f

test scripts fo r emb edded systems soft w a re.

BOOM

F

rmal

Sp ecication

f

Object Oriented Mo deling Con- cepts plus application to UML.