Abstract
As one of the newest members in Artificial Immune Systems (AIS), the Dendritic Cell Algorithm (DCA) has been applied to a range of problems. These applications mainly belong to the field of anomaly detection. Real-time detection, a new challenge to anomaly detection, requires improvement on the real-time capability of the DCA. To assess such capability, formal methods in the research of real-time systems can be employed. The findings of the assessment can provide guideline for the future development of the algorithm. Therefore, in this paper we use an interval logic based method, named the Duration Calculus (DC), to specify a simplified single-cell model of the DCA. Based on the DC specifications with further induction, we find that each individual cell in the DCA can perform its function as a detector in real-time. Since the DCA can be seen as many such cells operating in parallel, it is potentially capable of performing real-time detection. However, the analysis process of the standard DCA constricts its real-time capability. As a result, we conclude that the analysis process of the standard DCA should be replaced by a real-time analysis component, which can perform periodic analysis for the purpose of real-time detection.
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
Al-Hammadi, Y., Aickelin, U., Greensmith, J.: DCA for Bot Detection. In: Proceedings of the IEEE World Congress on Computational Intelligence (WCCI), pp. 1807–1816 (2008)
Alur, R., Dill, D.L.: A theory of timed automata. Theoretical Computer Sicence 126, 183–235 (1994)
de Castro, L.N., Timmis, J.: Artificial Immune Systems: A New Computational Intelligent Approach. Springer, Heidelberg (2002)
Dierks, H.: PLC-Automat: A new class of implementable real-time automata. Theoretical Computer Sicence 253, 61–93 (2000)
Dijkstra, E.W., Scholten, C.S.: Predicate calculus and program semantics. Springer, Heidelberg (1990)
Greensmith, J.: The Dendritic Cell Algorithm. PhD thesis, School of Computer Science, University of Nottingham (2007)
Greensmith, J., Feyereisl, J., Aickelin, U.: The DCA: SOMe Comparison A comparative study between two biologically-inspired algorithms. Evolutionary Intelligence 1(2), 85–112 (2008)
Gu, F., Greensmith, J., Aickelin, U.: Further Exploration of the Dendritic Cell Algorithm: Antigen Multiplier and Time Windows. In: Bentley, P.J., Lee, D., Jung, S. (eds.) ICARIS 2008. LNCS, vol. 5132, pp. 142–153. Springer, Heidelberg (2008)
Gu, F., Greensmith, J., Aickelin, U.: Integrating Real-Time Analysis With The Dendritic Cell Algorithm Through Segmentation. In: Genetic and Evolutionary Computation Conference (GECCO), page in print (2009)
Lutz, M.B., Schuler, G.: Immature, semi-mature and fully mature dendritic cells: which signals induce tolerance or immunity? TRENDS in Immunology 23(9), 445–449 (2002)
Moszkowski, B.: A temporal logic for multilevel reasoning about hardware. Computer 18(2), 10–19 (1985)
Oates, R., Greensmith, J., Aickelin, U., Garibaldi, J., Kendall, G.: The Application of a Dendritic Cell Algorithm to a Robotic Classifier. In: de Castro, L.N., Von Zuben, F.J., Knidel, H. (eds.) ICARIS 2007. LNCS, vol. 4628, pp. 204–215. Springer, Heidelberg (2007)
Oates, R., Kendall, G., Garibaldi, J.: Frequency Analysis for Dendritic Cell Population Tuning: Decimating the Dendritic Cell. Evolutionary Intelligence 1(2) (2008)
Olderog, E., Dierks, H.: Real-Time Systmes: Formal Specification and Automatic Verification. Cambridge University Press, Cambridge (2008)
UPPAAL. An integrated tool environment for modeling, simulation and verification of real-time systems (2009), http://www.uppaal.com/
Zhou, C., Hansen, M.R.: A calculus of durations. Information Processing Letters 40(5), 269–276 (1991)
Zhou, C., Hansen, M.R.: Duration Calculus: A Formal Approach to Real-Time Systems. Springer, Heidelberg (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gu, F., Greensmith, J., Aickelin, U. (2009). Exploration of the Dendritic Cell Algorithm Using the Duration Calculus. In: Andrews, P.S., et al. Artificial Immune Systems. ICARIS 2009. Lecture Notes in Computer Science, vol 5666. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-03246-2_10
Download citation
DOI: https://doi.org/10.1007/978-3-642-03246-2_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-03245-5
Online ISBN: 978-3-642-03246-2
eBook Packages: Computer ScienceComputer Science (R0)