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

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

• 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

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

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

Steps of Transforming ProcessSteps of Transforming Process

Disallow Copying

• 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

• 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

• Example:

▫ Production Schedules


MagicDraw

Customized

Menu for Production

Schedules

Fiscal Days

Per Month

Monthly

Production

Schedule

Disallow Copying

• Example:

▫ Bill of Material


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

• Process Plan: composed of manufacturing processes (as

CallBehaviorActions) connected by routings.

▫ Activity Diagrams in SysML (ACT)


OfflineProcess AssemblyProcessTroubleshootingProcess ReworkProcess

Attributes:

• processTime

OfflineProcess

Attributes:

• batchSize

• processTime

• humanResources

• dryTime

AssemblyProcess

Attributes:

• processTime

TroubleshootingProcess

Attributes:

• batchSize

• processTime

• humanResources

• dryTime

ReworkProcess

Disallow Copying


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

• 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).


RoutingPass / Fail Output Pins

Attributes:

• batchSize

• routingTime

• routingResources

• routingProbability

Decision Node

For multiple possible routings.

Disallow Copying

• Example:

▫ Process Plan (Color Coded based on Process Type)


MagicDraw

Decision Nodes for

multiple routing

Customized Menu for

Process Plan

Routingmultiple routing

Processes connected using routings

Disallow Copying

• 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)


Human Resources

PartMachines

Attributes Single:

• capacity

• schedule Attributes Group:

• groupElements

Attributes Single:

• capacity

Attributes Group:

• groupElements

Disallow Copying

• Example:

▫ Resources: (Color Coded based on type)


MagicDraw

Customized Menu

for Resources

Disallow Copying

• 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

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

ARENA® ARENA® metamodelmetamodel

• Example: Entity

Disallow Copying

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

DSL Process and ImpactDSL Process and Impact

Disallow Copying

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

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

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

Disallow Copying

sysml to discrete-event simulation to analyze electronic assembly systems

Technology

sysml cont

sysml bill of material

manufacturing parts

manufacturing processes

steps of transforming

arena conclusions

discreteevent simulation

month01 month02