A high dependability framework for real-time embedded control software design

被引：0
|
作者：
Zhang, Jing [1 ]
Rong, Hui [2 ]
Zhang, Chunhong [3 ]
Lu, Jing [1 ,4 ]
机构：
[1] Kunming Univ Sci & Technol, Fac Informat Engn & Automat, Kunming 650051, Peoples R China
[2] Coll Kunming Metallurgy, Div Org & Personnel, Kunming 650033, Peoples R China
[3] Yunnan Normal Univ, Coll Arts & Sci, Kunming 650092, Peoples R China
[4] Yunnan Branch China Dev Bank, Kunming 650000, Peoples R China
来源：
2009 INTERNATIONAL SYMPOSIUM ON COMPUTER NETWORK AND MULTIMEDIA TECHNOLOGY (CNMT 2009), VOLUMES 1 AND 2 | 2009年
关键词：
design pattern; high dependability framework; behavior generator; component composition; hierarchy;
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
This paper provides a high dependability framework for developing real time embedded control software. Design pattern and behavior generator support hierarchical composition of real-time concurrent component. Hierarchy composition abstraction preserves the properties of different computation model in a real time environment. A simplified real-time embedded control software system is implemented to prove the feasibility in choosing control platforms as well as a great deal of automation in the validation and synthesis of embedded control component execution.
引用
收藏
页码：1230 / +
页数：2
相关论文
共 50 条
  • [1] High Dependability Design Framework in Real-Time Embedded Control Software
    Zhang, Jing
    Yan, Feng
    Zhang, Chunhong
    Rong, Hui
    Xiang, Fenghong
    [J]. SECOND INTERNATIONAL SYMPOSIUM ON COMPUTATIONAL INTELLIGENCE AND DESIGN, VOL 2, PROCEEDINGS, 2009, : 547 - +
  • [2] A software framework for real-time embedded automation and control systems
    Perkusich, A
    Almeida, HO
    de Araujo, DH
    [J]. ETFA 2003: IEEE CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 2, PROCEEDINGS, 2003, : 181 - 184
  • [3] VERTAF: An application framework for the design and verification of embedded real-time software
    Hsiung, PA
    Lin, SW
    Tseng, CH
    Lee, TY
    Fu, JM
    Bin See, W
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2004, 30 (10) : 656 - 674
  • [4] Design and Application of Real-time Embedded Software Simulation Testing Object Framework
    Yin Yongfeng
    Liu Bin
    Ni Hongying
    [J]. SMART MATERIALS AND INTELLIGENT SYSTEMS, PTS 1 AND 2, 2011, 143-144 : 152 - +
  • [5] Boosting Software Fault Injection for Dependability Analysis of Real-Time Embedded Applications
    Cabodi, Gianpiero
    Murciano, Marco
    Violante, Massimo
    [J]. ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2010, 10 (02)
  • [6] A framework for embedded real-time system design
    Choi, JY
    Kwak, HH
    Lee, I
    [J]. PARALLEL AND DISTRIBUTED PROCESSING, PROCEEDINGS, 2000, 1800 : 738 - 742
  • [7] Real-time software design for safety- and mission-critical systems with high dependability
    Wang, Lingfeng
    [J]. 2006 IEEE AUTOTESTCON, VOLS 1 AND 2, 2006, : 458 - 464
  • [8] Object-oriented design in real-time embedded robot control software
    Dresselhaus, M
    Kirchhof, J
    [J]. PRODUCT FOCUSED SOFTWARE PROCESS IMPROVEMENT, 2000, 1840 : 271 - 281
  • [9] Formal design and verification of real-time embedded software
    Hsiung, PA
    Lin, SW
    [J]. PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2004, 3302 : 382 - 397
  • [10] A Software Framework for Hard Real-Time Distributed Embedded Systems
    Angelov, Christo
    Sierszecki, Krzysztof
    Zhou, Feng
    [J]. PROCEEDINGS OF THE 34TH EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS, 2008, : 385 - 392
12345