Abstract
We propose a generic architecture to facilitate the systematic design of autonomous, adaptive and safe applications. We specify generic modules including a trustworthiness enforcement layer dedicated to ensure the system’s functional stability as seen by the human owner. Instead of building a monolithic system, we encourage modularization based on the cognitive function of the components. A key premise is that domain knowledge is explicitly specified as a parameter of each application, with the side effect of enabling seamless integration with other remote autonomous or infrastructure applications. The design choices we have made are exemplified on a demonstrative travel management application.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Guizzardi, G., Wagner, G., Guarino, N., van Sinderen, M.: An Ontologically Well-Founded Profile for UML Conceptual Models. In: Persson, A., Stirna, J. (eds.) CAiSE 2004. LNCS, vol. 3084, Springer, Heidelberg (2004)
Cranefield, S., Purvis, M.: UML as an ontology modelling language. In: Proceedings of the Workshop on Intelligent Information Integration. In: 16th International Joint Conference on Artificial Intelligence (IJCAI) (1999)
Cranefield, S.: UML and the Semantic Web. In: Proceedings of the International Semantic Web Working Symposium (SWWS) (2001)
Degen, W., Heller, B., Herre, H., Smith, B.: GOL: A General Ontological Language. In: Proceedings of the International Conference on Formal Ontology in Information Systems (FOIS) (2001)
Gorman, J.: UML for Java Developers, Model Constraints & the Object Constraint Language, http://www.parlezuml.com
d’Avila Garcez, A., Russo, A., Nuseibeh, B., Kramer, J.: Combining Abductive Reasoning and Inductive Learning to Evolve Requirements Specifications. In: IEEE Proceedings - Software (2003)
Mili, A., Jiang, G., Cukic, B., Liu, Y., Ben Ayed, R.: Towards the Verification and Validation of Online Learning Systems: General Framework and Applications. In: Proceedings of the 37th Annual Hawaii International Conference on System Sciences (HICSS) (2004)
Watkins, A., Berndt, D., Aebischer, B., Fisher, J., Johnson, L.: Breeding Software Test Cases for Complex Systems. In: Proceedings of the 37th Annual Hawaii International Conference on System Sciences (HICSS) (2004)
Ilghami, O.: Documentation for JSHOP2. In: Technical Report, CS-TR-4694, Department of Computer Science, University of Maryland (2006)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Brancovici, G., Müller-Schloer, C. (2007). A Generic and Modular System Architecture for Trustworthy, Autonomous Applications. In: Xiao, B., Yang, L.T., Ma, J., Muller-Schloer, C., Hua, Y. (eds) Autonomic and Trusted Computing. ATC 2007. Lecture Notes in Computer Science, vol 4610. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-73547-2_19
Download citation
DOI: https://doi.org/10.1007/978-3-540-73547-2_19
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-73546-5
Online ISBN: 978-3-540-73547-2
eBook Packages: Computer ScienceComputer Science (R0)