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
Link To Document :
بازگشت