skip to main content
10.1145/2491845.2491862acmotherconferencesArticle/Chapter ViewAbstractPublication PagespciConference Proceedingsconference-collections
research-article

Engineering autonomous systems

Published: 19 September 2013 Publication History

Abstract

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.

References

[1]
Abeywickrama, D., Zambonelli, F., and Hoch, N. 2012 Towards Simulating Architectural Patterns for Self-Aware and Self-Adaptive Systems. In 2nd SASO Workshop on Awareness in Autonomic Systems (Lyon, France). 87--94.
[2]
Al Ali, R., Bures, T., Gerostathopoulos, I., Hnetynka, P., Keznikl, J., Kit, M., and Plasil, F. 2013. DEECo computational model -- I. Technical Report no. D3S-TR-2013-01. D3S, Charles University in Prague. Available at: http://d3s.mff.cuni.cz/publications.
[3]
Ashley-Rollman, M. P., Goldstein, S. C., Lee, P., Mowry, T. C., and Pillai, P. 2007. Meld: A declarative approach to programming ensembles. In Proc. of IROS. IEEE, 2794--2800.
[4]
Bures, T., Gerostathopoulos, I., Hnetynka, P., Keznikl, J., Kit, M., and Plasil, F. 2013. DEECo -- an Ensemble-Based Component System. In Proc. of CBSE 2013. ACM.
[5]
De Nicola, R., Ferrari, G-L., Loreti, M., and Pugliese, R. 2012. A Language-based Approach to Autonomic Computing. Formal Methods for Components and Objects. Vol. 7542 of LNCS, 26--48.
[6]
De Nicola, R., Loreti, M., Pugliese, R., and Tiezzi, F. 2013. SCEL: a language for autonomic computing. Technical Report. Universita a degli Studi di Firenze. Available at: http://rap.dsi.unifi.it/scel/ {retrieved: Feb.2013}.
[7]
Hoelzl, M., et al. 2011. Engineering Ensembles: A White Paper of the ASCENS Project. ASCENS Deliverable JD1.1. Available: http://www.ascens-ist.eu/whitepapers.
[8]
Hoelzl, M., Rauschmayer, A., and Wirsing, M. 2008. Engineering of software-intensive systems. In Software-Intensive Systems and New Computing Paradigms. Wirsing, M., Banatre, J. P., Hoelzl, M., Rauschmayer, A. (eds.) Vol.5380 of LNCS, 1--44.
[9]
Hoelzl, M. and Wirsing, M. 2011. Towards a system model for ensembles. In Formal Modeling: Actors, Open Systems, Biological Systems. Agha, G., Danvy, O., and Meseguer, J. (eds.). Vol.7000 of LNCS, 241--261.
[10]
Loreti, M. 2013. jRESP: a run-time environment for scel programs. Technical Report. Universita a degli Studi di Firenze. Available at: http://rap.dsi.unifi.it/scel/, {retrieved: Feb.2013}.
[11]
Patikirikorala, T., Coman, A., Jun, H., and Liuping, W. 2012. A systematic survey on the design of self-adaptive software systems using control engineering approaches. In Proc. of SEAMS '12. 33--42.
[12]
Project ASCENS (Autonomic Service-Component Ensembles). http://www.ascens-ist.eu ASCENS {retrieved: Feb.2013}.
[13]
Project InterLink: http://interlink.ics.forth.gr {retrieved: Feb.2013}.
[14]
Seo, C. 2006. Energy-Awareness in Distributed Java-Based Software Systems. In Proc. of the 21st IEEE International Conference on Automated Software Engineering (ASE'06). IEEE, 343--348.
[15]
Shoham, Y. and Leyton-Brown, K. 2008. Multiagent Systems: Algorithmic, GameTheoretic, and Logical Foundations. Cambridge University Press.
[16]
Sommerville, I. et al. 2012. Large-scale complex it systems. Commun. ACM. 55, 7, 71--77.
[17]
Xu, L., Tan, G., Zhang, X., and Zhou, J. 2011. Energy aware cloud application management in private cloud data center. In Proc. of the 2011 International Conference on Cloud and Service Computing. 274--279.
[18]
Zambonelli, F. and Abaywickrama, D. 2012. Model Checking Goal-oriented Requirements for Self-Adaptive Systems, in Proc. Of 19th IEEE Conference on the Engineering of Computer-based Systems (ECBS 2012), IEEE CS Press.

Cited By

View all
  • (2015)The ASCENS Case Studies: Results and Common AspectsSoftware Engineering for Collective Autonomic Systems10.1007/978-3-319-16310-9_14(451-469)Online publication date: 2015

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Other conferences
PCI '13: Proceedings of the 17th Panhellenic Conference on Informatics
September 2013
359 pages
ISBN:9781450319690
DOI:10.1145/2491845
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

  • University of Macedonia
  • Aristotle University of Thessaloniki
  • The University of Sheffield: The University of Sheffield
  • Alexander TEI of Thessaloniki

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 19 September 2013

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. autonomous systems
  2. component-based system
  3. context-aware systems
  4. development life cycle

Qualifiers

  • Research-article

Funding Sources

Conference

PCI 2013
Sponsor:
  • The University of Sheffield
PCI 2013: 17th Panhellenic Conference on Informatics
September 19 - 21, 2013
Thessaloniki, Greece

Acceptance Rates

Overall Acceptance Rate 190 of 390 submissions, 49%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)7
  • Downloads (Last 6 weeks)1
Reflects downloads up to 19 Feb 2025

Other Metrics

Citations

Cited By

View all
  • (2015)The ASCENS Case Studies: Results and Common AspectsSoftware Engineering for Collective Autonomic Systems10.1007/978-3-319-16310-9_14(451-469)Online publication date: 2015

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media