Abstract
Current coordination models offer limited support for applications in which mobile hosts not only must coordinate their actions, but must also coordinate when those actions will be taken. This paper describes the design of TNM, a new coordination model based on timed futures — a novel extension to current coordination models through which mobile hosts can propose and negotiate which actions they will take and when. We discuss the use and advantages of this new coordination model in the context of the automatic motorway application challenge problem posed for the 2005 Monterey Workshop.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Caltrans, the Institute of Transportation Studies at UC Berkely: California partners for advanced transit and highways (path), http://www-path.eecs.berkeley.edu
Army, U.S.: Future combat systems (fcs), http://www.army.mil/fcs/
Gelernter, D.: Generative communication in Linda. ACM Trans. Program. Lang. Syst. 7(1), 80–112 (1985), doi:10.1145/2363.2433
Picco, G.P., Murphy, A.L., Roman, G.-C.: Lime: Linda meets mobility. In: Proc. of the 21st Int’l. Conf. on Software Engineering, May (1999)
Fok, C.-L., Roman, G.-C., Hackmann, G.: A lightweight coordination middleware for mobile computing. In: De Nicola, R., Ferrari, G.L., Meredith, G. (eds.) COORDINATION 2004. LNCS, vol. 2949, pp. 135–151. Springer, Heidelberg (2004)
Jacquet, J.-M., De Bosschere, K., Brogi, A.: On timed coordination languages. In: Porto, A., Roman, G.-C. (eds.) COORDINATION 2000. LNCS, vol. 1906, pp. 81–98. Springer, Heidelberg (2000)
de Boer, F.S., Gabbrielli, M., Meo, M.C.: A denotational semantics for timed linda. In: 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming (PPDP ’01), Florence, Italy, pp. 28–36. ACM Press, New York (2001), doi:10.1145/773184.773188
Mousavi, M.R., Reniers, M., Basten, T., Chaudron, M.: Separation of concerns in the formal design of real-time shared data-space systems. In: Third International Conference on Application of Concurrency to System Design (ACSD ’03), Guimaraes, Portugal, IEEE Computer Society Press, Los Alamitos (2003)
Roman, G.-C., Handorean, R., Sen, R.: Tuple space coordination across space and time. In: Ciancarini, P., Wiklicky, H. (eds.) COORDINATION 2006. LNCS, vol. 4038, pp. 266–280. Springer, Heidelberg (2006)
Kordon, F., Sztipanovits, J.: The monterey workshop series (2005 theme: Workshop on networked systems: realization of reliable systems on top of unreliable networked platforms) (2005), http://www-src.lip6.fr/homepages/Fabrice.Kordon/Monterey/objectives.html
Horowitz, R., Varaiya, P.: Control design of an automated highway system. Proceedings of the IEEE 88(7), 913–925 (2000)
Handorean, R., Roman, G.-C.: Secure Service Provision in Ad Hoc Networks. In: Orlowska, M.E., Weerawarana, S., Papazoglou, M.M.P., Yang, J. (eds.) ICSOC 2003. LNCS, vol. 2910, Springer, Heidelberg (2003)
Jones, M.: What really happened on Mars? (1997), http://www.research.microsoft.com/~mbj/Mars_Pathfinder/Mars_Pathfinder.html
Doerr, B.S., Venturella, T., Jha, R., Gill, C.D., Schmidt, D.C.: Adaptive Scheduling for Real-time, Embedded Information Systems. In: Proceedings of the 18th IEEE/AIAA Digital Avionics Systems Conference (DASC), St. Louis, Missouri, Oct.1999, IEEE, Los Alamitos (1999)
Gill, C., Schmidt, D.C., Cytron, R.: Multi-Paradigm Scheduling for Distributed Real-time Embedded Computing. IEEE Proceedings, Special Issue on Modeling and Design of Embedded Software 91(1) (2003)
Gill, C.D., Gossett, J.M., Corman, D., Loyall, J.P., Schantz, R.E., Atighetchi, M., Schmidt, D.C.: Integrated Adaptive QoS Management in Middleware: An Empirical Case Study. Journal of Real-time Systems 24 (2005)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer Berlin Heidelberg
About this paper
Cite this paper
Hackmann, G., Gill, C., Roman, GC. (2007). Towards a Real-Time Coordination Model for Mobile Computing. In: Kordon, F., Sztipanovits, J. (eds) Reliable Systems on Unreliable Networked Platforms. Monterey Workshop 2005. Lecture Notes in Computer Science, vol 4322. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-71156-8_10
Download citation
DOI: https://doi.org/10.1007/978-3-540-71156-8_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-71155-1
Online ISBN: 978-3-540-71156-8
eBook Packages: Computer ScienceComputer Science (R0)