The specification of the embedded system of real-time IR

被引：0
|
作者：
Zhu, Yong [1 ]
机构：
[1] Wuhan Univ Sci & Engn, Coll Comp Sci, Wuhan 430073, Hubei Province, Peoples R China
来源：
DCABES 2007 Proceedings, Vols I and II | 2007年
关键词：
specification; embedded system; real-time; IR (infrared);
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
The specification of real-time embedded system is about design methodologies, which involves capture-and-simu late, describe-and-synthesize and specify-explore-renement. The architecture, schedule and implementation of the real-time IR video processing are described with HDL (Hardware Description Language), and the validity of the system has been proved by logic simulation. It has advantage for real-time applications and overhead-saving.
引用
收藏
页码：1242 / 1244
页数：3
相关论文
共 50 条
  • [1] Creditability Modeling of Distributed Embedded System based on Real-time Interaction Specification
    Zhang, Jing
    Rong, Hui
    Zhang, Chunhong
    Xiang, Fenghong
    Zhang, Yunsheng
    [J]. SECOND INTERNATIONAL SYMPOSIUM ON COMPUTATIONAL INTELLIGENCE AND DESIGN, VOL 2, PROCEEDINGS, 2009, : 543 - +
  • [2] SVERTS - Specification and validation of real-time and embedded systems
    Graf, S
    Haugen, O
    Ober, I
    Selic, B
    [J]. UML MODELING LANGUAGES AND APPLICATIONS, 2005, 3297 : 33 - 42
  • [3] A general time model for the specification and design of embedded real-time systems
    Münzenberger, R
    Dörfel, M
    Hofmann, R
    Slomka, F
    [J]. MICROELECTRONICS JOURNAL, 2003, 34 (11) : 989 - 1000
  • [4] Formal Specification for Compiler Based Test Case Generation of Embedded Real-Time System
    Chen, Yong
    He, Yanxiang
    Xu, Chao
    Wu, Wei
    Liu, Jianbo
    [J]. BUSINESS, ECONOMICS, FINANCIAL SCIENCES, AND MANAGEMENT, 2012, 143 : 643 - 650
  • [5] Specification-based testing of real-time embedded systems
    Núñez, M
    Rodríguez, I
    [J]. From Specification to Embedded Systems Application, 2005, 184 : 115 - 124
  • [6] A Behavior Specification and Simulation Methodology for Embedded Real-Time Software
    Doerr, Tobias
    Schade, Florian
    Ahlbrecht, Alexander
    Zaeske, Wanja
    Masing, Leonard
    Durak, Umut
    Becker, Juergen
    [J]. 2022 IEEE/ACM 26TH INTERNATIONAL SYMPOSIUM ON DISTRIBUTED SIMULATION AND REAL TIME APPLICATIONS (DS-RT), 2022,
  • [7] Specification and simulation of a concurrent real-time system
    Li, XS
    [J]. INTERNATIONAL SYMPOSIUM ON SOFTWARE ENGINEERING FOR PARALLEL AND DISTRIBUTED SYSTEMS, PROCEEDINGS, 1999, : 197 - 204
  • [8] DETECTION OF CYCLE IN REAL-TIME SYSTEM SPECIFICATION
    KIRNER, TG
    [J]. SIGPLAN NOTICES, 1994, 29 (07): : 43 - 50
  • [9] Towards real-time system specification and design
    Schmerler, S
    Tanurhan, Y
    MullerGlaser, KD
    [J]. PROCEEDINGS OF THE 1996 IPC CONFERENCE AND EXPOSITION, 1996, : 1 - 8
  • [10] FROM SPECIFICATION TO IMPLEMENTATION OF A REAL-TIME SYSTEM
    CARCAGNO, L
    DEMICHIEL, M
    DOURS, D
    FACCA, R
    FEKI, A
    MAGNAUD, P
    [J]. MICROPROCESSING AND MICROPROGRAMMING, 1992, 35 (1-5): : 737 - 744
12345