CN109685398A - 一种半导体加工模块的故障响应方法及系统 - Google Patents

一种半导体加工模块的故障响应方法及系统 Download PDF

Info

Publication number
CN109685398A
CN109685398A CN201910106368.9A CN201910106368A CN109685398A CN 109685398 A CN109685398 A CN 109685398A CN 201910106368 A CN201910106368 A CN 201910106368A CN 109685398 A CN109685398 A CN 109685398A
Authority
CN
China
Prior art keywords
wafer
time
failure
robot
net
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Pending
Application number
CN201910106368.9A
Other languages
English (en)
Inventor
李�杰
刘斌
乔岩
郭宇翔
宋泰然
李倓
曹健
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Shenzhen Exx Industrial Automation Co Ltd
Original Assignee
Shenzhen Exx Industrial Automation Co Ltd
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Shenzhen Exx Industrial Automation Co Ltd filed Critical Shenzhen Exx Industrial Automation Co Ltd
Priority to CN201910106368.9A priority Critical patent/CN109685398A/zh
Publication of CN109685398A publication Critical patent/CN109685398A/zh
Pending legal-status Critical Current

Links

Classifications

    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06QINFORMATION AND COMMUNICATION TECHNOLOGY [ICT] SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES, NOT OTHERWISE PROVIDED FOR
    • G06Q10/00Administration; Management
    • G06Q10/06Resources, workflows, human or project management; Enterprise or organisation planning; Enterprise or organisation modelling
    • G06Q10/063Operations research, analysis or management
    • G06Q10/0631Resource planning, allocation, distributing or scheduling for enterprises or organisations

Abstract

本发明公开了一种半导体加工模块的故障响应方法及系统,属于半导体加工领域,用于在满足晶圆驻留时间约束的情况下,组合设备在经历一个瞬态的过程后继续工作,解决了晶圆加工效率低下的问题,其包括:获取组合设备在稳定状态下的稳定调度方法;根据稳定调度方法对加工模块发生故障时的组合设备的调度进行及时性分析,得到及时性分析结果;根据及时性分析结果及晶圆驻留时间约束为组合设备重新安排可行调度方法;将可行调度方法传输至机器人处,机器人根据可行调度方法对组合设备的加工模块进行及时性调度,从而使得组合设备在经历故障前及故障后的周期调度这样一个瞬态过程后,仍能够继续正常工作,使晶圆的加工不会中断,提高了晶圆的加工效率。

Description

一种半导体加工模块的故障响应方法及系统
技术领域
本发明涉及半导体加工领域,尤其涉及一种半导体加工模块的故障响应方法及系统。
背景技术
在半导体制造业中,制造半导体的组合设备必不可少,而组合设备中用于加工半导体的加工模块发生故障的情况也时常发生,而为了有效地运行组合设备来对半导体进行加工,及时且通过适当的方式来解决上述故障非常重要。
而在半导体进行加工的过程中,必须满足晶圆驻留时间约束,从而确保一些晶圆加工的质量,而有了上述限制,如果组合设备在周期性调度下操作并且加工模块失效,则期望组合设备仍可以在定期调度下进行操作。
然而,由于上述情况下,组合设备会降级,加工模块在故障后的周期性调度是与加工模块在故障前的周期性调度不同的,因此,加工模块在故障前的周期性调度与调度故障后的周期性调度必然存在一个瞬态的过程;而在总是满足晶圆驻留时间约束的情况下,组合设备很难在经历这样一个瞬态的过程后继续工作,从而使得晶圆加工效率低下。
发明内容
本发明的主要目的在于提供一种半导体加工模块的故障响应方法及系统,旨在解决现有技术中由于组合设备很难在经历瞬态的过程后继续工作,从而使得晶圆加工效率低下的技术问题。
为实现上述目的,本发明第一方面提供一种半导体加工模块的故障响应方法,包括:获取组合设备在稳定状态下的稳定调度方法;根据所述稳定调度方法对加工模块发生故障时的组合设备的调度进行及时性分析,得到及时性分析结果;根据所述及时性分析结果及晶圆驻留时间约束安排组合设备的可行调度方法;将所述可行调度方法传输至机器人处,机器人根据所述可行调度方法对组合设备的加工模块进行及时性调度。
进一步地,所述根据所述稳定调度方法对加工模块发生故障时的组合设备的调度进行及时性分析,得到及时性分析结果包括:获取并计算加工晶圆所需时间的加工时间上限及加工时间下限;获取并计算机器人在从装载晶圆的地点移动至卸载晶圆的地点所需时间的移动时间上限及移动时间下限;移除所述加工时间上限、所述加工时间下限、所述移动时间上限及移动时间下限中机器人的等待时间,分别得到净加工时间上限、净加工时间下限、净移动时间上限及净移动时间下限;通过所述净加工时间上限、所述净加工时间下限、所述净移动时间上限及所述净移动时间下限计算晶圆在加工模块中的逗留时间;调整机器人的等待时间,使得晶圆的所述逗留时间落入许可的时间范围内。
进一步地,所述根据所述及时性分析结果及晶圆驻留时间约束安排组合设备的可行调度方法包括:根据所述净移动时间上限及所述净移动时间下限得到晶圆在加工模块故障前的逗留时间及故障后的逗留时间不一致,以得到加工模块故障前的稳定调度方法及故障后的稳定调度方法不一致;在所述晶圆驻留时间约束的基础上将所述故障前的稳定调度方法转移到所述故障后的稳定调度方法。
进一步地,所述将所述可行调度方法传输至机器人处,机器人根据所述可行调度方法对组合设备的加工模块进行及时性调度包括:根据机器人的任务及等待时间确定组合设备周期性的稳定调度方法;根据所述周期性的稳定调度方法,在组合设备中的一个加工模块发生故障后,根据加工完成度的不同,将该加工模块内的晶圆转移至组合设备中另一加工模块内晶圆加工完成度一致的部位。
本发明第二方面提供一种半导体加工模块的故障响应系统,包括:稳定调度方法获取模块,用于获取组合设备在稳定状态下的稳定调度方法;及时性分析模块,用于根据所述稳定调度方法对加工模块发生故障时的组合设备的调度进行及时性分析,得到及时性分析结果;可行调度方法安排模块,用于根据所述及时性分析结果及晶圆驻留时间约束安排组合设备的可行调度方法;及时性调度模块,用于将所述可行调度方法传输至机器人处,机器人根据所述可行调度方法对组合设备的加工模块进行及时性调度。
进一步地,所述及时性分析模块包括:加工时间阈值确定单元,用于获取并计算加工晶圆所需时间的加工时间上限及加工时间下限;移动时间阈值确定单元,用于获取并计算机器人在从装载晶圆的地点移动至卸载晶圆的地点所需时间的移动时间上限及移动时间下限;净时间确定单元,用于移除所述加工时间上限、所述加工时间下限、所述移动时间上限及移动时间下限中机器人的等待时间,分别得到净加工时间上限、净加工时间下限、净移动时间上限及净移动时间下限;逗留时间确定单元,用于通过所述净加工时间上限、所述净加工时间下限、所述净移动时间上限及所述净移动时间下限计算晶圆在加工模块中的逗留时间;等待时间调整单元,用于调整机器人的等待时间,使得晶圆的所述逗留时间落入许可的时间范围内。
进一步地,所述可行调度方法安排模块包括:稳定调度方法对比单元,用于根据所述净移动时间上限及所述净移动时间下限得到晶圆在加工模块故障前的逗留时间及故障后的逗留时间不一致,以得到加工模块故障前的稳定调度方法及故障后的稳定调度方法不一致;稳定调度方法桥接单元,用于在所述晶圆驻留时间约束的基础上将所述故障前的稳定调度方法转移到所述故障后的稳定调度方法。
进一步地,所述及时性调度模块包括:稳定调度方法确定单元,用于根据机器人的任务及等待时间确定组合设备周期性的稳定调度方法;晶圆转移单元,用于根据所述周期性的稳定调度方法,在组合设备中的一个加工模块发生故障后,根据加工完成度的不同,将该加工模块内的晶圆转移至组合设备中另一加工模块内晶圆加工完成度一致的部位。
本发明第三方面提供一种电子装置,包括:存储器、处理器及存储在所述存储器上并可在所述处理器上运行的计算机程序,其特征在于,所述处理器执行所述计算机程序时,实现上述中的任意一项所述方法。
本发明第四方面提供一种计算机可读存储介质,其上存储有计算机程序,其特征在于,所述计算机程序被处理器执行时,实现上述中的任意一项所述方法。
本发明提供一种半导体加工模块的故障响应方法及系统,有益效果在于:通过对组合设备的调度进行及时性分析,能够得到组合设备在各个时间段对晶圆的加工时间,并加工模块发生故障后,通过分析上述加工时间的及时性,并根据上述及时性来安排加工模块发生故障后的可行调度方法,从而在将可行调度方法传输至机器人处后,机器人能够按照可行调度方法对组合设备进行可行性的调度,从而使得组合设备在满足晶圆驻留时间约束的情况下,在经历故障前及故障后的周期调度这样一个瞬态过程后,仍能够继续正常工作,从而使得晶圆的加工不会中断,进而提高了晶圆的加工效率。
附图说明
为了更清楚地说明本发明实施例或现有技术中的技术方案,下面将对实施例或现有技术描述中所需要使用的附图作简单地介绍,显而易见地,下面描述中的附图仅仅是本发明的一些实施例,对于本领域技术人员来讲,在不付出创造性劳动的前提下,还可以根据这些附图获得其他的附图。
图1为本发明实施例半导体加工模块的故障响应方法的流程示意图;
图2为本发明实施例半导体加工模块的故障响应系统的结构示意框图;
图3为本发明实施例电子装置的结构示意框图。
具体实施方式
为使得本发明的发明目的、特征、优点能够更加的明显和易懂,下面将结合本发明实施例中的附图,对本发明实施例中的技术方案进行清楚、完整地描述,显然,所描述的实施例仅仅是本发明一部分实施例,而非全部实施例。基于本发明中的实施例,本领域技术人员在没有做出创造性劳动前提下所获得的所有其他实施例,都属于本发明保护的范围。
请参阅图1,为一种半导体加工模块的故障响应方法,包括:S1、获取组合设备在稳定状态下的稳定调度方法;S2、根据稳定调度方法对加工模块发生故障时的组合设备的调度进行及时性分析,得到及时性分析结果;S3、根据及时性分析结果及晶圆驻留时间约束安排组合设备的可行调度方法;S4、将可行调度方法传输至机器人处,机器人根据可行调度方法对组合设备的加工模块进行及时性调度。
根据稳定调度方法对加工模块发生故障时的组合设备的调度进行及时性分析,得到及时性分析结果包括:获取并计算加工晶圆所需时间的加工时间上限及加工时间下限;获取并计算机器人在从装载晶圆的地点移动至卸载晶圆的地点所需时间的移动时间上限及移动时间下限;移除加工时间上限、加工时间下限、移动时间上限及移动时间下限中机器人的等待时间,分别得到净加工时间上限、净加工时间下限、净移动时间上限及净移动时间下限;通过净加工时间上限、净加工时间下限、净移动时间上限及净移动时间下限计算晶圆在加工模块中的逗留时间;调整机器人的等待时间,使得晶圆的逗留时间落入许可的时间范围内。
在本实施例中,PM代表加工模块;CT代表组合设备;LL代表真空锁,用于晶圆盒的装载及拆卸;CL代表冷却模块;DACT代表臂组合设备;SACT代表单臂组合设备;WRTC代表晶圆驻留时间约束。
在组合设备中,需要通过一系列处理步骤来处理某种类型的晶圆,并且假设处理步骤的数量为n。而在通常情况下,盒式磁带中原始晶圆的配方是相同的。机器人从LL获取原始晶圆并将其按顺序传送到步骤1-n进行处理。当晶圆在步骤n完成其处理时,它返回到LL。LL也可以被视为晶圆加工步骤,将其称为步骤0。由于只有一个晶圆被装载到PM中,调度组合设备就是给机器人安排任务,包括从步骤中卸载/装载晶圆,在步骤之间移动,旋转和等待。
在本实施例中,yi和xi分别用于表示机器人在步骤i中装载和卸载晶圆,步骤i,i∈{0}∪Nn={1,2,3,...,n}。如前述,交换策略显示为调度DACT的最佳策略。通过PMj的交换操作,机器人执行以下任务序列:在第1机械臂中固定晶圆→通过第2机械臂从PMj卸载已处理的晶圆→旋转→将第1机械臂中的晶圆装入PMj。通过这样做,执行PMj处的交换操作。可以看出,xi和yi以及一个旋转形成了步骤i中的交换,i∈Nn。无论是否携带晶圆,机器人都可以在任何两个步骤之间移动。从步骤i移动到j的机器人由mij表示。
PM和机器人任务中的晶圆加工都需要时间,因此需对时间行为进行建模:使用ai来表示在步骤i加工晶圆所花费的时间,i∈Nn;由于WRTC,步骤i晶圆在PM中被处理后,需在δi的时间单元内从PM移除晶圆。为了使该过程可行,在步骤i中晶圆在PM中所花费的时间必须落入时间间隔[ai,aii]。因此,设定τi∈[ai,aii]为步骤i中PM的晶圆逗留时间。由于在LL中不需要加工晶圆且假设总是要处理原始晶圆,因此对于步骤0设定a0=0,此外,那里也没有WRTC。这意味着,当机器人到达LL时,它可以立即卸载原始晶圆。α为xi中卸载晶圆的时间,从任何PM卸载晶圆的时间都与α相同。类似地,使用β和μ来表示将晶圆装入PM和在任何两个PM之间移动的时间。在PM处进行交换操作所需的时间由λ表示。当机器人在步骤i到达PM以执行交换操作时,待卸载的晶圆可能仍处于PM的处理中。此时,机器人需要在那里等待完成。在此可使用φi1表示在步骤i开始交换操作之前的机器人等待时间。为了使计划可行,机器人可能需要在交换操作期间等待,并且φi2用于表示其等待时间。
在稳定状态下,晶圆在每个步骤被加工,并且机器人周期性地重复其活动。设σ1表示一个循环中的机器人活动顺序,则有σ1=<x0→m01→在步骤1等待→在步骤1等待交换→m12→...→m(i-1)i→在步骤i等待→在步骤i中等待交换→mi(i+1)...→m(n-1)n→在步骤n等待交换→mn0→y0>。为了简化σ1的表示,使用Ai=在步骤i等待(所用时间φi1)→在交换操作期间等待在步骤i中进行交换(所用时间φi1)表示在步骤i执行的机器人活动序列,i∈Nn。此外,让表示在执行Ai之后,机器人移动到步骤j,使得可以执行Aj,i≠j。因此, 表示且i≥1。例如,然后,即可得到
如果仅在步骤i中存在一个PM并且当该PM发生故障时,系统必须终止其操作,因为不可能在设备中完成晶圆的整个处理。然而,如果存在并行PM,则当它们中的一个发生故障时,设备可能以性能降级的方式继续其操作。然而,当并行PM失效时,需要检查是否存在可行的调度。而多个PM的同时发生的故障很少见。因此,在不失一般性的情况下,通常假设只有步骤2具有并行PM,并且计算如何响应步骤2中PM发生的故障。令ζ表示步骤2中并行PM的数量,不管是否PM故障与否,在稳定状态下,DACT具有以下特性。
设定θi是在步骤i加工晶圆所需的时间,i∈Nn;而θi=τi+λ+φi2,i∈Nn\{2}和θ2=(τ2+λ+φ22)/ζ。为了保证τi落在[ai,aii]之内,θi必须处于允许范围内。
当τi=ai时,θi达到下限,如公式2.1所示,公式2.1表示如下:
θiL=ai+λ+φi2,i∈Nn\{2}
当τi=aii时,θi达到上限,如公式2.2所示,公式2.3表示如下:
θiU=ai+λ+φi2i2,i∈Nn\{2}
类似的,步骤2,则可以得到机器人等待时间的下限及等待时间的上限,等待时间的下限如公式2.3所示,公式2.3表示如下:
θ2L=(a2+λ+φ22)/ζ
等待时间的下限如公式2.4所示,公式2.4表示如下:
和θ2U=(a2+λ+φ222)/ζ
通过从表达式2.1-2.4中移除机器人等待时间,对于每个步骤,没有机器人等待的下限和上限分别可用公式2.5-公式2.8所示。
公式2.5表示如下:
ΓiL=ai+λ,i∈Nn\{2}
公式2.6表示如下:
ΓiU=ai+λ+δi,i∈Nn\{2}
公式2.7表示如下:
Γ2L=(a2+λ)/ζ
公式2.8表示如下:
Γ2U=(a2+λ+δ2)/ζ
为了满足WRTC,即ai≤τi≤aii,需要计算τi;计算方法如公式2.9及公式2.10所示,公式2.9表示如下:
公式2.10表示如下:
其中,ψ是机器人周期时间,由公式2.11给出,公式2.11表示如下:
根据公式2.11可得,ψ1=n×λ+(n+1)×μ+α+β是一个已知的常数且 由调度决定。因此,通过调整机器人等待时间,可以使步骤的晶圆逗留时间落入许可范围。而如果设备在稳定状态下定期运行,则在机器人循环中完成一个晶圆的加工。因此,在每个步骤完成晶圆的时间和机器人周期时间应该相同,即有公式2.12,公式2.12表示如下:
θ1=θ2=…=θn=ψ
在公式2.11中,λ,μ,α,和β是确定的,只有φi1和φi2是可变的,i∈Nn;或者ψ1是确定性的,只有ψ2中的φi1和φi2可以被调节。因此,安排时间约束的DACT即正确地确定φi1和φi2,i∈Nn,使得公式2.12成立并且同时满足WRTC。
根据及时性分析结果及晶圆驻留时间约束安排组合设备的可行调度方法包括:根据净移动时间上限及净移动时间下限得到晶圆在加工模块故障前的逗留时间及故障后的逗留时间不一致,以得到加工模块故障前的稳定调度方法及故障后的稳定调度方法不一致;在晶圆驻留时间约束的基础上将故障前的稳定调度方法转移到故障后的稳定调度方法。
将可行调度方法传输至机器人处,机器人根据可行调度方法对组合设备的加工模块进行及时性调度包括:根据机器人的任务及等待时间确定组合设备周期性的稳定调度方法;根据周期性的稳定调度方法,在组合设备中的一个加工模块发生故障后,根据加工完成度的不同,将该加工模块内的晶圆转移至组合设备中另一加工模块内晶圆加工完成度一致的部位。
使用WRTC来安排CT的关键是存在可行的调度。基于ΓiL和ΓiU,即θi的下限和上限,分析可行性调度的存在。让Θ表示PM故障前步骤2的PM数。然后,当其中一个发生故障时,Θ–1的PM可用于其晶圆的加工。分别表示故障之前在步骤i中完成晶圆的时间的下限和上限,以及分别用ΠiL和ΠiU表示故障后的步骤i中完成晶圆的相应下限和上限。在故障之前,在步骤2中有ζ=Θ的PM,让i∈Nn。故障后,ζ=Θ–1成立,让letΓiL=ΠiL且ΓiU=ΠiU,i∈Nn。从公式2.5和公式2.6得出, 此外,令 在PM故障之前,有而在PM故障之后,有Γmax=Πmax。而在步骤2中的PM故障后,ψ1保持不变。然而,由于步骤之间的工作量的变化,在步骤i的交换操作之前和期间的机器人等待时间可能会改变。如果在故障之后可调度,则这导致在PM故障之前和之后CT的不同稳态调度。
在这项工作中,分别使用SCH0和SCH1来表示故障前后的稳态调度。在故障之前,让ωi1和ωi2分别是步骤i,i∈Nn的交换操作之前和期间的机器人等待时间;在故障之后,让γi1和γi2分别代表步骤i,i∈Nn交换操作之前和期间的机器人等待时间。需要注意的是,让ωi1以及ωi2,和γi1以及γi2分别由故障前后的调度确定。因此,有其中φil=ωi1和φi2=ωi2φil=γi1和φi2=γi2。然后,下一个问题是如何检查CT是否可调度以及如何查找SCH0或SCH1。在假设没有PM故障的情况,为可行调度的存在性检查建立了必要和充分的可调度性条件,这些条件可用于分析故障前后稳态下是否存在可行性。因此,针对不同情况介绍它们如下。
定理2.1:如果ψ1max≤ΓiU,WRTC的DACT是可调度的。
在定理2.1中,当ψ1max时,设备受到加工限制,瓶颈步骤的周期时间决定了设备的周期时间。此外,由于Γmax≤ΓiU,i∈Nn,步骤之间的工作量不会太严重失衡。对于这种情况,令φi2=0,i∈Nn,和使得ψ=Γmax成立。通过这样做,获得了可行的和最佳的调度,其中周期时间被最小化。
定理2.2:如果Γmax≤ψ1≤ΓiU,i∈Nn,WRTC的DACT是可调度的。
在定理2.2中,ΓiL≤ψ1≤ΓiU,i∈Nn,意味着该设备是受传送限制的,具有适当平衡的工作负载。在这种情况下,只需将机器人等待时间设置为零即可获得具有最小周期时间的可行调度。
在定理2.1和2.2中,各步骤之间的工作量相应地平衡,使得 成立。但是,有些情况下 成立,对于这种情况,设E={i|i∈NniUmax}和F=Nn\E.然后,通过设置φi2>0,可以增加在步骤i完成晶圆的时间,同时不改变τi。这意味着,在某些条件下,即使成立,也可以使CT可调度。因此,通过将φi2设置为公式2.13,使得步骤中的工作量在某种程度上达平衡。
公式2.13表示如下:
定理2.3:如果 且∑i∈Eφi21≤Γmax,然后带有WRTC的DACT可用φi2调度,i∈Nn,由公式2.13设定。
在这种情况下,机器人等待时间由φi2,i∈Nn设置,而不改变τi,可以增加步骤i完成晶圆的时间,在某种程度上平衡各步骤之间的工作量。注意,对于φi2,i∈Nn,由(2.13)和设置,可得到ψ=Γmax成立,即,获得的调度是最佳和可行的。
从公式2.7及公式2.8可知,PM故障前的步骤2的许可晶圆驻留时间间隔与故障后的不同,导致SCH0必须与SCH1不同。因此,为了响应PM故障,如果可能的话,需要将SCH0转移到SCH1的瞬态过程。为了使之可行,应该在这个瞬态过程中使WRTC满足。假设在步骤2发生PM故障,建议采用响应策略。
如上所述,机器人任务和机器人等待时间决定了CT的周期性稳定调度。当步骤2中的PM故障时,该设备称为降级设备。故障后,如果降级设备存在SCH1,则它必须与SCH0不同。它们具有不同的机器人等待时间和不同的周期时间。这项工作的重点是调度瞬态过程以桥接SCH0和SCH1而不违反WRTC。在CT中,在设计配方时,通过使用并行PM来平衡各步骤之间的工作量。因此,对于并行PM,步骤2具有最重的工作量。在这种情况下,可以合理地假设当PM出现故障时,步骤2成为瓶颈步骤。在故障之前,那里有ζ=Θ的PM。当发生故障时,将Θ的PM标记为PM1,PM2,...和PMΘ,以指示PM1是在处理加载到步骤2中的最早一个晶圆,而PMΘ正在处理加载到步骤2中的最近的一个。针对不同情况制定响应策略,以使降级设备在不违反WRTC的情况下继续运行。在本实施例中,使用BF-S定理X来表示在故障之前满足定理X,AF-S定理X表示在故障之后满足定理X;
情况1,BF-S定理2.1或2.2以及AF-S定理2.1:
在这种情况下,降级的DACT是可调度的。在不失一般性的情况下,假设然后,通过设置ωi1=0,i∈Nn\{1},ωi2=0,i∈Nn,且 形成SCH0,周期时间通过假设,在故障之后,有Πmax=Π2L;然后,通过设置γi1=0,i∈Nn\{1},γi2=0,i∈Nn,且γ11=Πmax1具有周期时间ψ=Πmax的SCH1形成。由于ψ1不变,则有这意味着SCH1与SCH0不同,尽管DACT在故障后仍可调度。需要指出的是,故障后,DACT无法自动进入SCH1。因此,有必要开发一种有效的响应策略,以成功地将系统从SCH0转移到SCH1,而不会违反WRTC。设TRHd是在从SCH0到SCH1的瞬态过程中在第d个机器人任务循环期间执行的机器人任务序列。当组合设备在TRH0中运行时发生故障,即,将步骤2中的PM故障的机器人任务循环定义为TRH0。此外,合理的假设是:当步骤2中的PM发生故障时,其中正在处理一个晶圆。设Vi表示一种虚拟晶圆(V晶圆),TRHi=SCHj表示该设备的操作。然后,提出以下的响应策略。
假设在PM故障之前,满足定理2.1或2.2中的条件,并且在故障之后,满足定理2.1中的条件。然后,响应策略以从SCH0到SCH1获得可行的瞬态过程,如下所示:
情形1(RP 3.1-S1):当PMj,j∈NΘ,在步骤2故障时,如果在TRH0期间步骤2的交换操作完成,则从SCH0到SCH1的瞬态过程被控制操作如下:
1)TRHd=SCH0,0≤d≤j-1;
2) 有φi1=ωi1,i∈Nn\{2,3},φi2=ωi2,i∈Nn\{2},φ31=ω312122+λ-β;
3) 有φi1=ωi1,i∈Nn\N2i2=ωi2,i∈Nn\{1},且φ21=ω211112+λ-β-μ;
4)φi1=ωi1且φi2=ωi2,i∈Nn,2≤d≤Θ-2;
5)TRHj+d=SCH0,d=Θ-1且d≠1;
6)TRHj+d=SCH1,d≥Θ,直到所有V晶圆都离开设备;
情形2(RP 3.1-S2):当PMj,j∈NΘ\{1},在步骤2故障时,如果在TRH0期间没有执行步骤2的交换操作,则从SCH0到SCH1的瞬态过程被控制操作如下:
1)TRHd=SCH0,0≤d≤j-2;
2) 有φi1=ωi1,i∈Nn\{2,3},φi2=ωi2,i∈Nn\{2},且φ31=ω312122+λ-β;
3) φi1=ωi1,i∈Nn\N2i2=ωi2,i∈Nn\{1},且φ21=ω211112+λ-β-μ;
4)φi1=ωi1且φi2=ωi2,i∈Nn,1≤d≤Θ-3;
5)TRHj+d=SCH0,d=Θ-2且d≠0;
6)TRHj+d=SCH1,d≥Θ-1,直到所有V晶圆都离开设备;
情形3(RP 3.1-S3):当步骤2中的PM1发生故障时,如果尚未执行TRH0期间步骤2的交换操作,则从SCH0到SCH1的瞬态过程被控制操作如下:
1) φi1=ωi1,i∈Nn\{2,3},φi2=ωi2,i∈Nn\{2},且φ31=ω312122+λ-β-μ;
2)TRHd=SCH0,1≤d≤Θ-1;
3) φi1=ωi1,i∈Nn\{2,3},φi2=ωi2,i∈Nn\{2},且φ31=ω312122+λ-β;
4) φi1=ωi1,i∈Nn\N2i2=ωi2,i∈Nn\{1},φ21=ω211112+λ-β-μ;
5)φi1=ωi1且φi2=ωi2,i∈Nn,2≤d≤Θ-2;
6)TRHΘ+d=SCH0,d=Θ-1且d≠1;
7)TRHΘ+d=SCH1,d≥Θ,直到所有V晶圆都离开设备。
在这种情况下,对于情形1,当PMj,j∈NΘ故障时,TRHd,0≤d≤j-1由RP3.1-S1.1调度,使得它与SCH0相同。对于第j个机器人循环中的TRHj,在步骤1交换后,如果设备被安排为SCH0,则机器人将移动到步骤2在发生故障的PM中交换,导致晶圆将被装入其中,会导致晶圆质量问题。为了避免这样的质量问题,通过RP3.1-S1.2,从LL卸载V0并移至步骤1,在步骤1的交换操作之后,机器人移动到LL,并丢弃步骤1处理过的晶片。然后,机器人移动到步骤3,在一个臂中创建V0。要注意的是,机器人不会执行步骤2来执行任何机器人任务。因此,通过该策略,避免了将晶圆装载到故障PM中。然后,在第j个循环中,机器人任务序列TRHj被安排为它与SCH0的相同。因此,则有RP 3.1-S1.2给出的TRHj。在执行TRHj之后,步骤1和3中的晶圆是V0,而其他步骤处理的是实际晶圆。
在下一个机器人循环中,TRHj+1由RP 3.1-S1.3安排。具体而言,在此循环期间,机器人首先用两个空臂移动到步骤2,从故障PM卸载晶圆,返回到LL并在那里加载该晶圆。然后,机器人再次移动到步骤2,在一个臂中创建V0。以这种方式,将故障PM中可能具有质量问题的的晶圆返回到LL。然后,在此循环期间,以下机器人任务序列TRHj+1与SCH0相同。注意,在执行TRHj+1之后,将另外一个V晶圆V0放入设备中并且在步骤2中在PM中处理它。
对于第(j+d)机器人循环中的TRHj+d,2≤d≤Θ-2,通过RP 3.1-S1.4,即可得到1)预定的任务序列与SCH0的任务序列相同;2)每当有晶圆从LL卸载时,它卸载一个V晶圆。对于第(j+d)机器人循环中的TRHj+di,Θ-1且d≠1,通过RP 3.1-S1.5,该设备作为SCH0运行。然后,通过RP 3.1-S1.6,TRHj+d,d≥Θ,被安排为SCH1。要注意的是,当系统中的所有V晶圆被移除时,设备进入SCH1的稳定状态。
值得注意的是,与在PM加工晶圆的时间相比,机器人任务所花费的时间非常短。此时可合理地假设λ≥β+μ。因此,由RP 3.1-S1.2-4设定的机器人等待时间都大于或等于零,即,这样的设置是有意义的。在RP 3.1-S1中,主要思想是,在故障之后,1)不是根据SCH0将第一个晶圆从步骤1传送到故障PM,而是移动到LL;2)故障PM中的晶圆返回LL;3)将适当数量的V晶圆释放到设备中。然后,类似于RP 3.1-S1,RP 3.1-S2和RP 3.1-S3是针对另外两种情况开发的。在这种情况下,当PMj,j∈NΘ故障时,应用RP 3.1来响应此故障。下面的定理3.1表明,通过RP 3.1,该设备可以成功地经历从SCH0到SCH1的瞬态过程,而不会违反WRTC。
定理3.1:对于DACT,假设在故障之前,满足定理2.1或2.2中的条件,并且在故障之后,满足定理2.1中的条件。然后,当PMj,j∈NΘ故障时,系统可以通过RP 3.1从SCH0转移到SCH1,而不违反WRTC。
证明:对于RP 3.1中给出的情形1,通过RP 3.1-S1.1,当PMj,j∈NΘ故障时,TRHd,0≤d≤j-1被安排为SCH0。根据定理2.1和2.2,TRHd,0≤d≤j-1是可行的。对于第j个机器人循环中的TRHj,通过RP 3.1-S1.2,执行机器人任务序列σ2=<x0(卸载V0)→m01→A1>有φ11=ω11及φ12=ω12,这样,机器人从步骤1卸载晶圆。通过这样做,TRHj被调度为与SCH0一样,除了LL卸载的是V0而不是卸载真实晶圆。因此,步骤1中的WRTC能满足。执行σ2后,通过RP 3.1-S1.2,机器人任务序列σ3=<m10→y0→m03(转到步骤3,在一个机器人臂中创建V0)→等待φ31执行>,φ31=ω312122+λ-β,使得从步骤1卸载的晶圆返回到LL,然后机器人移动到步骤3并在那里等待。需要2μ+β+φ31=2μ+β+ω312122+λ-β=2μ+λ+ω312122时间单位执行σ3。要注意的是,从σ2结束到步骤3的交换开始,当设备在SCH0下操作时,机器人执行σ4=<m12→A2→m23→等待执行φ31>。执行σ4需要2μ+ω21+λ+ω2231时间单位,这与执行σ3时完全相同。因此,步骤3中的WRTC是满足的。在TRHj中随后的σ3的操作被安排为SCH0。因此,步骤i中的WRTC满足,i∈Nn\N3,即确保TRHj的可行性。
对于第(j+1)机器人循环中的TRHj,按照RP 3.1-S1.3,机器人任务序列σ5=<m02(移至PMj)→x2→m20→y0→m02(移至PMj+1在一个机器人臂中产生V0)→等待φ21>被执行,使得在步骤2从PMj卸载的晶圆返回到LL。然后,机器人在步骤2转到另一个PM并在那里等待。执行σ5需要3μ+α+β+φ21=3μ+α+β+ω211112+λ-β-μ=2μ+α+λ+ω211112的时间单位。通过执行序列σ6=<x0→m01→A1→m12→等待执行ω21>,机器人在步骤2移动到PM,并当设备在SCH0下操作时等待在那里。这需要σ6=<x0→m01→A1→m12→等待ω21>时间单位,这与执行σ5完全相同。注意,在步骤1中由PM处理的晶圆是V晶圆,并且σ5和σ6所花费的时间是相同的。这意味着步骤1和2中的WRTC都满足。在TRHj+1中随后的σ5操作被安排为SCH0。因此,WRTC满足步骤i,i∈Nn\N2,即TRHj+1是可行的。
对于第(j+d)机器人循环中的TRHj+d,2≤d≤Θ-2,通过RP 3.1-S1.4,即可得到1)机器人任务序列与SCH0相同;2)机器人等待时间设定为与SCH0相同;3)每当机器人从LL卸载晶圆时,它卸载V晶圆。因此TRHj+d,2≤d≤Θ-2可行。对于第(j+d)机器人循环中的TRHj+d,d=Θ-1且d≠1,通过RP3.1-S1.5,它与SCH0是一样的,即TRHj+d是可行的。在刚刚执行TRHj+Θ-1之后,在步骤2中处理的晶圆都是V晶圆。然后,通过RP 3.1-S1.6,TRHj+Θ被安排为SCH1,且根据定理2.1,WRTC满足步骤i,i∈Nn。因此TRHj+Θ可行。然后,通过RP 3.1-S1.6,TRHj+Θ,d≥Θ+1被安排为与SCH1一样。因此TRHj+d,d≥Θ+1可行。从设备中取出所有V晶圆后,设备进入SCH1。因此对于情形1,当PMj,j∈NΘ故障时,通过RP 3.1-S1,系统可以从SCH0转移到SCH1而不违反WRTC。
类似地,对于情形2和3,当PMj,j∈NΘ故障时,通过RP 3.1-S2和RP 3.1-S3,系统可以分别从SCH0转移到SCH1而不违反WRTC。因此,该定理成立。
对于这种情况,在PM故障之前,DACT被安排为SCH0,周期时间当PMj,j∈NΘ故障时,在步骤中,步骤2的工作量最重,设备可以在SCH1下运行,周期时间ψ=Πmax=Π2L。当时,SCH1与SCH0不同。因此,当PMj,j∈NΘ故障且如果系统在不受给定策略控制的情况下自动进入SCH1,则步骤2中从PMj以外PM卸载的晶圆可能未完成,因为它根据SCH0被装载到PM中,导致步骤2中的WRTC可能被违反。然而,通过RP 3.1,当在步骤2中处理的所有晶圆都是V晶圆时,该设备可以成功地进入SCH1所要求的稳定状态,这是最佳和可行的。
RP 3.1可以通过一个例子来说明:该示例中的设备有四个步骤。为步骤1,3和4中的每一步配置一个PM,而步骤2具有两个并行PM。假设在步骤2的PM故障之前和之后系统是可调度的。此外,在故障之后,满足情形1的条件。在发生故障之前,该设备被安排为SCH0。设Wi表示真正的晶圆。在状态1,W1,W2和W5分别在步骤4,3和1被加工,而W3和W4分别在步骤2被加工。在故障之前,该设备作为SCH0运行,并且将一个臂上固定W2的机器人移动到步骤4。此时,PM1发生故障,并且在故障之前,步骤2中的交换操作已经完成,需应用RP 3.1-S1来响应PM故障。通过RP 3.1-S1.1,TRH0被调度为与SCH0一样。然后,TRH1由RP 3.1-S1.2调度。根据调度的TRH1,在状态4,V0从LL卸载之后,机器人移动到步骤1,在步骤1交换,并将W6传送到L。然后,机器人移动到步骤3,在一个机器臂中创建V0。通过继续TRH1操作,达到状态7,使得TRH1完成。然后,RP 3.1-S1.3调度下一个机器人循环的TRH2。通过继续TRH2操作,机器人移动到PM1,卸载W4,并将其移回LL。然后,机器人移动到PM2,在一个手臂中创建V0。通过继续TRH2操作,完成TRH2。在这种状态下,步骤2中的晶圆是V晶圆。然后,RP 3.1-S1.6将TRHd,d≥3调度为与SCH1相同。因此,通过执行TRH3,在这三个机器人循环之后,从设备中移除所有V晶圆,使得达到SCH1的稳态。
情况2,BF-S和AF-S定理2.2:
在这种情况下,当PMj,j∈NΘ故障时,系统仍然是可调度的。在不失一般性的情况下,假设在故障之前成立。通过设置ωi1=0且ωi2=0,i∈Nn,形成SCH0,周期时间ψ=ψ1。故障后,即可得到Πmax=Π2L,并且通过设置ωi1=0且ωi2=0,i∈Nn,形成SCH1,周期时间ψ=ψ1。可以看出SCH0和SCH1是相同的。然而,为了正确处理故障PM中的晶圆并使故障后WRTC不被违反,仍然需要对系统进行适当控制。因此,可给出了这种情况的响应策略如下。
响应策略3.2(RP 3.2):假设在故障之前和之后,都满足定理2.2中的条件。然后,针对不同情况,提出了用于确定从SCH0到SCH1的可行瞬态过程的响应策略如下:
情形1(RP 3.2-S1):当PMj,j∈NΘ,在步骤2故障时,如果机器人在TRH0期间在步骤2执行了交换操作,则从SCH0到SCH1的瞬态过程被安排为:
1)-3)分别与RP 3.1-S1中的语句1)-3)相同;
4)TRHj+d,d≥2,与SCH1一样,直到所有V晶圆都不在设备中;
情况2(RP 3.2-S2):当PMj,j∈NΘ\{1},在步骤2故障时,如果机器人在TRH0期间尚未在步骤2执行交换操作,则从SCH0到SCH1的瞬态过程被安排为:
1)-3)分别与RP 3.1-S2中的语句1)-3)相同;
4)TRHj+d,d≥1,与SCH1一样,直到所有V晶圆都不在设备中;
情况3(RP 3.2-S3):当步骤2中的PM1发生故障时,如果机器人在TRH0期间尚未在步骤2执行交换操作,则从SCH0到SCH1的瞬态过程被安排为:
1)-4)分别与RP 3.1-S3中的语句1)-4)相同;
5)TRHΘ+d,d≥2,与SCH1一样,直到所有V晶圆都不在设备中。
在这种情况下,对于情形1,RP 3.2-S1.1-3分别与RP 3.1-S1.1-3相同。通过RP3.2-S1.4,TRHj+d,d≥2被安排为SCH1。要注意的是,当所有V型晶圆都在设备之外时,达到的稳态与故障后SCH1下的稳态相同。假设λ≥β+μ,则可得到RP 3.2-S1.2和3设定的机器人等待时间大于或等于零,即它是正确且有意义的。通过RP 3.2-S1,主要思想是,在故障之后,1)根据SCH0,不是在步骤2将第一晶圆从步骤1传送到故障PM,而是将该晶圆返回到LL;2)故障PM中的晶圆被输送到LL。与RP 3.2-S1类似,RP 3.2-S2和RP 3.2-S3是针对另外两种情况开发的。在这种情况下,当PMj,j∈NΘ,失效时,RP 3.2被应用,且设备可以成功地经历从SCH0到SCH1的瞬态过程而不违反WRTC,如定理3.2所示。
定理3.2:假设在故障之前和之后,满足定理2.2中的条件。然后,当PMj,j∈NΘ故障时,设备可以通过RP3.2成功地从SCH0转移到SCH1而不违反WRTC。
证明:对于RP 3.2中给出的情形1,按照RP 3.2-S1.1-3和基于定理2.2和3.1,TRHd,0≤d≤j+1是可行的。在第(j+2)机器人循环中,通过RP 3.2-S1.4,TRHj+2被调度为SCH1。基于定理2.2,WRTC对每个步骤都是满足的,即TRHj+2是可行的。类似地,通过RP 3.2-S1.4,TRHj+d,d≥3,就像SCH1一样可行。从设备中取出所有V晶圆后,设备进入SCH1。因此,对于情形1,当PMj,j∈NΘ故障时,系统可以通过RP 3.2-S1从SCH0转移到SCH1,而不违反WRTC。类似地,对于情形2和3,当PMj,j∈NΘ故障时,系统可以分别通过RP 3.2-S2和RP 3.2-S3从SCH0转移到SCH1而不违反WRTC。因此,该定理成立。
对于这种情况,SCH1与SCH0相同,有周期时间ψ=ψ1。通过分别针对不同情况应用RP3.2-S1.3,RP 3.2-S2.3和RP 3.2-S3.4将故障PM中的晶圆传送到LL后,DACT可以成功进入SCH1而不需要更多V–晶圆装载到系统中。
情况3,BF-S定理2.1,2.2和2.3以及AF-S定理2.3
在这种情况下,当PMj,j∈NΘ故障时,系统仍然是可调度的。在不失一般性的情况下,可假设并将ωi2,i∈Nn设置为(2.13),设置ωi1=0,i∈Nn\{1},并且0}使得SCH0形成,有周期时间 故障后,则有Πmax=Π2L然后,将γi2,i∈Nn设置为(2.13),设置γi1=0,i∈Nn\{1},并且γ11=max{Πmax1-∑i∈Eγi2,0},以便形成SCH1,周期时间ψ=Πmax。可以看出SCH1与SCH0不同,但是在故障之后该设备仍然是可调度的。在不失一般性的情况下,并假设在故障之后,有一个步骤,比如步骤k,k∈E,且k≥3,其中k是E中的最大值。然后,这种情况的响应策略给出为如下。
响应策略3.3(RP 3.3):假设在故障之前,满足定理2.1,2.2和2.3中的一个条件,并且在故障之后,满足定理2.3中的条件。然后,提出了用于确定从SCH0到SCH1的可行瞬态过程的响应策略如下:
情形1(RP 3.3-S1):当PMj,j∈NΘ,在步骤2故障时,如果机器人在TRH0期间已经在步骤2执行了交换操作,则从SCH0到SCH1的瞬态过程被安排为:
1)-3)分别与RP 3.1-S1中的语句1)-3)相同;
4)TRHj+d,2≤d≤k+Θ-3安排为任务序列 有φi1=ωi1且φi2=ωi2,i∈Nn
5)TRHj+d,d≥k+Θ-2,被安排为SCH1
情形2(RP 3.3-S2):当PMj,j∈NΘ\{1},在步骤2故障时,如果机器人在TRH0期间尚未在步骤2执行交换操作,则从SCH0到SCH1的瞬态过程被安排为:
1)-3)分别与RP 3.1-S2中的语句1)-3)相同;
4)TRHj+d,1≤d≤k+Θ-4,被安排为任务序列 有φi1=ωi1且φi2=ωi2,i∈Nn
5)TRHj+d,d≥k+Θ-3,被安排为SCH1
情形3(RP 3.3-S3):当步骤2中的PM1发生故障时,如果机器人在TRH0期间尚未在步骤2执行交换操作,则从SCH0到SCH1的瞬态过程被安排为:
1)-4)分别与RP 3.1-S3中的语句1)-4)相同;
TRHΘ+d,2≤d≤k+Θ-3,被安排为为任务序列 φi1=ωi1且φi2=ωi2,i∈Nn
6)TRHΘ+d,d≥k+Θ-2,被安排为SCH1
在这种情况下,对于情形1,RP 3.3-S1.1-3分别与RP 3.1-S1.1-3相同。第(j+d)机器人循环中的TRHj+d,2≤d≤k+Θ-3由RP 3.3-S1.4调度,使得:1)机器人任务序列与SCH0相同;2)每当从LL卸载晶圆时,卸载V晶圆。然后,通过RP 3.3-S1.5,TRHj+d,d≥k+Θ-2被安排为SCH1。要注意的是,当从设备中取出所有V晶圆时,设备会在故障后进入SCH1下的稳定状态。假设λ≥β+μ,由RP 3.3-S1.2–4设定的机器人等待时间必须是非负的,这是正确且有意义的。RP 3.3-S1的主要思想类似于RP 3.1-S1。然后,基于RP 3.1-S1和RP 3.3-S1的类似思想,针对其他两种情况开发了RP 3.3-S2和RP 3.3-S3。在这种情况下,当PMj,j∈NΘ失效并且应用RP 3.3时,系统可以成功地经历从SCH0到SCH1的瞬态过程而不违反WRTC,如下面的定理3.3所示。
定理3.3:假设在故障之前,满足定理2.1和2.2中的一个条件,并且在故障之后,满足定理2.3中的条件。然后,当PMj,j∈NΘ故障并且应用RP 3.3时,该设备可以成功地从SCH0转移到SCH1而不违反WRTC。
证明:对于RP 3.3中给出的情况1,通过定理2.1-2.3,3.1和3.2,由RP3.3-S1.1-3调度的TRHd,TRHd,0≤d≤j+1是可行的。在第(j+d)机器人循环中,通过RP 3.3-S1.4,2≤d≤k+Θ-3,TRHj+d被调度为SCH0。根据定理2.1-2.3,每个步骤都满足WRTC,即TRHj+d,2≤d≤k+Θ-3是可行的。在执行TRHj+k+Θ-3之后,在步骤i,1≤i≤k处理的晶圆是V晶圆。然后,通过RP3.3-S1.5,TRH j+d,d≥k+Θ-2被安排为SCH1。根据定理2.3,TRH j+d,d≥k+Θ-2是可行的。当从设备中移除所有V晶圆时,SCH1能实现。因此,对于情形1,当PMj,j∈NΘ故障时,系统可以通过RP 3.3-S1从SCH0转移到SCH1而不违反WRTC。类似地,对于情形2和3,当PMj,j∈NΘ故障时,设备可以分别通过RP 3.3-S2和RP3.3-S3从SCH0转移到SCH1,而不会违反WRTC。因此,证明已经完成。
这种情况类似于情形1.当PMj,j∈NΘ故障时,如果应用RP 3.3,则系统可以从SCH0成功转移到SCH1。到目前为止,已经针对不同情况提出了响应策略,使得从SCH0到SCH1的瞬态过程是可行的。可以看出,响应策略是由简单的规则形成的。这意味着只需要简单的计算并且可以实时应用。
而对于情形1及情形3,为了使设备成功地从SCH0转移到SCH1而不违反WRTC,一些V晶圆被放入系统。有两种类型的V型晶圆:V0和Vd,d≥1。对于RP 3.1和3.3,在步骤2的PM故障后,当步骤1中完成的晶圆或步骤2中故障PM的晶圆传送到LL中,创建V0并通过将其视为真实的来执行相应的任务,以便保证在其他PM中处理的晶圆满足WRTC。在步骤1完成晶圆和步骤2中故障PM的晶圆被传送到LL之后,系统尚未达到与SCH1兼容的稳定状态,即,它仍处于瞬态过程中。然后,为了使系统进入与SCH1兼容的稳定状态,使用了V晶圆Vd,d≥1。但是,RP3.1和3.3关注的是可行性问题,可能会在系统中加入一些不必要的Vd,从而降低生产率。因此,可以避免这种不必要的Vd并用真实的Vd代替,以改善设备的性能。基于RP 3.1和3.3,确定了不必要的Vd,然后用实际晶圆替换它们。
设Ms=(P,η),s≥1,是完成的晶圆装载到LLs时DACT的状态。
1)P={p1(Ms),p2(Ms),…,pn(Ms)},其中pi(Ms)∈P,是状态Ms,i∈Nn,s≥1的步骤i中PM中晶圆的数量;
2)η={η1(Ms),η21(Ms),η22(Ms),…,η(Ms),η3(Ms),…,ηn(Ms)}是步骤i中状态Ms,i∈Nn\{2},s≥1的PM中的晶圆停留的时间;其中η21(Ms),η22(Ms),…,η(Ms)是处理状态Ms,s≥1的步骤2中的PM中的晶圆已被处理的时间,且具有η2f的晶圆比带有η2f+1的晶圆更早地加载到步骤2中。
注意,在Ms,s≥1,如果PM中没有晶圆,ηi(Ms),i∈Nn\{2},或η2j(Ms),j∈NΘ,则设置该晶圆为零。
对于情形1,通过RP 3.1-S1,通过执行语句4中给出的活动,将V晶圆Vd,d≥1加载到系统中。这意味着如果将V1加载到系统中,则必须保持Θ≥4。根据定理3.1,在TRHj+Θ-1完成时,步骤2中的PM中的晶圆都是V晶圆。注意,根据定理2.1和2.2,晶圆Vd,d≥1可以在步骤1中处理而不违反WRTC,因为其加工被调度为SCH0。然后,系统在SCH1下运行。根据定理2.1,晶圆Vd,d≥1可以在步骤1中加工而不会违反WRTC,因为其加工被调度为SCH0。因此,在步骤2中满足WRTC的任何V晶圆Vd,d≥1是不必要的,并且可以由实际的晶圆替换。关键是在步骤2检查PM的可行性。
在降级CT中的步骤2中计算η2j(Ms),j∈NΘ如下:由于步骤2中的PM故障,步骤2中有Θ-1个PM。因此,对于降级设备,只需要计算在步骤2的晶圆处于状态Ms,s≥1的η21(Ms),η22(Ms),…,η2(Θ-1)(Ms)。假设晶圆W1,W2,...,WΘ-1被按顺序地装载到降级的组合设备中。当系统到达状态Ms时,晶圆W1,W2,...,WΘ-1刚刚在步骤2处理。对应于这些晶圆,分别有η21(Ms),η22(Ms),…,η2(Θ-1)(Ms)。假设在到达Ms之前,该设备在SCH0下运行。这意味着,在机器人执行步骤2中的交换操作以装载晶圆W1之后,它执行机器人任务序列 其中根据SCH0设置机器人等待时间,以便到达Ms。机器人在步骤2中交换以装载W2后,执行 其中机器人等待时间根据SCH0设置以达到Ms。同样,在机器人将WΘ-1加载到步骤2后,它执行 其中机器人等待时间根据SCH0设置以达到Ms。要注意的是,根据SCH0设置的机器人等待时间执行σ1所用的时间是 因此,得到公式3.1,公式3.1表示如下:
且f∈NΘ-1
到达Ms后,假定该设备被安排为SCH1。然后,在机器人任务循环之后,系统达到Ms+1。此外,在g机器人任务循环之后,系统达到状态Ms+g。设ti(Mh),h≥s,是机器人从Mh到Mh+1循环期间执行从Ms到机器人交换开始所需的任务时间。需要注意的是,根据SCH1设置机器人等待时间执行σ1所需的时间是 因此,可得到公式3.2及公示3.3,公式3.2表示如下:
公式3.3表示如下:
且i∈Nn\{1}
注意,在从Ms+d-1到Ms+d的机器人循环期间晶圆Wd,1≤d≤Θ-1从步骤2卸载。因此,通过公式3.1及公式3.3,在步骤2中在PMd中加工晶圆Wd,1≤d≤Θ-1的时间是η2d(Ms)+t2(Ms+d-1)。
对于情形1,通过RP 3.1-S1.4,在执行TRHj+Θ-1之后,步骤2中的PM中的晶圆都是V晶圆,并且系统到达状态M1。具体而言,在步骤2中PM中存在Θ-1个V晶圆。其中,最早进入步骤2的两个晶圆是V0,而其他晶圆是Vd,1≤d≤Θ-3。然后,通过设置s=1和f=d+2的公式3.1,在步骤2中在PM中处理Vd的时间是η2(d+2)(M1),1≤d≤Θ-3。通过设置h=d+2,i=2和s=1的公式3.3,可以计算Vd的t2(M(d+2)),1≤d≤Θ-3。已知η2(d+2)(M1)和t2(M(d+2)),对于RP 3.1的情形1,如果a2≤η2(d+2)(M1)+t2(M(d+2))≤a22,1≤d≤Θ-3,则Vd可以用实际晶圆代替。如果M1表示在应用RP 3.1-S2.4或RP 3.1-S3.5之后的系统状态,类似于RP 3.1的情形1,对于RP 3.1的情形2和3,如果a2≤τ2(d+2)(M1)+t2(M(d+2))≤a22,1≤d≤Θ-3,Vd可以由实际晶圆代替。因此可获得以下算法:
算法3.1:如果Θ≥4成立,检查情况1的情形1-3中Vd是否可以被实际晶圆替换的程序如下。
1)d=1;
2)而d≤Θ-3;
3)通过公式3.1计算τ2(d+2)(M1);
4)通过公式3.3计算t2(M(d+2)),其中s=1;
5)如果a2≤τ2(d+2)(M1)+t2(M(d+2))≤a22
6)V晶圆Vd由真实晶圆代替;
7)d=d+1;
8)结束;
对于情况3,通过RP 3.3-S1.4,在执行TRHj+k+Θ-3之后,在步骤i,1≤i≤k处理的晶圆都是V晶圆。具体地说,步骤1在加工晶圆Vk-4+Θ,而步骤2是加工晶圆如果k=3,则步骤k正在加工晶圆V0。如果k=4,则步骤4和3都加工晶圆V0。如果k>4,则步骤k和k-1都是加工晶圆V0,步骤i,3≤i≤k-2,正在加工晶圆Vk-i-1。因此,在降级的组合设备中处理V晶圆Vd,1≤d≤k+Θ-4。然后,通过RP 3.3-S1.5,系统在以下操作中被调度为SCH1。要注意的是在应用RP 3.3-S1.4之后,系统的状态类似于案例1的M1,因为在达到M1时案例1中的系统也被调度为以下操作中的稳态调度。因此,假设对于案例3,在应用RP 3.3-S1.4之后,到达状态也是M1。然后,为了用实际晶圆代替V晶圆Vd,1≤d≤k+Θ-4,需要满足每一步的WRTC。在达到M1之前,系统在SCH0下运行。根据定理2.3和3.3,WRTC的Vd,1≤d≤k+Θ-4在它所经过的步骤中都满足。当达到M1时,系统在以下操作中被安排为SCH1。因此,类似于案例1,如果在从步骤2卸载时满足WRTC,则除了V0之外在步骤2中处理的V晶圆可以被实际晶圆替换。换句话说,如果a2≤η2f(M1)+t2(Mf)≤a22成立,f∈NΘ-1且k–4+f>0,则晶圆Vk-4+f可由实际晶圆代替。
在从M1到M2的过程中,在步骤i处理的V晶圆,i∈Nk\{2}被传送到下一步骤。根据定理2.3和3.3,他们即将访问的步骤中的WRTC都能满足。因此若在从M1到M2的过程可以将它们移动到下一步而不违反WRTC,则可以用实际晶圆代替它们。因此,即有1)如果a1≤η1(M1)+t1(M1)≤a11,V晶圆Vk-4+Θ可以用真实晶圆代替;2)如果k>4且ai≤ηi(M1)+ti(M1)≤aii,3≤i≤k-2,则晶圆Vk-i-1可以用实际晶圆代替。由于ti(M1)可以通过表达式(3.3)获得,只需要知道如何计算ηi(M1),i∈Nn\{2}。机器人在步骤i,i∈Nn\{2,n}交换后,为了加载晶圆,然后执行机器人任务序列机器人等待时间根据SCH0设定,以便达到M1。因此,则有公式3.4表示如下:
在机器人在步骤n交换以加载晶圆后,它执行机器人任务序列<mn0→y0>,以便达到M1。因此,可以得到公式3.5,公式3.5表示如下:
ηn(M1)=μ+β
由于ηi(M1)及ti(M1)已知,i∈Nn\{2},可以检查在步骤i处理的V晶圆是否满足WRTC。类似地,对于RP 3.3的情况2和3,让M1表示系统在执行完RP 3.3-S2中情形4给出的任务序列或RP 3.3-S3中情形5给出的任务序列后所达到的状态,然后即可得到1)如果a1≤η1(M1)+t1(M1)≤a11,V晶圆Vk-4+Θ可以用真实晶圆代替;2)如果且k–4+f>0,则晶圆Vk-4+f可以用真实的晶圆代替;3)如果k>4且ai≤ηi(M1)+ti(M1)≤aii,3≤i≤k-2,晶圆Vk-i-1可以用真实的晶圆代替。因此,有以下算法:
算法3.2:如果情况3的情形1-3的V晶圆可以由真实晶圆替换,检查的程序如下。
1)通过公式3.4计算η1(M1);
2)通过公式3.2计算t1(M1),其中s=1;
3)如果a1≤η1(M1)+t1(M1)≤a11
4)V晶圆Vk-4+Θ可以用真实的替换;
5)如果k=3;
6)f=2;
7)否则f=1;
8)当f≤Θ-1;
9)通过公式3.1计算η2f(M1);
10)用s=1计算公式3.3的t2(Mf);
11)如果a2≤η2f(M1)+t2(Mf)≤a22
12)V晶圆Vk-4+f可以用真实的替换;
13)f=f+1;
14)如果k>4;
15)i=3;
16)否则i=0;
17)如果3≤i≤k-2;
18)通过公式3.4计算ηi(M1);
19)用s=1计算公式3.3的ti(M1);
20)如ai≤ηi(M1)+ti(M1)≤aii
21)V晶圆Vk-i-1可以用真实的晶圆取代;
22)i=i+1;
23)结束。
RP 3.3中的情形1-3,算法3.2中的语句1)-4)用于检查在步骤1处理的V晶圆Vk-4+Θ是否可被实际晶圆代替。算法3.2中的语句8)-11)用于检查在步骤2处理的和k–4+f>0是否可用实际晶圆替换。算法3.2中的语句17)-22)用于检查在步骤i处理的Vk-i-1,k>4且3≤i≤k-2是否可被实际晶圆替换。算法3.1和3.2的计算复杂度为线性。因此,它们在计算上有效。
对于易出故障的PM和WRTC,若步骤2中DACT中的PM故障发生且属于情形1,则降级设备应响应RP 3.1的故障。对于RP 3.1的情形1和2,在执行语句1)-3)中给出任务序列的时间段内,算法3.1用于检查某些V晶圆是否可被实际替换。由于算法3.1是线性的,可以通过执行RP 3.1-S1或PR 3.1-S2中的语句4)给出的任务序列,在系统响应故障前输出结果。因此它不影响执行RP 3.1-S1和RP 3.1-S2中的语句4)中给出的任务序列。对于RP 3.1中的情况3,在执行语句1)-4)中给出的任务序列的时间段内,在不延迟执行RP 3.1-S3中的语句5)中给出的任务序列的时间的情况下,可以使用算法3.1识别可由真实晶圆取代的V晶圆。通过这种方式,可以改进RP 3.1。同样,RP 3.3可以通过算法3.2进行改进。然后,改进的RP3.1和RP 3.3可用于实时和在线实现。
本申请提供一种半导体加工模块的故障响应系统,请参阅图2,包括:稳定调度方法获取模块、及时性分析模块、可行调度方法安排模块及及时性调度模块;稳定调度方法获取模块用于获取组合设备在稳定状态下的稳定调度方法;及时性分析模块用于根据稳定调度方法对加工模块发生故障时的组合设备的调度进行及时性分析,得到及时性分析结果;可行调度方法安排模块用于根据及时性分析结果及晶圆驻留时间约束安排组合设备的可行调度方法;及时性调度模块用于将可行调度方法传输至机器人处,机器人根据可行调度方法对组合设备的加工模块进行及时性调度。
及时性分析模块包括:加工时间阈值确定单元、移动时间阈值确定单元、净时间确定单元、逗留时间确定单元及等待时间调整单元;加工时间阈值确定单元用于获取并计算加工晶圆所需时间的加工时间上限及加工时间下限;移动时间阈值确定单元用于获取并计算机器人在从装载晶圆的地点移动至卸载晶圆的地点所需时间的移动时间上限及移动时间下限;净时间确定单元用于移除加工时间上限、加工时间下限、移动时间上限及移动时间下限中机器人的等待时间,分别得到净加工时间上限、净加工时间下限、净移动时间上限及净移动时间下限;逗留时间确定单元用于通过净加工时间上限、净加工时间下限、净移动时间上限及净移动时间下限计算晶圆在加工模块中的逗留时间;等待时间调整单元用于调整机器人的等待时间,使得晶圆的逗留时间落入许可的时间范围内。
可行调度方法安排模块包括:稳定调度方法对比单元及稳定调度方法桥接单元;稳定调度方法对比单元用于根据净移动时间上限及净移动时间下限得到晶圆在加工模块故障前的逗留时间及故障后的逗留时间不一致,以得到加工模块故障前的稳定调度方法及故障后的稳定调度方法不一致;稳定调度方法桥接单元用于在晶圆驻留时间约束的基础上将故障前的稳定调度方法转移到故障后的稳定调度方法。
及时性调度模块包括:稳定调度方法确定单元及晶圆转移单元;稳定调度方法确定单元用于根据机器人的任务及等待时间确定组合设备周期性的稳定调度方法;晶圆转移单元用于根据周期性的稳定调度方法,在组合设备中的一个加工模块发生故障后,根据加工完成度的不同,将该加工模块内的晶圆转移至组合设备中另一加工模块内晶圆加工完成度一致的部位。
本申请实施例提供一种电子装置,请参阅3,该电子装置包括:存储器601、处理器602及存储在存储器601上并可在处理器602上运行的计算机程序,处理器602执行该计算机程序时,实现前述中描述的半导体加工模块的故障响应方法。
进一步的,该电子装置还包括:至少一个输入设备603以及至少一个输出设备604。
上述存储器601、处理器602、输入设备603以及输出设备604,通过总线605连接。
其中,输入设备603具体可为摄像头、触控面板、物理按键或者鼠标等等。输出设备604具体可为显示屏。
存储器601可以是高速随机存取记忆体(RAM,R且om Access Memory)存储器,也可为非不稳定的存储器(non-volatile memory),例如磁盘存储器。存储器601用于存储一组可执行程序代码,处理器602与存储器601耦合。
进一步的,本申请实施例还提供了一种计算机可读存储介质,该计算机可读存储介质可以是设置于上述各实施例中的电子装置中,该计算机可读存储介质可以是前述实施例中的存储器601。该计算机可读存储介质上存储有计算机程序,该程序被处理器602执行时实现前述方法实施例中描述的半导体加工模块的故障响应方法。
进一步的,该计算机可存储介质还可以是U盘、移动硬盘、只读存储器601(ROM,Read-Only Memory)、RAM、磁碟或者光盘等各种可以存储程序代码的介质。
以上为对本发明所提供的一种半导体加工模块的故障响应方法及系统的描述,对于本领域的技术人员,依据本发明实施例的思想,在具体实施方式及应用范围上均会有改变之处,综上,本说明书内容不应理解为对本发明的限制。

Claims (10)

1.一种半导体加工模块的故障响应方法,其特征在于,包括:
获取组合设备在稳定状态下的稳定调度方法;
根据所述稳定调度方法对加工模块发生故障时的组合设备的调度进行及时性分析,得到及时性分析结果;
根据所述及时性分析结果及晶圆驻留时间约束安排组合设备的可行调度方法;
将所述可行调度方法传输至机器人处,机器人根据所述可行调度方法对组合设备的加工模块进行及时性调度。
2.根据权利要求1所述的半导体加工模块的故障响应方法,其特征在于,
所述根据所述稳定调度方法对加工模块发生故障时的组合设备的调度进行及时性分析,得到及时性分析结果包括:
获取并计算加工晶圆所需时间的加工时间上限及加工时间下限;
获取并计算机器人在从装载晶圆的地点移动至卸载晶圆的地点所需时间的移动时间上限及移动时间下限;
移除所述加工时间上限、所述加工时间下限、所述移动时间上限及移动时间下限中机器人的等待时间,分别得到净加工时间上限、净加工时间下限、净移动时间上限及净移动时间下限;
通过所述净加工时间上限、所述净加工时间下限、所述净移动时间上限及所述净移动时间下限计算晶圆在加工模块中的逗留时间;
调整机器人的等待时间,使得晶圆的所述逗留时间落入许可的时间范围内。
3.根据权利要求2所述的半导体加工模块的故障响应方法,其特征在于,
所述根据所述及时性分析结果及晶圆驻留时间约束安排组合设备的可行调度方法包括:
根据所述净移动时间上限及所述净移动时间下限得到晶圆在加工模块故障前的逗留时间及故障后的逗留时间不一致,以得到加工模块故障前的稳定调度方法及故障后的稳定调度方法不一致;
在所述晶圆驻留时间约束的基础上将所述故障前的稳定调度方法转移到所述故障后的稳定调度方法。
4.根据权利要求1所述的半导体加工模块的故障响应方法,其特征在于,
所述将所述可行调度方法传输至机器人处,机器人根据所述可行调度方法对组合设备的加工模块进行及时性调度包括:
根据机器人的任务及等待时间确定组合设备周期性的稳定调度方法;
根据所述周期性的稳定调度方法,在组合设备中的一个加工模块发生故障后,根据加工完成度的不同,将该加工模块内的晶圆转移至组合设备中另一加工模块内晶圆加工完成度一致的部位。
5.一种半导体加工模块的故障响应系统,其特征在于,包括:
稳定调度方法获取模块,用于获取组合设备在稳定状态下的稳定调度方法;
及时性分析模块,用于根据所述稳定调度方法对加工模块发生故障时的组合设备的调度进行及时性分析,得到及时性分析结果;
可行调度方法安排模块,用于根据所述及时性分析结果及晶圆驻留时间约束安排组合设备的可行调度方法;
及时性调度模块,用于将所述可行调度方法传输至机器人处,机器人根据所述可行调度方法对组合设备的加工模块进行及时性调度。
6.根据权利要求5所述的半导体加工模块的故障响应系统,其特征在于,
所述及时性分析模块包括:
加工时间阈值确定单元,用于获取并计算加工晶圆所需时间的加工时间上限及加工时间下限;
移动时间阈值确定单元,用于获取并计算机器人在从装载晶圆的地点移动至卸载晶圆的地点所需时间的移动时间上限及移动时间下限;
净时间确定单元,用于移除所述加工时间上限、所述加工时间下限、所述移动时间上限及移动时间下限中机器人的等待时间,分别得到净加工时间上限、净加工时间下限、净移动时间上限及净移动时间下限;
逗留时间确定单元,用于通过所述净加工时间上限、所述净加工时间下限、所述净移动时间上限及所述净移动时间下限计算晶圆在加工模块中的逗留时间;
等待时间调整单元,用于调整机器人的等待时间,使得晶圆的所述逗留时间落入许可的时间范围内。
7.根据权利要求6所述的半导体加工模块的故障响应系统,其特征在于,
所述可行调度方法安排模块包括:
稳定调度方法对比单元,用于根据所述净移动时间上限及所述净移动时间下限得到晶圆在加工模块故障前的逗留时间及故障后的逗留时间不一致,以得到加工模块故障前的稳定调度方法及故障后的稳定调度方法不一致;
稳定调度方法桥接单元,用于在所述晶圆驻留时间约束的基础上将所述故障前的稳定调度方法转移到所述故障后的稳定调度方法。
8.根据权利要求5所述的半导体加工模块的故障响应系统,其特征在于,
所述及时性调度模块包括:
稳定调度方法确定单元,用于根据机器人的任务及等待时间确定组合设备周期性的稳定调度方法;
晶圆转移单元,用于根据所述周期性的稳定调度方法,在组合设备中的一个加工模块发生故障后,根据加工完成度的不同,将该加工模块内的晶圆转移至组合设备中另一加工模块内晶圆加工完成度一致的部位。
9.一种电子装置,包括:存储器、处理器及存储在所述存储器上并可在所述处理器上运行的计算机程序,其特征在于,所述处理器执行所述计算机程序时,实现权利要求1至4中的任意一项所述方法。
10.一种计算机可读存储介质,其上存储有计算机程序,其特征在于,所述计算机程序被处理器执行时,实现权利要求1至4中的任意一项所述方法。
CN201910106368.9A 2019-02-02 2019-02-02 一种半导体加工模块的故障响应方法及系统 Pending CN109685398A (zh)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN201910106368.9A CN109685398A (zh) 2019-02-02 2019-02-02 一种半导体加工模块的故障响应方法及系统

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN201910106368.9A CN109685398A (zh) 2019-02-02 2019-02-02 一种半导体加工模块的故障响应方法及系统

Publications (1)

Publication Number Publication Date
CN109685398A true CN109685398A (zh) 2019-04-26

Family

ID=66194207

Family Applications (1)

Application Number Title Priority Date Filing Date
CN201910106368.9A Pending CN109685398A (zh) 2019-02-02 2019-02-02 一种半导体加工模块的故障响应方法及系统

Country Status (1)

Country Link
CN (1) CN109685398A (zh)

Cited By (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN114627628A (zh) * 2022-05-17 2022-06-14 江苏邑文微电子科技有限公司 半导体机台报警处理方法、装置、电子设备和存储介质
CN114864456A (zh) * 2022-07-08 2022-08-05 埃克斯工业(广东)有限公司 半导体清洗设备调度方法、系统、装置及存储介质

Citations (5)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN104460590A (zh) * 2014-10-23 2015-03-25 北京化工大学 一种半导体生产线多产品工件合并方法
CN105676815A (zh) * 2015-01-12 2016-06-15 澳门科技大学 用于单臂多组合设备的调度和最优缓冲空间构造
CN105810618A (zh) * 2016-05-31 2016-07-27 北京七星华创电子股份有限公司 提高晶圆传输效率的系统及方法
CN106292613A (zh) * 2016-10-12 2017-01-04 江西理工大学 一种多品种晶圆混合加工的组合设备稳态调度方法
CN108829052A (zh) * 2018-05-31 2018-11-16 同济大学 一种半导体生产线cps环境下的调度优化方法及装置

Patent Citations (6)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN104460590A (zh) * 2014-10-23 2015-03-25 北京化工大学 一种半导体生产线多产品工件合并方法
CN105676815A (zh) * 2015-01-12 2016-06-15 澳门科技大学 用于单臂多组合设备的调度和最优缓冲空间构造
CN105810618A (zh) * 2016-05-31 2016-07-27 北京七星华创电子股份有限公司 提高晶圆传输效率的系统及方法
CN106292613A (zh) * 2016-10-12 2017-01-04 江西理工大学 一种多品种晶圆混合加工的组合设备稳态调度方法
CN106292613B (zh) * 2016-10-12 2018-10-26 江西理工大学 一种多品种晶圆混合加工的组合设备稳态调度方法
CN108829052A (zh) * 2018-05-31 2018-11-16 同济大学 一种半导体生产线cps环境下的调度优化方法及装置

Non-Patent Citations (1)

* Cited by examiner, † Cited by third party
Title
YAN QIAO ET AL.: "Response Policies to Process Module Failure in Single-Arm Cluster Tools Subject to Wafer Residency Time Constraints", 《IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING》 *

Cited By (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN114627628A (zh) * 2022-05-17 2022-06-14 江苏邑文微电子科技有限公司 半导体机台报警处理方法、装置、电子设备和存储介质
CN114864456A (zh) * 2022-07-08 2022-08-05 埃克斯工业(广东)有限公司 半导体清洗设备调度方法、系统、装置及存储介质
CN114864456B (zh) * 2022-07-08 2022-09-13 埃克斯工业(广东)有限公司 半导体清洗设备调度方法、系统、装置及存储介质

Similar Documents

Publication Publication Date Title
US11308453B2 (en) Method and system for scheduling pieces of materials based on real-time device status
EP3699832A1 (en) Systems and methods for optimizing scheduling of non-preemptive tasks in multi-robotic environment
US9227318B1 (en) Optimal buffer space configuration and scheduling for single-arm multi-cluster tools
Qiao et al. Schedulability and scheduling analysis of dual-arm cluster tools with wafer revisiting and residency time constraints based on a novel schedule
Hamzadayi et al. Event driven strategy based complete rescheduling approaches for dynamic m identical parallel machines scheduling problem with a common server
US10911543B2 (en) Resources management in internet of robotic things (IoRT) environments
US9223307B1 (en) Method for scheduling single-arm cluster tools with wafer revisiting and residency time constraints
EP3588405A1 (en) Systems and methods for scheduling a set of non-preemptive tasks in a multi-robot environment
CN109685398A (zh) 一种半导体加工模块的故障响应方法及系统
CN110427253A (zh) 机器人资源任务周期管控方法及装置
Merdan et al. Investigating the robustness of re-scheduling policies with multi-agent system simulation
Wu et al. Real-time deadlock-free scheduling for semiconductor track systems based on colored timed Petri nets
Li et al. Optimal K-unit cycle scheduling of two-cluster tools with residency constraints and general robot moving times
US9632844B2 (en) Non-preemption of a group of interchangeable tasks in a computing device
Vijaykumar et al. On proposing statecharts to specify performance models
US10001773B2 (en) Optimal one-wafer scheduling of single-arm multi-cluster tools with tree-like topology
Chan et al. Dynamic scheduling for a flexible manufacturing system-the pre-emptive approach
Lee et al. An open scheduling architecture for cluster tools
JP2011243120A (ja) ジョブ管理装置、ジョブ管理方法、およびジョブ管理プログラム
US20140277667A1 (en) Method and system for filtering lot schedules using a previous schedule
US10073444B2 (en) Petri net-based optimal one-wafer cyclic scheduling of treelike hybrid multi-cluster tools
US20170083000A1 (en) Petri Net-based Scheduling of Time Constrained Single-arm Cluster Tools with Wafer Revisiting
CN116069485A (zh) 用于处理任务的方法、装置、电子设备和介质
Kim et al. Multicore ECU task-load distribution (balancing) and dynamic scheduling
Zhu et al. Scheduling Robotic Two-Cluster Tools in Case of a Process Module Failure

Legal Events

Date Code Title Description
PB01 Publication
PB01 Publication
SE01 Entry into force of request for substantive examination
SE01 Entry into force of request for substantive examination
CB02 Change of applicant information

Address after: 518000 room 701, building 6, Shenzhen Bay science and technology ecological park, no.6, Gaoxin South 9th Road, high tech Zone community, Yuehai street, Nanshan District, Shenzhen City, Guangdong Province

Applicant after: Exxon industries (Guangdong) Co.,Ltd.

Address before: 518000 room C7, 1st floor, building 8, Zhongxing Industrial City, Chuangye Road, Yuehai street, Nanshan District, Shenzhen City, Guangdong Province

Applicant before: SHENZHEN IKAS INDUSTRIAL AUTOMATION Co.,Ltd.

CB02 Change of applicant information