Engineering autonomous systems

Future technology needs adaptive, autonomous, self-aware and intelligent behavior offering solutions that are intuitively integrated in our everyday surroundings. One such approach is presented illustrating the major engineering process of autonomous systems' construction. The dynamism and autonomous nature of the system elements is modeled by the novel communication/distribution principle that is knowledge- and predicate-based, allowing for late (at run-time) evaluation of communication and connection rules among the system elements. The approach is presented in terms of the major development life-cycle phases -- requirements specification, modeling and deployment -- and is illustrated on a concrete application example.

[1]  Seth Copen Goldstein,et al.  Meld: A declarative approach to programming ensembles , 2007, 2007 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[2]  Xia Zhang,et al.  Energy aware cloud application management in private cloud data center , 2011, 2011 International Conference on Cloud and Service Computing.

[3]  Yoav Shoham,et al.  Multiagent Systems - Algorithmic, Game-Theoretic, and Logical Foundations , 2009 .

[4]  Franco Zambonelli,et al.  Towards Simulating Architectural Patterns for Self-Aware and Self-Adaptive Systems , 2012, 2012 IEEE Sixth International Conference on Self-Adaptive and Self-Organizing Systems Workshops.

[5]  Gul Agha,et al.  Formal Modeling: Actors, Open Systems, Biological Systems , 2011, Lecture Notes in Computer Science.

[6]  Jun Han,et al.  A systematic survey on the design of self-adaptive software systems using control engineering approaches , 2012, 2012 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS).

[7]  Tomas Bures,et al.  DEECo Computational Model – I , 2013 .

[8]  Ilias Gerostathopoulos,et al.  DEECO: an ensemble-based component system , 2013, CBSE '13.

[9]  Martin Wirsing,et al.  Towards a System Model for Ensembles , 2011, Formal Modeling: Actors, Open Systems, Biological Systems.

[10]  Franco Zambonelli,et al.  Model Checking Goal-Oriented Requirements for Self-Adaptive Systems , 2012, 2012 IEEE 19th International Conference and Workshops on Engineering of Computer-Based Systems.

[11]  Rocco De Nicola,et al.  A Language-Based Approach to Autonomic Computing , 2011, FMCO.

[12]  Chiyoung Seo,et al.  Energy-Awareness in Distributed Java-Based Software Systems , 2006, 21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06).

[13]  Martin Wirsing,et al.  Engineering of Software-Intensive Systems: State of the Art and Research Challenges , 2008, Software-Intensive Systems and New Computing Paradigms.

[14]  Radu Calinescu,et al.  Large-scale complex IT systems , 2011, Commun. ACM.

[15]  R. Nicola,et al.  SCEL : a Language for Autonomic Computing ? , 2013 .