Efficient monitoring of embedded real-time systems

被引：0
|
作者：
Cadamuro Junior, Joao [1 ]
Renaux, Douglas P. B. [1 ]
机构：
[1] UTFPR, Programa Posgrad Engn Eletr & Informat Ind, BR-80230901 Curitiba, Parana, Brazil
来源：
PROCEEDINGS OF THE FIFTH INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY: NEW GENERATIONS | 2008年
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Verification of time constraints in embedded real-time systems is particularly hard due to resource restrictions on the target hardware and lack of methods and support tools. In an attempt to overcome this last limitation, a monitoring approach based on hybrid monitoring is proposed This approach is apart of a project devoted to the verification of time constraints in embedded real-time systems..
引用
收藏
页码：651 / 656
页数：6
相关论文
共 50 条
  • [1] A software architecture for real-time, embedded monitoring systems
    Caflisch, L
    Savigni, A
    Schettini, R
    Tisato, F
    [J]. AVSS 2005: Advanced Video and Signal Based Surveillance, Proceedings, 2005, : 540 - 545
  • [2] Efficient power management in real-time embedded systems
    Zuquim, ALDP
    Vieira, LFM
    Vieira, MA
    Vieira, AB
    Carvalho, HS
    Nacif, JA
    Coelho, CN
    da Silva, DC
    Fernandes, AO
    Loureiro, AAF
    [J]. ETFA 2003: IEEE CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 1, PROCEEDINGS, 2003, : 496 - 505
  • [3] A Novel Real-Time Framework for Embedded Systems Health Monitoring
    Pimentel, Juliano
    McEwan, Alistair A.
    Yu, Hong Qing
    [J]. 2023 26TH EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN, DSD 2023, 2023, : 309 - 316
  • [4] An Efficient Checkpoint and Recovery Mechanism for Real-Time Embedded Systems
    Luan, Guangqiang
    Bai, Yuebin
    Wang, Chunyang
    Zeng, Junfang
    Chen, Qingbin
    [J]. 2018 IEEE INT CONF ON PARALLEL & DISTRIBUTED PROCESSING WITH APPLICATIONS, UBIQUITOUS COMPUTING & COMMUNICATIONS, BIG DATA & CLOUD COMPUTING, SOCIAL COMPUTING & NETWORKING, SUSTAINABLE COMPUTING & COMMUNICATIONS, 2018, : 824 - 831
  • [5] The efficient QoS control in distributed real-time embedded systems
    Yuan, YW
    Yan, LM
    Guo, QP
    [J]. EMBEDDED SOFTWARE AND SYSTEMS, 2005, 3605 : 508 - 513
  • [6] An Efficient Trusted Chain Model for Real-time Embedded Systems
    Li, YaHui
    Zhang, YaDi
    Li, Peng
    Guo, Peng
    [J]. 2015 11TH INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE AND SECURITY (CIS), 2015, : 428 - 432
  • [7] Real-time and embedded systems
    Stankovic, JA
    [J]. ACM COMPUTING SURVEYS, 1996, 28 (01) : 205 - 208
  • [8] An Efficient Scheduling For Low Power in Real-time Embedded Systems
    Anh-Vu Dinh-Duc
    [J]. 2012 INTERNATIONAL CONFERENCE ON ADVANCED TECHNOLOGIES FOR COMMUNICATIONS (ATC 2012), 2012, : 176 - 179
  • [9] Real-time embedded systems
    Bate, I
    Liu, S
    [J]. COMPUTING & CONTROL ENGINEERING JOURNAL, 2002, 13 (04): : 154 - 155
  • [10] Embedded/real-time systems
    Katz, DS
    Kepner, J
    [J]. INTERNATIONAL JOURNAL OF HIGH PERFORMANCE COMPUTING APPLICATIONS, 2001, 15 (02): : 186 - 190
12345