Organic Real-time Programming - Vision and Approaches towards Self-Evolving and Adaptive Real-time Software

被引:0
|
作者
Rammig, Franz-Josef [1 ]
Khaluf, Lial [1 ]
Montealegre, Norma [1 ]
Stahl, Katharina [1 ]
Zhao, Yuhong [1 ]
机构
[1] Univ Paderborn, Heinz Nixdorf Inst, D-33102 Paderborn, Germany
关键词
Cyber Physical Systems; Self-adapting software; Organic real-time programming; Online Model Checking; Artificial Immune Systems; Formal Immune Networks; Danger Theory;
D O I
暂无
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
For upcoming Cyber Physical Systems with a high need of adaptation to changing environments an appropriate programming approach is needed. In this paper we argue that such systems have to be highly adaptive and self-evolving. The general vision and approach is pointed out. Furthermore specific approaches solving important aspects of such a programming paradigm are presented. The aspects discussed include the identification of adaptation needs using online Model Checking, real-time-aware adaptation mechanisms, and self-adapting safety guards by means of Artificial Immune Systems.
引用
收藏
页数:8
相关论文
共 50 条
  • [31] Designing Self-Adaptive Embedded Real-time Software - Towards System Engineering of Self-Adaptation
    Rammig, Franz Josef
    Groesbrink, Stefan
    Stahl, Katharina
    Zhao, Yuhong
    PROCEEDINGS OF IV BRAZILIAN SYMPOSIUM ON COMPUTING SYSTEMS ENGINEERING SBESC 2014, 2014, : 37 - 42
  • [32] Towards Adaptive Hierarchical Scheduling of Real-time Systems
    Khalilzad, Nima Moghaddami
    Nolte, Thomas
    Behnam, Moris
    Asberg, Mikael
    2011 IEEE 16TH CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), 2011,
  • [33] Evolving dependable real-time systems
    Sha, L
    Rajkumar, R
    Gagliardi, M
    1996 IEEE AEROSPACE APPLICATIONS CONFERENCE, PROCEEDINGS, VOL 1, 1996, : 335 - 346
  • [34] Towards Real-Time Argumentation
    Navarro, M.
    Heras, S.
    Botti, V.
    Julian, V.
    ADCAIJ-ADVANCES IN DISTRIBUTED COMPUTING AND ARTIFICIAL INTELLIGENCE JOURNAL, 2015, 4 (04): : 35 - 58
  • [35] Towards Real-Time Integration
    Guimaraes, Mario Luis
    Rito-Silva, Antonio
    2010 ICSE WORKSHOP ON COOPERATIVE AND HUMAN ASPECTS OF SOFTWARE ENGINEERING (CHASE 2010), 2010, : 56 - 63
  • [36] Towards real-time agreements
    Navarro, Marti
    Heras, Stella
    Botti, Vicente
    Julian, Vicente
    EXPERT SYSTEMS WITH APPLICATIONS, 2013, 40 (10) : 3906 - 3917
  • [37] TOWARDS REAL-TIME PHOTOGRAMMETRY
    GRUEN, A
    PHOTOGRAMMETRIA, 1988, 42 (5-6): : 209 - 244
  • [38] Applying Real-time Programming to Legacy Embedded Control Software
    Resmerita, Stefan
    Naderlinger, Andreas
    Huber, Manuel
    Butts, Kenneth
    Pree, Wolfgang
    2015 IEEE 18th International Symposium on Real-Time Distributed Computing (ISORC), 2015, : 1 - 8
  • [39] REAL-TIME CONCURRENT-C - A LANGUAGE FOR PROGRAMMING DYNAMIC REAL-TIME SYSTEMS
    GEHANI, N
    RAMAMRITHAM, K
    REAL-TIME SYSTEMS, 1991, 3 (04) : 377 - 405
  • [40] The real-time refinement calculus: A foundation for machine-independent real-time programming
    Hayes, IJ
    APPLICATIONS AND THEORY OF PETRI NETS 2002, 2002, 2360 : 44 - 58