Formal Modeling, Safety Analysis, and Verification of Organic Computing Applications

• Applicant: Professor Dr. Wolfgang Reif
• Subject Area: Security and Dependability, Operating-, Communication- and Distributed Systems
• Term: from 2005 to 2014
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 5454659

• Final Report Year: 2008

Final Report Abstract

No abstract available

Publications

• Applications and architectures in organic computing (dfg spp 1183 “organic computing”). Technical Report 21, Institut für Informatik, Universität Augsburg, 2006
  Matthias Güdemann, Florian Nafz, Andreas Pietzowski, Wolfgang Reif, Benjamin Satzger, Hella Seebach, and Theo Ungerer
  
• Applications in organic computing (dfg spp 1183 “organic computing”). Technical Report 22, Institut für Informatik, Universität Augsburg, 2006
  Florian Nafz, Matthias Güdemann, Wolfgang Reif, and Hella Seebach
  
• Formal modeling and verification of systems with self-x properties. In: Laurence T. Yang, Hai Jin, Jianhua Ma, and Theo Ungerer, editors, Proceedings of the Third International Conference on Autonomic and Trusted Computing (ATC-06), volume 4158 of Lecture Notes in Computer Science, pages 38–47, Berlin/Heidelberg, September 2006. Springer
  M. Güdemann, F. Ortmeier, and W. Reif
  
• Safety and dependability analysis of selfadaptive systems. In: Proceedings of ISoLA 2006. IEEE CS Press, 2006
  M. Güdemann, F. Ortmeier, and W. Reif
  
• Towards safe and secure organic computing applications. In: Christian Hochberger and Rüdiger Liskowsky, editors, INFORMATIK 2006 – Informatik für Menschen, volume P-93 of GI-Edition – Lecture Notes in Informatics, pages 153–160, Bonn, Germany, September 2006. Köllen Verlag
  Matthias Güdemann, Florian Nafz, Wolfgang Reif, and Hella Seebach
  
• Design and Construction of Organic Computing Systems. In: Proceedings of the IEEE Congress on Evolutionary Computation 2007. IEEE Computer Society Press, 2007
  Hella Seebach, Frank Ortmeier, and Wolfgang Reif
  
• Modeling of self-adaptive systems with SCADE. In: Proceedings of the 2007 IEEE International Symposium on Circuits and Systems, ISCAS07. IEEE, 2007
  Matthias Güdemann, Andreas Angerer, Frank Ortmeier, and Wolfgang Reif
  
• A specification and construction paradigm for organic computing systems. In: Sven Brueckner, Paul Robertson, and Umesh Bellur, editors, Proceedings of the Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems, pages 233–242. IEEE Computer Society Press (2008), 2008
  Matthias Güdemann, Florian Nafz, Frank Ortmeier, Hella Seebach, and Wolfgang Reif
  
• Implementing Organic Systems with AgentService. In: Evaluation of Novel Approaches to Software Engineering ENASE 2008. Springer, 2008
  Florian Nafz, Frank Ortmeier, Hella Seebach, Jan-Philipp Steghöfer, and Wolfgang Reif
  
• Organic computing for health care systems - possible benefits and challenges. In: HEALTHINF (2), pages 286–290, 2008
  Florian Nafz, Frank Ortmeier, Hella Seebach, and Wolfgang Reif