Paper Titles

A Combinative Similarity Computing Measure for Collaborative Filtering
p.2919

Fourier Transform Based GPU Acceleration
p.2926

Grade Exam Management System Design and Implementation Based on ADO.NET
p.2930

Applying Rough Set Theory to Establish Artificial Neural Networks Model for Short Term Incidence Rate Forecasting
p.2937

Challenges on Coordination for Cyber-Physical Systems
p.2942

Development and Implementation of WEB-Based Online Hotel Reservation System
p.2947

Construction of Odd-Variable Boolean Functions with Optimum Algebraic Immunity
p.2952

Optimal Boundary SVM Incremental Learning Algorithm
p.2957

SIFT Feature Extraction Algorithm for Image in DCT Domain
p.2963

HomeApplied Mechanics and MaterialsApplied Mechanics and Materials Vols. 347-350Challenges on Coordination for Cyber-Physical...

Challenges on Coordination for Cyber-Physical Systems

Article Preview

Abstract:

Cyber-physical systems integrate computing and communication with monitoring and control of physical entities. The complex interaction with the physical world makes coordination models and languages very important for the analysis, design and development of cyber-physical systems. This paper discusses several new challenges on coordination models and languages in the context of the emerging phenomenon of cyber-physical systems.

You might also be interested in these eBooks

Instruments, Measurement, Electronics and Information Engineering

Info:

Periodical:

Applied Mechanics and Materials (Volumes 347-350)

Pages:

2942-2946

DOI:

https://doi.org/10.4028/www.scientific.net/AMM.347-350.2942

Citation:

Cite this paper

Online since:

August 2013

Authors:

Meng Sun

Keywords:

Composition, Coordination, Cyber-Physical Systems, QoS Requirements, Self-Adaptation, Verification

Export:

RIS, BibTeX

Price:

Permissions CCC:

Request Permissions

Permissions PLS:

Request Permissions

Сopyright:

© 2013 Trans Tech Publications Ltd. All Rights Reserved

Share:

Citation:

[1] R. Alur and D. L. Dill, A theory of timed automata, in Theoretical Computer Science, 126(2), pp.183-235, (1994).

DOI: 10.1016/0304-3975(94)90010-8

[2] F. Arbab, Reo: a channel-based coordination model for component composition, in Mathematical Structures in Computer Science, 14(3), pp.329-366, (2004).

DOI: 10.1017/s0960129504004153

[3] C. Baier and J-P. Katoen, Principles of Model Checking, MIT, (2008).

[4] S. Bliudze and J. Sifakis, The Algebra of Connectors – Structuring Interaction in BIP, in IEEE Transactions on Computers, 57(10), pp.1315-1330, (2008).

DOI: 10.1109/tc.2008.26

[5] P. Derler, E. A. Lee and A. Sangiovanni Vincentelli, Modeling Cyber-Physical Systems, in Proceedings of the IEEE, 100(1), pp.13-28, (2012).

[6] L. P. J. Groenewegen and E. P. de Vink, Evolution on-the-fly with Paradigm, In Proceedings of COORDINATION 2006, LNCS 4038, pp.97-112, Springer, (2006).

[7] H. Hermanns, Interactive Markov Chains And the Quest for Quantified Quality,. Springer, (2002).

[8] J. Hillston, A Compositional Approach to Performance Modelling,. Cambridge University Press, (1996).

[9] C. A. R. Hoare, Communicating Sequential Processes,. Prentice Hall International, (1985).

[10] S. Kell, A survey of practical software adaptation techniques,. Journal of Universal Computer Science, 14(13): 2110–2157, (2008).

[11] L. Kleinrock, Queueing Systems,. Wiley, New York. (1976).

[12] M. Kwiatkowska, G. Norman, and D. Parker, Probabilistic symbolic model checking with PRISM: A hybrid approach,. International Journal on Software Tools for Technology Transfer, 6(2): 128–142, (2004).

DOI: 10.1007/s10009-004-0140-2

[13] K. G. Larsen, P. Pettersson, and W. Yi, UPPAAL: Status & developments". In Proceedings of CAV, 97, volume 1254 of LNCS, pages 456–459. Springer Verlag, June (1997).

[14] E. A. Lee, CPS Foundations,. In Proceedings of the 47th Design Automation Conference (DAC), pages 737-742, ACM, (2010).

[15] E. A. Lee, Computing Foundations and Practice for Cyber-Physical Systems: A Preliminary Report, Technical Report UCB/EECS-2007-72, Department of Electrical Engineering and Computer Sciences, UC Berkeley, (2007).

[16] M. A. Marsan, G. Conte and G. Balbo, A class of generzlied stochastic Petri nets for the performance analysis of multiprocessor systems,. ACM Transactions on Computer Systems 2(2), 93-122. (1984).

DOI: 10.1145/190.191

[17] Sun Meng and F. Arbab, Web Services Choreography and Orchestration in Reo and Constraint Automata", In Proceedings of SAC, 07, ACM, pages 346-353, (2007).

DOI: 10.1145/1244002.1244085

[18] R. Milner, Communication and Concurrency, Prentice Hall, (1989).

[19] J. Misra and W. R. Cook, Computation orchestration: A basis for wide-area computing, in . Software and System Modeling, 6(1), pp.83-110, (2007).

DOI: 10.1007/s10270-006-0012-1

[20] M. P. Papazoglou and D. Georgakopoulos, Service Oriented Computing, Communications of the ACM, 46(10): 25–28, (2003).

[21] M. P. Papazoglou, P. Traverso, S. Dustdar, and F. Leymann, Service oriented computing: a research roadmap, Int. J. Cooperative Inf. Syst., 17(2): 223–255, (2008).

DOI: 10.1142/s0218843008001816

[22] W. Reisig, Petri Nets: An Introduction, volume 4 of Monographs in Theoretical Computer Science. An EATCS Series. Springer, (1985).

[23] P. Wegner, Coordination as constrained interaction (extended abstract), in Proceedings of COORDINATION 1996, LNCS 1061, pp.28-33, Springer, (1996).

[24] L. Zeng, B. Benatallah, A. H. H. Ngu, M. Dumas, J. Kalagnanam, and H. Chang, QoS-Aware Middleware for Web Services Composition, IEEE Transactions on Software Engineering, 30(5): 311–327, (2004).

DOI: 10.1109/tse.2004.11