itea-empress · ∑!2023 itea-empress itea symposium, amsterdam, 10th of october 2002 dr. peter...

17
........................... ........................... 2023 ! ITEA ITEA - - EMPRESS EMPRESS ITEA Symposium, Amsterdam, 10 ITEA Symposium, Amsterdam, 10 th th of October 2002 of October 2002 Dr. Peter Kaiser Fraunhofer IESE Sauerwiesen 6 D-67661 Kaiserslautern Germany

Upload: others

Post on 13-Jan-2020

6 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: ITEA-EMPRESS · ∑!2023 ITEA-EMPRESS ITEA Symposium, Amsterdam, 10th of October 2002 Dr. Peter Kaiser Fraunhofer IESE Sauerwiesen 6 D-67661 Kaiserslautern Germany

......................................................

∑ 2023!

ITEAITEA--EMPRESSEMPRESSITEA Symposium, Amsterdam, 10ITEA Symposium, Amsterdam, 10thth of October 2002of October 2002

Dr. Peter Kaiser

Fraunhofer IESESauerwiesen 6D-67661 KaiserslauternGermany

Page 2: ITEA-EMPRESS · ∑!2023 ITEA-EMPRESS ITEA Symposium, Amsterdam, 10th of October 2002 Dr. Peter Kaiser Fraunhofer IESE Sauerwiesen 6 D-67661 Kaiserslautern Germany

pjk-2ITEA Symposium / Amsterdam / Empress / 10th of October 2002Fraunhofer IESE, Germany

......................................................

Outline

Solution

Exploitation

Cooperation

Outlook

Introduction

OverviewOverview

1.1. IntroIntroductionductionReal life problem descriptionReal life problem description

2.2. SolutionSolutionEmpressEmpress approachapproach

3.3. ExploitationExploitationExploitationExploitation planplan (how are the project results exploited)(how are the project results exploited)

4.4. CooperationCooperationwith other ITEA projectswith other ITEA projects

5.5. OutlookOutlook

Page 3: ITEA-EMPRESS · ∑!2023 ITEA-EMPRESS ITEA Symposium, Amsterdam, 10th of October 2002 Dr. Peter Kaiser Fraunhofer IESE Sauerwiesen 6 D-67661 Kaiserslautern Germany

pjk-3ITEA Symposium / Amsterdam / Empress / 10th of October 2002Fraunhofer IESE, Germany

......................................................

Outline

Solution

Exploitation

Cooperation

Outlook

Introduction

Addressed problemsAddressed problemsFor embedded systems, cope with evolution ofFor embedded systems, cope with evolution of

–– requirements requirements (also (also resource constraintsresource constraints))

–– architecturesarchitectures

–– individual componentsindividual components

–– underlying hardwareunderlying hardware

–– systems and system familiessystems and system families

Evolution ofapplication domain

Evolution ofapplication domain

Evolution ofQuality

Evolution ofQuality

Externally visiblechanges

Externally visiblechanges

Internal changesInternal changes

Page 4: ITEA-EMPRESS · ∑!2023 ITEA-EMPRESS ITEA Symposium, Amsterdam, 10th of October 2002 Dr. Peter Kaiser Fraunhofer IESE Sauerwiesen 6 D-67661 Kaiserslautern Germany

pjk-4ITEA Symposium / Amsterdam / Empress / 10th of October 2002Fraunhofer IESE, Germany

......................................................

Outline

Solution

Exploitation

Cooperation

Outlook

Introduction

Real life problemReal life problem:: DaimlerChryslerDaimlerChryslerAutomotive Automotive domaindomain

–– DescriptionDescription::•• Increasing amountIncreasing amount of of embeddedembedded software in software in carscars

–– ABS > Transmission ABS > Transmission ControlControl > ESP > Adaptive Cruise > ESP > Adaptive Cruise ControlControl, Brake, Brake--byby--WireWire, , X X by wireby wire

•• Different Different carscars,,country variantscountry variants,,releasesreleases

–– Current situationCurrent situation::• “ limited“ reuse

– Problems– Increasing complexity

(functionality/quality)– Only limited reuse

Page 5: ITEA-EMPRESS · ∑!2023 ITEA-EMPRESS ITEA Symposium, Amsterdam, 10th of October 2002 Dr. Peter Kaiser Fraunhofer IESE Sauerwiesen 6 D-67661 Kaiserslautern Germany

pjk-5ITEA Symposium / Amsterdam / Empress / 10th of October 2002Fraunhofer IESE, Germany

......................................................

Outline

Solution

Exploitation

Cooperation

Outlook

Introduction

Real life problemReal life problem:: BarcoBarcoAvionic domainAvionic domain

–– DescriptionDescription::•• CDMS (CDMS (control displaycontrol display & & managementmanagement system)system)

& MFS (& MFS (multi function displaysmulti function displays))

•• Safety criticalSafety critical manman--machine interfaces for avionicsmachine interfaces for avionics

•• Many variations basedMany variations based on on the same hardwarethe same hardware and softwareand software

–– Current approachCurrent approach• Re-verification is similar

to verification

–– ProblemsProblems• High re-verification effort

Page 6: ITEA-EMPRESS · ∑!2023 ITEA-EMPRESS ITEA Symposium, Amsterdam, 10th of October 2002 Dr. Peter Kaiser Fraunhofer IESE Sauerwiesen 6 D-67661 Kaiserslautern Germany

pjk-6ITEA Symposium / Amsterdam / Empress / 10th of October 2002Fraunhofer IESE, Germany

......................................................

Outline

Solution

Exploitation

Cooperation

Outlook

Introduction

Real life problemReal life problem:: MSIMSISuSupervision and control of metal processing lines

–– DescriptionDescription::•• Automating metal processing line, with Automating metal processing line, with PLCsPLCs and Regulatorsand Regulators

•• Visualizing and introducing the data associated with the operatiVisualizing and introducing the data associated with the operation on and the control of a lineand the control of a line

•• The setThe set of of machinesmachines and and their features evolvetheir features evolve

–– Current approachCurrent approach• Development from Scratch

–– ProblemsProblems• No reuse of PLC software

• PLC should be adapted to its new machine

• Quality remains inthe engineer

UncoilerPLC Program

FB-s

ME

Drive

ME

Drive

ME

Drive

ME

Drive

ME

Drive

Slitter HeadPLC Program

FB-s

Tension UnitPLC Program

FB-s

RecoilerPLC Program

FB-s

Pinch RollPLC Program

FB-s

............Line SpeedFB

Gen. JOGFB

Line StartupFB

COORDINATOR PLC ProgramFB-s

UNCOILER PINCH ROLL SLITTER HEAD TENSION UNIT RECOILER

Customised PLC Program

CONFIGURATOR PC

Motor List

Standard PLC ProgramFlexible Components

Standard SCADA ProgramFlexible Components

SUPERVISION PC

IN

IN

IN

OUT:PLC Program

Code Generation

OUT:SCADA ProgramCode Generation

SupervisionSW and Program

ConfiguratorSW

BidirectionalCommunication

Page 7: ITEA-EMPRESS · ∑!2023 ITEA-EMPRESS ITEA Symposium, Amsterdam, 10th of October 2002 Dr. Peter Kaiser Fraunhofer IESE Sauerwiesen 6 D-67661 Kaiserslautern Germany

pjk-7ITEA Symposium / Amsterdam / Empress / 10th of October 2002Fraunhofer IESE, Germany

......................................................

Outline

Solution

Exploitation

Cooperation

Outlook

Introduction

Real life problem: PhilipsReal life problem: PhilipsHome domain: Consumer electronicsHome domain: Consumer electronics

–– DescriptionDescription::•• Different products, product variations, country variants, releasDifferent products, product variations, country variants, releaseses•• Evolving customer requirementsEvolving customer requirements

–– Current approachCurrent approach•• No structural approach for incremental developmentNo structural approach for incremental development

–– ProblemsProblems•• Limited reuseLimited reuse•• High (reHigh (re--)V&V effort)V&V effort

SACD

DVDRDVD

Page 8: ITEA-EMPRESS · ∑!2023 ITEA-EMPRESS ITEA Symposium, Amsterdam, 10th of October 2002 Dr. Peter Kaiser Fraunhofer IESE Sauerwiesen 6 D-67661 Kaiserslautern Germany

pjk-8ITEA Symposium / Amsterdam / Empress / 10th of October 2002Fraunhofer IESE, Germany

......................................................

Outline

Solution

Exploitation

Cooperation

Outlook

Introduction

Real life problemReal life problem: : SiemensSiemensAutomotive Automotive domaindomain: Car : Car infotainmentinfotainment systemssystems

–– DescriptionDescription::•• Automating Automating High High networking complexitynetworking complexity, , various protocolsvarious protocols and and

advanced user interfacesadvanced user interfaces

•• Strong demand forStrong demand for quick quick reactionreaction and and startupstartup time plus a minimal time plus a minimal billbill of materialof material

•• EnvironmentEnvironment: rapid : rapid evolving requirementsevolving requirements and technologyand technology

–– Current approachCurrent approach• Develop embedded systems

–– ProblemsProblems•• Less predictable development processLess predictable development process

•• High High riskrisk in in missing themissing the essential essential constraints from the embedded constraints from the embedded worldworld

Page 9: ITEA-EMPRESS · ∑!2023 ITEA-EMPRESS ITEA Symposium, Amsterdam, 10th of October 2002 Dr. Peter Kaiser Fraunhofer IESE Sauerwiesen 6 D-67661 Kaiserslautern Germany

pjk-9ITEA Symposium / Amsterdam / Empress / 10th of October 2002Fraunhofer IESE, Germany

......................................................

Outline

Solution

Exploitation

Cooperation

Outlook

Introduction

Project goalsProject goals

•• GoalGoal

–– Develop a m e t h o d o l o g y and p r o c e s s for Develop a m e t h o d o l o g y and p r o c e s s for realreal--time embedded software development that time embedded software development that supports management ofsupports management ofe v o l u t i o n in a flexible and dynamic waye v o l u t i o n in a flexible and dynamic way

•• BenefitBenefit

–– For embedded domain For embedded domain •• A c c e l e r a t e d and more efficient development and A c c e l e r a t e d and more efficient development and

adaptation of systems (versions/product lines) adaptation of systems (versions/product lines)

•• R e d u c e d effort for updating running systemsR e d u c e d effort for updating running systems

Page 10: ITEA-EMPRESS · ∑!2023 ITEA-EMPRESS ITEA Symposium, Amsterdam, 10th of October 2002 Dr. Peter Kaiser Fraunhofer IESE Sauerwiesen 6 D-67661 Kaiserslautern Germany

pjk-10ITEA Symposium / Amsterdam / Empress / 10th of October 2002Fraunhofer IESE, Germany

......................................................

Outline

Solution

Exploitation

Cooperation

Outlook

Introduction

ProjectProject datadata

•• Start:Start: JanuaryJanuary 20022002

•• End:End: DecemberDecember 20032003

•• DurationDuration:: 2 2 yearsyears

•• EffortEffort:: 146 146 person yearsperson years

•• Countries:Countries: 66

•• Partner:Partner:

Page 11: ITEA-EMPRESS · ∑!2023 ITEA-EMPRESS ITEA Symposium, Amsterdam, 10th of October 2002 Dr. Peter Kaiser Fraunhofer IESE Sauerwiesen 6 D-67661 Kaiserslautern Germany

pjk-11ITEA Symposium / Amsterdam / Empress / 10th of October 2002Fraunhofer IESE, Germany

......................................................

Outline

Solution

Exploitation

Cooperation

Outlook

Introduction

EMPRESS EMPRESS approachapproach -- OverviewOverview

DynamicReconfiguration

DynamicReconfiguration

run time

Evolution

Component Architcture

Requirements-Engin. & Mgmt.

Verification &Validation

construction time

Component Architcture

Requirements-Engin. & Mgmt.

Verification &Validation

construction time

process

methods

tools

Page 12: ITEA-EMPRESS · ∑!2023 ITEA-EMPRESS ITEA Symposium, Amsterdam, 10th of October 2002 Dr. Peter Kaiser Fraunhofer IESE Sauerwiesen 6 D-67661 Kaiserslautern Germany

pjk-12ITEA Symposium / Amsterdam / Empress / 10th of October 2002Fraunhofer IESE, Germany

......................................................

Outline

Solution

Exploitation

Cooperation

Outlook

Introduction

EMPRESS EMPRESS approachapproach (1)(1)

–– Requirements engineering & managementRequirements engineering & management•• Elicit requirements Elicit requirements •• Classify requirementsClassify requirements and and possible changespossible changes•• Describe requirements (also the Describe requirements (also the NFRsNFRs) quantitatively) quantitatively•• Reuse requirements systematically Reuse requirements systematically •• Trace requirementsTrace requirements•• Control changesControl changes

–– Component ArchitectureComponent Architecture•• Deal Deal with changes with changes •• Search for possible candidate componentsSearch for possible candidate components

–– StructuralStructural//behavioralbehavioral//QoSQoS–– UseUse Feature Feature ModelingModeling–– Extending existingExtending existing//building new componentsbuilding new components

•• Integrate components syntacticallyIntegrate components syntactically–– Component wrappersComponent wrappers & & adaptersadapters–– Implement changesImplement changes ((architecture compliancearchitecture compliance//productproduct line)line)

Page 13: ITEA-EMPRESS · ∑!2023 ITEA-EMPRESS ITEA Symposium, Amsterdam, 10th of October 2002 Dr. Peter Kaiser Fraunhofer IESE Sauerwiesen 6 D-67661 Kaiserslautern Germany

pjk-13ITEA Symposium / Amsterdam / Empress / 10th of October 2002Fraunhofer IESE, Germany

......................................................

Outline

Solution

Exploitation

Cooperation

Outlook

Introduction

EMPRESS EMPRESS approachapproach (2)(2)

–– Verification & ValidationVerification & Validation•• Verify & validate systemVerify & validate system

–– Early in the processEarly in the process–– QuantitativelyQuantitatively

•• ReverifyReverify & revalidate system’s changes& revalidate system’s changes•• Certify componentsCertify components

–– Dynamic ReconfigurationDynamic Reconfiguration•• Check Check the semantic matchthe semantic match at at deploymentdeployment timetime•• Be Be awareaware of (of (hardhard-- and software) and software) resourcesresources•• Reconfigure staticallyReconfigure statically vs. vs. DynamicallyDynamically•• Update at runUpdate at run--timetime

–– Select tool supportSelect tool support

Page 14: ITEA-EMPRESS · ∑!2023 ITEA-EMPRESS ITEA Symposium, Amsterdam, 10th of October 2002 Dr. Peter Kaiser Fraunhofer IESE Sauerwiesen 6 D-67661 Kaiserslautern Germany

pjk-14ITEA Symposium / Amsterdam / Empress / 10th of October 2002Fraunhofer IESE, Germany

......................................................

Outline

Solution

Exploitation

Cooperation

Outlook

Introduction

ExploitationExploitationSome examplesSome examples

–– DisseminationDissemination•• ConferenceConference & Journal Papers, Workshops, & Journal Papers, Workshops, TutorialsTutorials

–– BarcoBarco•• Base Base for processfor process and and method improvementsmethod improvements to to reducereduce

the verificationthe verification and and validation effort validation effort of of BarcoViewBarcoView

–– Fraunhofer IESE, Fraunhofer First, ESIFraunhofer IESE, Fraunhofer First, ESI–– Develop methodsDevelop methods and and techniques techniques in order to bein order to be

able to help European companies in the applicationable to help European companies in the applicationof these techniquesof these techniques

–– ApplyApply in in transfer projectstransfer projects

Page 15: ITEA-EMPRESS · ∑!2023 ITEA-EMPRESS ITEA Symposium, Amsterdam, 10th of October 2002 Dr. Peter Kaiser Fraunhofer IESE Sauerwiesen 6 D-67661 Kaiserslautern Germany

pjk-15ITEA Symposium / Amsterdam / Empress / 10th of October 2002Fraunhofer IESE, Germany

......................................................

Outline

Solution

Exploitation

Cooperation

Outlook

Introduction

CooperationCooperation

–– MooseMoose•• Joint meetings plannedJoint meetings planned

•• Exchange of documentsExchange of documents

–– @ Terminals@ Terminals•• Mutual presentationsMutual presentations

donedone//plannedplanned

–– CAFECAFE•• Cooperation via Cooperation via organiorgani--

zations zations participating inparticipating in

both projectsboth projects

Page 16: ITEA-EMPRESS · ∑!2023 ITEA-EMPRESS ITEA Symposium, Amsterdam, 10th of October 2002 Dr. Peter Kaiser Fraunhofer IESE Sauerwiesen 6 D-67661 Kaiserslautern Germany

pjk-16ITEA Symposium / Amsterdam / Empress / 10th of October 2002Fraunhofer IESE, Germany

......................................................

Outline

Solution

Exploitation

Cooperation

Outlook

Introduction

OutlookOutlook

–– Done so farDone so far•• EMPRESS startedEMPRESS started

–– … with the ‘usual’ problems… with the ‘usual’ problems

•• StateState--ofof--thethe--Art determinedArt determined

•• Research issues identifiedResearch issues identified–– Drafts available soonDrafts available soon

–– To do....To do....today

2002 2003

Initial versionof essentials

Validated methods and tools

Initial versionof methods

Methods& tools

Page 17: ITEA-EMPRESS · ∑!2023 ITEA-EMPRESS ITEA Symposium, Amsterdam, 10th of October 2002 Dr. Peter Kaiser Fraunhofer IESE Sauerwiesen 6 D-67661 Kaiserslautern Germany

......................................................Thank you Thank you for your attentionfor your attention