Abstract
A preparation of the consistent task schedule is significant for the proper functioning of reminder systems. Two problems have to be solved thereby: avoiding temporal task overlapping; preventing task generation with an unlimited task execution time. Each task consists of complex activities combining temporally linked actions. The article introduces a method for formal description of such activities. To limit the execution time of the activities, definitions of timer transitions were included in the action specification. The expiration of the timer causes a transition to a specified action. The fact that the actual timer depends on the actions performed before complicates the analysis. A timed automaton can be built for each complex activity based on the introduced description. This automaton is applied to quantitative and qualitative analysis of temporal aspects of the activities. The article presents an algorithm for calculating the duration limits of the activities and for detecting the unlimited activities.
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
Pineau, J., Montemerlo, M., Pollack, M., Roy, N., Thrun, S.: Towards robotic assistants in nursing homes: Challenges and results. Proc. of Robotics and Autonomous Systems 42, 271–281 (2003)
Voinikonis, A.: A Generic Approach to a Mobile Monitoring System. In: Proc. of 2nd IASTED International Conference on Biomedical Engineering BioMED 2004, February 2004. Acta-Press, Innsbruck (2004)
Voinikonis, A.: A Generic Data Model and a Supporting Server Architecture for the Mobile Memory Aid System. In: Proc. of 9th IASTED International Conference on Internet and Multimedia Systems and Applications EuroIMSA 2005, February 2005. Acta-Press, Grindelwald (2005)
Schulze, H., Voinikonis, A., Hoffmann, T., Irmscher, K.: Modeling a Mobile Memory Aid System. In: Proceedings zur 13. ITG/GI-Fachtagung “Kommunikation in Verteilten Systemen” (KiVS 2003), Universität Leipzig, pp. 143–153. Springer, Heidelberg (2003)
3GPP, GPRS Service Description, 3G TS 22.060 v. 3.3.0 (March 2000)
Alur, R., Dill, D.L.: A theory of timed automata. Theoretical Computer Science 126, 183–235 (1994)
Henzinger, A.T.: It’s About Time: Real-time Logics Reviewed. In: Sangiorgi, D., de Simone, R. (eds.) CONCUR 1998. LNCS, vol. 1466, pp. 439–454. Springer, Heidelberg (1998)
Asarin, E., Maler, O., Pnueli, A.: Symbolic controller synthesis for discrete and timed systems. In: Antsaklis, P.J., Kohn, W., Nerode, A., Sastry, S.S. (eds.) HS 1994. LNCS, vol. 999, pp. 1–20. Springer, Heidelberg (1995)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Voinikonis, A. (2005). Quantitative and Qualitative Analysis of Temporal Aspects of Complex Activities. In: Peled, D.A., Tsay, YK. (eds) Automated Technology for Verification and Analysis. ATVA 2005. Lecture Notes in Computer Science, vol 3707. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11562948_12
Download citation
DOI: https://doi.org/10.1007/11562948_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-29209-8
Online ISBN: 978-3-540-31969-6
eBook Packages: Computer ScienceComputer Science (R0)