sysml to discrete-event simulation to analyze electronic assembly systems

24
SysML to Discrete-event Simulation to Analyze Electronic Assembly Systems Systems Ola Batarseh Leon McGinnis Keck Factory Lab Georgia Tech 2nd International Workshop on Model-driven Approaches for Simulation Engineering Disallow Copying 3/25/2012

Upload: dgianni

Post on 20-Jan-2015

523 views

Category:

Technology


5 download

DESCRIPTION

Presentation at the 2nd International Workshop on Model-driven Approaches for Simulation Engineering (held within the SCS/IEEE Symposium on Theory of Modeling and Simulation part of SpringSim 2012) Please see: http://www.sel.uniroma2.it/mod4sim12/ for further details

TRANSCRIPT

Page 1: SysML to Discrete-event Simulation to Analyze Electronic Assembly Systems

SysML to Discrete-event Simulation

to Analyze Electronic Assembly

SystemsSystems

Ola BatarsehLeon McGinnis

Keck Factory Lab

Georgia Tech

2nd International Workshop onModel-driven Approaches for

Simulation EngineeringDisallow Copying

3/25/2012

Page 2: SysML to Discrete-event Simulation to Analyze Electronic Assembly Systems

Model Driven Architecture paradigm from software engineeringAbstractAbstract

SysML models

based on

domain specific

manufacturing

system

language

Automatically

Translated

Simulation Models

Cost/time of manufacturinglanguage Cost/time of manufacturing

simulation

Flexibility/adabtability in

managing manufacturing systems

Improve design and analysis of

manufacturing systems

Central repository for system

specifications shared by all

stakeholders

Disallow Copying

Page 3: SysML to Discrete-event Simulation to Analyze Electronic Assembly Systems

• Methodology

• Tools Involved in the Technology

• Steps to Employ the Technology

OutlineOutline

• Electronic Assembly DSL

• Analysis DSL

• SysML Transformation into Arena

• Conclusions and Future Work

Disallow Copying

Page 4: SysML to Discrete-event Simulation to Analyze Electronic Assembly Systems

Methodology Methodology

MOFM3 (Meta-metamodel)

Metamodel BArena discrete-event

simulation models

Metamodel AElectronic Assembly semantics in

a SysML profileMapping RulesM2 (Metamodel)

Conform to Conform to

ATL

Target User Analysis

ModelTransformationM1 (Model)

Conform to

Execute

Source User Model

Model Transformation Concepts from SysML to Arena™

SysML Arena

Disallow Copying

Page 5: SysML to Discrete-event Simulation to Analyze Electronic Assembly Systems

Tools involvedTools involved

Arena

XMI File

SysML Meta-Model

(Accessed from EMF Registry)

SysML XMI File

SysML User

Model

Arena Meta-Model

(Built in Ecore)

Access

Database

Arena User

Model

ATL ScriptATL Script

Disallow Copying

Page 6: SysML to Discrete-event Simulation to Analyze Electronic Assembly Systems

Steps of Transforming ProcessSteps of Transforming Process

Disallow Copying

Page 7: SysML to Discrete-event Simulation to Analyze Electronic Assembly Systems

• Bill of Material: composed of manufacturing parts (as Blocks)

connected together using composition relationship that represents

the number of sub-components in a part.

▫ Block Definitions Diagrams in SysML (BDD)

Electronic Assembly DSL in Electronic Assembly DSL in SysMLSysML

FinalProduct

Attributes:

• interarrivalTime

• maxWIP

• productionSchedule

• mrpLeadTime

• processPlan

Attributes:

• maxWIP

• mrpLeadTime

• processPlan

Attributes:

• quantity

FinalProduct Part BOMLink

Disallow Copying

Page 8: SysML to Discrete-event Simulation to Analyze Electronic Assembly Systems

• Final products could have monthly (18 months) or weekly (78 weeks) production schedules. Moreover, the user can include

the fiscal days per month in the model.

Electronic Assembly DSL in Electronic Assembly DSL in SysMLSysML cont.cont.

ProductionSchedule FiscaldaysPerMonth

Attributes:

• Month01

• Month02

.

.

• Month18

MonthlyPS WeeklyPS

Attributes:

•Week01

•Week02

.

.

•Week78

Attributes:

• Month01

• Month02

.

.

• Month18

Disallow Copying

Page 9: SysML to Discrete-event Simulation to Analyze Electronic Assembly Systems

• Example:

▫ Production Schedules

Electronic Assembly DSL in Electronic Assembly DSL in SysMLSysML cont.cont.

MagicDraw

Customized

Menu for Production

Schedules

Fiscal Days

Per Month

Monthly

Production

Schedule

Disallow Copying

Page 10: SysML to Discrete-event Simulation to Analyze Electronic Assembly Systems

• Example:

▫ Bill of Material

Electronic Assembly DSL in Electronic Assembly DSL in SysMLSysML cont.cont.

MagicDraw

Final Product: has a process

plan and production schedule

or inter-arrival time

Customized

Menu for BOM

Parts: each has

a process plan

Composition relationship

for BOM links with

quantity as its attribute

Disallow Copying

Page 11: SysML to Discrete-event Simulation to Analyze Electronic Assembly Systems

• Process Plan: composed of manufacturing processes (as

CallBehaviorActions) connected by routings.

▫ Activity Diagrams in SysML (ACT)

Electronic Assembly DSL in Electronic Assembly DSL in SysMLSysML cont.cont.

OfflineProcess AssemblyProcessTroubleshootingProcess ReworkProcess

Attributes:

• processTime

OfflineProcess

Attributes:

• batchSize

• processTime

• humanResources

• dryTime

AssemblyProcess

Attributes:

• processTime

TroubleshootingProcess

Attributes:

• batchSize

• processTime

• humanResources

• dryTime

ReworkProcess

Disallow Copying

Page 12: SysML to Discrete-event Simulation to Analyze Electronic Assembly Systems

Electronic Assembly DSL in Electronic Assembly DSL in SysMLSysML cont.cont.

TestProcess

Attributes:

InspectionProcess MultiCycleProcess CustomProcess

Attributes:

• batchSize

• isAutomated

• yieldRate

• setupTime

• processTime

• teardownTime

• humanResources

• machineResources

Attributes:

• batchSize

• processTime

• humanResources

•yieldRate

Attributes:

• cycles

• failFreeCycles

• batchSize

• yieldRate

• setupTime

• processTime

• teardownTime

• humanResources

• machineResources

• dryTime

All possible attributes of:

• Offline

• Assembly

• Rework

• Troubleshoot

• Inspection

• Test

Disallow Copying

Page 13: SysML to Discrete-event Simulation to Analyze Electronic Assembly Systems

• Processes are connected using routings (as Object Flows)

and each have pins (one input pin and one pass output pin

and/or one fail output pin).

Electronic Assembly DSL in Electronic Assembly DSL in SysMLSysML cont.cont.

RoutingPass / Fail Output Pins

Attributes:

• batchSize

• routingTime

• routingResources

• routingProbability

Decision Node

For multiple possible routings.

Disallow Copying

Page 14: SysML to Discrete-event Simulation to Analyze Electronic Assembly Systems

• Example:

▫ Process Plan (Color Coded based on Process Type)

Electronic Assembly DSL in Electronic Assembly DSL in SysMLSysML cont.cont.

MagicDraw

Decision Nodes for

multiple routing

Customized Menu for

Process Plan

Routingmultiple routing

Processes connected using routings

Disallow Copying

Page 15: SysML to Discrete-event Simulation to Analyze Electronic Assembly Systems

• Resources: they could be a single or a group of human resources

or machines. They are defined as Blocks.

▫ Block Definitions Diagrams in SysML (BDD)

Electronic Assembly DSL in Electronic Assembly DSL in SysMLSysML cont.cont.

Human Resources

PartMachines

Attributes Single:

• capacity

• schedule Attributes Group:

• groupElements

Attributes Single:

• capacity

Attributes Group:

• groupElements

Disallow Copying

Page 16: SysML to Discrete-event Simulation to Analyze Electronic Assembly Systems

• Example:

▫ Resources: (Color Coded based on type)

Electronic Assembly DSL in Electronic Assembly DSL in SysMLSysML cont.cont.

MagicDraw

Customized Menu

for Resources

Disallow Copying

Page 17: SysML to Discrete-event Simulation to Analyze Electronic Assembly Systems

• A separate Analysis Profile is provided to enter the simulation parameters using one Block as follows:

Analysis DSL in Analysis DSL in SysMLSysML for DESfor DES

Simulation ParametersMagicDraw

Attributes Single:

• Number of Replications

•Warm up Period

•Replication Length

•Base Time Units

Customized Menu

for Simulation

Parameters

Disallow Copying

Page 18: SysML to Discrete-event Simulation to Analyze Electronic Assembly Systems

TransformationsTransformations

ARENA® metamodel(.ecore)UML® metamodel

(.url)

XML definitions for

ARENA®.UML®/OMG SysML

definitions.

EMF

1 Defined in Ecore

2

ATL translation (.atl)

ATL translation code based on the

manufacturing DSL.

Eclipse Model-to-Model

Transformation™ project ATL

Transformation Engine

Eclipse™

ATL

EMF Registry

in Ecore

Written in ATL

3

Disallow Copying

Page 19: SysML to Discrete-event Simulation to Analyze Electronic Assembly Systems

ARENA® ARENA® metamodelmetamodel

• Example: Entity

Disallow Copying

Page 20: SysML to Discrete-event Simulation to Analyze Electronic Assembly Systems

Transformation ScriptTransformation Script

Matched Rule:

manufacturingParttoEntity

Called Rule:

toProcessPlan

module ATLTransformation;

create OUT: Arena from IN: uml;

rule manufacturingParttoEntity {

from

Matched Rule:

manufacturingParttoEntity

Checks if Block is stereotyped

as FinalProduct or Part to from

dt: uml!Class (

(not dt.getAppliedStereotype

('ElectronicAssemblyProfile::FinalProduct').oclIsUndefined())

or

(not dt.getAppliedStereotype

('ElectronicAssemblyProfile::Part').oclIsUndefined()))

to

out: Arena!"BasicProcess_x007C_Entity" (

SerialNumber <- dt.name.hashCode().toString(),

ModelLevelID <- '1',

X <- '0',

Y <- '0',

UserDescription <- '',

Name <- dt.name,

ReportStatistics <- 'Yes',

Other <- '0.0',

InitTranCost <- '0.0',

Waiting <- '0.0',

Holding_x0020_Cost <- '0.0',

InitNVACost <- '0.0',

InitVACost <- '0.0',

Picture <- 'Picture.Report')

do {thisModule.toProcessPlan(dt); }}

as FinalProduct or Part to

translate it into an Entity in

Arena

Called Rule:

toProcessPlan

Checks the processes and

translates them into Arena as

appropiate

Disallow Copying

Page 21: SysML to Discrete-event Simulation to Analyze Electronic Assembly Systems

DSL Process and ImpactDSL Process and Impact

Disallow Copying

Page 22: SysML to Discrete-event Simulation to Analyze Electronic Assembly Systems

ConclusionsConclusions

• Ability to create SysML models using manufacturing semantics.

• Provide a central repository of manufacturing systems specifications to all stakeholders.systems specifications to all stakeholders.

• Automatically translate SysML models into discrete-event simulation in Arena which reduces the time of

building simulation models in order-of-magnitude.

Disallow Copying

Page 23: SysML to Discrete-event Simulation to Analyze Electronic Assembly Systems

Future Opportunities with this TechnologyFuture Opportunities with this Technology

• Extend this technology to different application domains.

• Possibility of translating SysML models into multiple simulation tools simultaneously (i.e., Arena, AnyLogic, etc.)

and to different analysis models (i.e., discrete-event and to different analysis models (i.e., discrete-event

simulation, optimization, etc. )

• Productize this approach to make it available for different companies to analyze their manufacturing systems.

Disallow Copying

Page 24: SysML to Discrete-event Simulation to Analyze Electronic Assembly Systems

THANK YOU!THANK YOU!THANK YOU!THANK YOU!

Disallow Copying