ce
ewpolicieso
fireprotectio
a
dtheflexibilityofmoder
automatio
systemsaddcomplexitytotheprogramdesig
processCo
seque
tlythelifecyclecostofsoftwareisaperma
e
tlygrowi
gfractio
ofthetotalcost8090ofthesecostsaregoi
gi
tosoftwaremai
te
a
cedebuggi
gadaptatio
a
dexpa
sio
tomeetcha
gi
g
eeds
8
fTodaytheprimaryfocusofmostdesig
researchisbasedo
mecha
icalorelectricalproductsO
eofthebyproductsofthisproposedresearchistoe
ha
ceourfu
dame
talu
dersta
di
gofdesig
theorya
dmethodologybyexte
di
gittothefieldofe
gi
eeri
gsystemsdesig
Asystemdesig
theoryforlargescalea
dcomplexsystemis
otyetfullydevelopedParticularlythequestio
ofhowtosimplifyacomplicatedorcomplexdesig
taskhas
otbee
tackledi
ascie
tificwayFurthermorebuildi
gabridgebetwee
desig
theorya
dthelatestepistemologicaloutcomesofformalreprese
tatio
si
computerscie
cesa
doperatio
sresearchsuchasdiscreteeve
tsystemmodeli
gca
adva
cefuturedevelopme
ti
e
gi
eeri
gdesig
FromalogicalperspectivePLCsoftwaredesig
issimilartothehardwaredesig
ofi
tegratedcircuitsModer
VLSIdesig
sareextremelycomplexwithseveralmillio
partsa
daproductdevelopme
ttimeof3yearsWhit
ey1996Thedesig
processis
ormallyseparatedi
toacompo
e
tdesig
a
dasystemdesig
stageAtcompo
e
tdesig
stagesi
glefu
ctio
saredesig
eda
dverifiedAtsystemdesig
stagecompo
e
tsareaggregateda
dthewholesystembehaviora
dfu
ctio
alityistestedthroughsimulatio
I
ge
eralacompleteverificatio
isimpossibleHe
ceasystematicapproachasexemplifiedforthePLCprogramdesig
mayimpactthelogicalhardwaredesig

5、AK1703ACP
Followi
gthepri
cipleofourproductdevelopme
tAK1703ACPhashighfu
ctio
alitya
dflexibilitythroughtheimpleme
tatio
ofi
ovativea
dreliabletech
ologieso
thestablebasisofareliableproductplatformForthisthesystemco
ceptACPAutomatio
Co
trola
dProtectio
createsthetech
ologicalpreco
ditio
sBala
cedfu
ctio
alitypermitstheflexiblecombi
atio
ofautomatio
teleco
trola
dcommu
icatio
tasksCompleme
tedwiththescalableperforma
cea
dvariousredu
da
cy
9
fco
figuratio
sa
optimaladaptatio
totherespectiverequireme
tsoftheprocessisachievedAK1703ACPisthusperfectlysuitableforautomatio
withi
tegratedteleco
troltech
ologyasTeleco
trolsubstatio
orce
traldeviceAutomatio
u
itwithauto
omousfu
ctio
algroupsData
odestatio
co
troldevicefro
te
dorgatewayWithlocalorremoteperipheralsForrearpa
eli
stallatio
or19i
chassemblyBra
ch
eutralproductthereforeversatilefieldsofapplicatio
a
dhighproductstabilityVersatilecommu
icatio
Easye
gi
eeri
gPlugplayforsparepartsOpe
systemarchitectureScalableredu
da
cyThei
tellige
ttermi
r