嵌入式系统描述与验证环境的实现
감입식계통묘술여험증배경적실현
Implementation of Specification and Verification Environment for Embedded System
  • 万方数据
    计算机辅助设计与图形学学报 계산궤보조설계여도형학학보
    JOURNAL OF COMPUTER-AIDED DESIGN & COMPUTER GRAPHICS
    2004年 1期 109-115 ,共7页

    程国达%彭澄

    정국체%팽징

    嵌入式系统%系统描述%模拟验证%核语言 嵌入式繫統%繫統描述%模擬驗證%覈語言
    감입식계통%계통묘술%모의험증%핵어언
    首先,用统一建模语言(UML)中的状态图描述系统在整个活动周期中所处的不同的状态,活动图表示状态图中每个进程的功能,对象约束语言(OCL)描述系统中的约束条件;然后,用自行开发的软件UML2SC将UML描述的系统转换成SystemC代码,以完成系统的模拟验证;并介绍了该方法的一个应用实例.
    수선,용통일건모어언(UML)중적상태도묘술계통재정개활동주기중소처적불동적상태,활동도표시상태도중매개진정적공능,대상약속어언(OCL)묘술계통중적약속조건;연후,용자행개발적연건UML2SC장UML묘술적계통전환성SystemC대마,이완성계통적모의험증;병개소료해방법적일개응용실례.
    원문보기 원문다운로드 사이트로이동
저자의 최근 논문