• DocumentCode
    3454775
  • Title

    Organic real-time programming — Vision and approaches towards self-evolving and adaptive real-time software

  • Author

    Rammig, Franz-Josef ; Khaluf, Lial ; Montealegre, Norma ; Stahl, Konrad ; Yuhong Zhao

  • Author_Institution
    Heinz Nixdorf Inst., Univ. of Paderborn, Paderborn, Germany
  • fYear
    2013
  • fDate
    19-21 June 2013
  • Firstpage
    1
  • Lastpage
    8
  • Abstract
    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.
  • Keywords
    Internet; artificial immune systems; formal verification; real-time systems; adaptive real-time software; artificial immune systems; cyber physical systems; online model checking; organic real-time programming; real-time-aware adaptation mechanisms; self-adapting safety guards; self-evolving real-time software; Adaptation models; Immune system; Model checking; Programming; Real-time systems; Software systems; Artificial Immune Systems; Cyber Physical Systems; Danger Theory; Formal Immune Networks; Online Model Checking; Organic real-time programming; Self-adapting software;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), 2013 IEEE 16th International Symposium on
  • Conference_Location
    Paderborn
  • Type

    conf

  • DOI
    10.1109/ISORC.2013.6913230
  • Filename
    6913230