Safety, liveness and real-time in embedded system design

被引：0
|
作者：
Tampere University of Technology, Signal Processing Laboratory, P.O. Box 553, FIN-33101 Tampere, Finland [1 ]
不详 [2 ]
不详 [3 ]
不详 [4 ]
机构：
来源：
J Network Comput Appl | / 2卷 / 69-89期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] Safety, liveness and real-time in embedded system design
    Klapuri, H
    Takala, J
    Saarinen, J
    JOURNAL OF NETWORK AND COMPUTER APPLICATIONS, 1999, 22 (02) : 69 - 89
  • [2] Design of real-time embedded music system
    Choi, Sungmin
    Oh, Hoon
    SERA 2007: 5TH ACIS INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH, MANAGEMENT, AND APPLICATIONS, PROCEEDINGS, 2007, : 569 - +
  • [3] A framework for embedded real-time system design
    Choi, JY
    Kwak, HH
    Lee, I
    PARALLEL AND DISTRIBUTED PROCESSING, PROCEEDINGS, 2000, 1800 : 738 - 742
  • [4] Real-Time Issues in Embedded System Design
    Prashanth, K. V.
    Akram, P. Saleem
    Reddy, T. Anji
    2015 INTERNATIONAL CONFERENCE ON SIGNAL PROCESSING AND COMMUNICATION ENGINEERING SYSTEMS (SPACES), 2015, : 167 - 171
  • [5] Embedded System Design of a Real-time Parking Guidance System
    Dokur, Omkar
    Katkoori, Srinivas
    Elmehraz, Nouredddine
    2016 ANNUAL IEEE SYSTEMS CONFERENCE (SYSCON), 2016, : 908 - 915
  • [6] The Test System Design of Real-time Embedded Software System
    Mo Nian-Fa
    2015 SEVENTH INTERNATIONAL CONFERENCE ON MEASURING TECHNOLOGY AND MECHATRONICS AUTOMATION (ICMTMA 2015), 2015, : 1321 - 1324
  • [7] Adaptive real-time network design of embedded system
    Huang, Tao
    Zhou, Yunfei
    Zhong, Ming
    PROCEEDINGS OF THE 2006 IEEE/ASME INTERNATIONAL CONFERENCE ON MECHATRONIC AND EMBEDDED SYSTEMS AND APPLICATIONS, 2006, : 127 - +
  • [8] Verifying Liveness and Real-Time of OS-Based Embedded Software
    Ribeiro, Leandro Batista
    Nagarajan, Drona
    Manjunath, Vignesh
    Ahmad, Muhammad Tanveer Ali
    Baunach, Marcel
    2022 25TH EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN (DSD), 2022, : 679 - 688
  • [9] Design of real-time clock based on ARM embedded system
    Liao, Lijuan
    Computer Modelling and New Technologies, 2014, 18 (11): : 415 - 418
  • [10] Design and implementation of RUDP communication for embedded real-time system
    Zhou, Hong
    Liu, Changan
    Lu, Dongxin
    Jisuanji Gongcheng/Computer Engineering, 2006, 32 (11): : 265 - 267
12345