嵌入式联锁控制器软件体系结构动态建模研究
감입식련쇄공제기연건체계결구동태건모연구
Research on dynamic modeling of software architecture of embedded interlocking-signal controller.
  • 万方数据
    计算机工程与应用 계산궤공정여응용
    COMPUTER ENGINEERING AND APPLICATIONS
    2010年 2期 213-217 ,共5页

    郭荣佐%黄君%王霖

    곽영좌%황군%왕림

    π演算%Petri网%嵌入式系统%信号联锁%软件体系结构 π縯算%Petri網%嵌入式繫統%信號聯鎖%軟件體繫結構
    π연산%Petri망%감입식계통%신호련쇄%연건체계결구
    π-calculus%Petri net%embedded system%interlocking signal%software architecture
    首先应用π演算和Petri网的相关理论,建立了嵌入式联锁控制器软件体系结构抽象模型ISAM;然后对ISAM模型的动态演化、一致性和死锁进行了深入研究;最后应用ISAM抽象模型,对嵌入式联锁控制器软件系统进行分析.
    수선응용π연산화Petri망적상관이론,건립료감입식련쇄공제기연건체계결구추상모형ISAM;연후대ISAM모형적동태연화、일치성화사쇄진행료심입연구;최후응용ISAM추상모형,대감입식련쇄공제기연건계통진행분석.
    Using π-calculus and Petri nets relevant theories,an abstract model of software architecture of the embedded interlocking signal controller(ISAM Model) is established And then,it is researched on dynamic evolving,uniformity and deadlock of the ISAM model.At last,the developed model is used to analyze software system of the interlocking controller of signal the railway station.
    원문보기 원문다운로드 사이트로이동
저자의 최근 논문