chapter

Cyber-Physical Systems and Events

Author:

Carolyn TalcottAuthors Info & Claims

Software-Intensive Systems and New Computing Paradigms: Challenges and Visions

November 2008

Pages 101 - 115

https://doi.org/10.1007/978-3-540-89437-7_6

Published: 14 November 2008 Publication History

Abstract

This paper discusses <em>event-based semantics</em> in the context of the emerging concept of Cyber Physical Systems and describes two related formal models concerning policy-based coordination and Interactive Agents.

References

[1]

Agha, G.: Actors: A Model of Concurrent Computation in Distributed Systems. MIT Press, Cambridge (1986)

Crossref

Google Scholar

[2]

Agha, G.: Concurrent object-oriented programming. Communications of the ACM 33(9), 125-141 (1990)

Digital Library

Google Scholar

[3]

Allen, S., Constable, R., Eaton, R., Kreitz, C., Lorigo, L.: The Nuprl open logical environment. In: McAllester, D. (ed.) CADE 2000. LNCS (LNAI), vol. 1831, pp. 170-176. Springer, Heidelberg (2000)

Crossref

Google Scholar

[4]

Arbab, F., Rutten, J.J.M.M.: A coinductive calculus of component connectors. In: Wirsing, M., Pattinson, D., Hennicker, R. (eds.) WADT 2003. LNCS, vol. 2755, pp. 34-55. Springer, Heidelberg (2003)

Google Scholar

[5]

Baker, H.G., Hewitt, C.: Laws for communicating parallel processes. In: IFIP Congress, pp. 987-992 (August 1977)

Google Scholar

[6]

Bickford, M.: Specification and derivation of distributed programs using a logic of events (2007), Invited lecture for Worshop on Event-based Semantics 2007, http://blackforest.stanford.edu/eventsemantics

Google Scholar

[7]

Bickford, M.: Abstract sequential programs and a logic of events (2008), Invited lecture for Worshop on Event-based Semantics (2008), http://blackforest.stanford.edu/eventsemantics

Google Scholar

[8]

Bickford, M., Constable, R.L.: A causal logic of events in formalized computational type theory. Technical Report Technical Report 2005-2010, Cornell University (2005)

Google Scholar

[9]

Clinger, W.D.: Foundations of actor semantics. AI-TR- 633, MIT Artificial Intelligence Laboratory (May 1981)

Crossref

Google Scholar

[10]

de Alfaro, L., Henzinger, T.A.: Interface automata. In: Ninth Annual Symposium on Foundations of Software Engineering (FSE), pp. 109-120. ACM Press, New York (2001)

Digital Library

Google Scholar

[11]

de Alfaro, L., Henzinger, T.A.: Interface theories for component-based design. In: Henzinger, T.A., Kirsch, C.M. (eds.) EMSOFT 2001. LNCS, vol. 2211, p. 148. Springer, Heidelberg (2001)

Crossref

Google Scholar

[12]

Denker, G., Meseguer, J., Talcott, C.L.: Rewriting semantics of distributed meta objects and composable communication services. In: Third International Workshop on Rewriting Logic and Its Applications (WRLA 2000). Electronic Notes in Theoretical Computer Science, vol. 36. Elsevier, Amsterdam (2000)

Google Scholar

[13]

Denker, G., Talcott, C.L.: Formal checklists for remote agent dependability. In: Fifth International Workshop on Rewriting Logic and Its Applications (WRLA 2004). Electronic Notes in Theoretical Computer Science. Elsevier, Amsterdam (2004)

Crossref

Google Scholar

[14]

Denker, G., Talcott, C.L.: A formal framework for goal net analysis. In:Workshop on Verification and Validation of Planning Systems. AAAI Press, Menlo Park (2005)

Google Scholar

[15]

Dvorak, D., Rasmussen, R., Reeves, G., Sacks, A.: Software Architecture Themes In JPL's Mission Data System. In: IEEE Aerospace Conference, USA (2000)

Crossref

Google Scholar

[16]

Fábrega, F.J.T., Herzog, J.C., Guttman, J.D.: Strand spaces: Proving cryptographic protocols correct. Journal of Computer Security, 191-230 (1999)

Crossref

Google Scholar

[17]

Goldin, D., Smolka, S., Attie, P., Sonderegger, E.: Turing machines, transition systems, and interaction. Information and Computation Journal 194(2), 101-128 (2004)

Digital Library

Google Scholar

[18]

Greif, I.: Semantics of communicating parallel processes. Technical Report 154, MIT, Project MAC (1975)

Crossref

Google Scholar

[19]

Guttman, J.: Strand spaces: From key exchange to secure location, Invited lecture for Workshop on Event-based Semantics 2008 (2008), http://blackforest.stanford.edu/eventsemantics

Google Scholar

[20]

Hewitt, C., Bishop, P., Steiger, R.: A universal modular actor formalism for artificial intelligence. In: Proceedings of 1973 International Joint Conference on Artificial Intelligence, pp. 235-245 (August 1973)

Digital Library

Google Scholar

[21]

Hore, B., Jafarpour, H., Jain, R., Ji, S., Massaguer, D., Mehrotra, S., Venkatasubramanian, N., Westermann, U.: Design and implementation of a middleware for sentient spaces. In: Proceedings of ISI 2007 (2007)

Google Scholar

[22]

Kim, M., Kannan, S., Lee, I., Sokolsky, O., Viswanathan, M.: Java-MaC: A run-time assurance approach for Java programs. Formal Methods in Systems Design 24(2), 129-155 (2004)

Crossref

Google Scholar

[23]

Lee, E.A.: Concurrent semantics without the notions of state or state transitions. In: Formal Modeling and Analysis of Timed Systems. LNCS, pp. 18-31. Springer, Heidelberg (2006)

Digital Library

Google Scholar

[24]

Lee, E.A., Sangiovanni-Vincentelli, A.: A framework for comparing models of computation. IEEE Transactions on Computer-Aided Design of Circuits and Systems 17(12), 1217-1229 (1998)

Digital Library

Google Scholar

[25]

Lee, E.A.: Concurrent semantics without the notions of state or state transitions. In: Formal Modeling and Analysis of Timed Systems. LNCS, pp. 18-31 (2006)

Digital Library

Google Scholar

[26]

Lee, E.A.: The problem with threads. IEEE Computer 39(5), 33-42 (2006)

Digital Library

Google Scholar

[27]

Liu, X., Matsikoudis, E., Lee, E.A.: Modeling timed concurrent systems. In: CONCUR (2006)

Crossref

Google Scholar

[28]

Meseguer, J.: Conditional Rewriting Logic as a unified model of concurrency. Theoretical Computer Science 96(1), 73-155 (1992)

Digital Library

Google Scholar

[29]

Meseguer, J., Talcott, C.L.: Semantic models for distributed object reflection (invited paper). In: Magnusson, B. (ed.) ECOOP 2002. LNCS, vol. 2374, pp. 1-36. Springer, Heidelberg (2002)

Crossref

Google Scholar

[30]

Meseguer, J.: A rewriting logic sampler. In: Van Hung, D., Wirsing, M. (eds.) ICTAC 2005. LNCS, vol. 3722, pp. 1-28. Springer, Heidelberg (2005)

Crossref

Google Scholar

[31]

Muscetolla, N., Pandurang, P., Pell, B., Williams, B.: Remote Agent: To Boldly Go Where No AI System Has Gone Before. Artificial Intelligence 103(1-2), 5-48 (1998)

Digital Library

Google Scholar

[32]

Sen, K., Vardhan, A., Agha, G., Rosu, G.: Efficient decentralized monitoring of safety in distributed systems. In: ACM TOSEM (submitted, 2006) (invited papers)

Google Scholar

[33]

Talcott, C.L.: Composable semantic models for actor theories. Higher-Order and Symbolic Computation 11(3), 281-343 (1998)

Crossref

Google Scholar

[34]

Talcott, C.: Coordination models based on a formal model of distributed object reflection. In: 1st International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord 2005) (2005)

Google Scholar

[35]

Talcott, C.: A formal framework for interactive agents. In: Arbab, F., Golden, D. (eds.) Foundations of Interactive Computation (FInCo 2007). Electronic Notes in Theoretical Computer Science, vol. 203, pp. 95-106. Elsevier, Amsterdam (2007)

Crossref

Google Scholar

[36]

Tidwell, T., Gill, C.: Abstract interpretation of time for preemptive scheduling of cyber-physical systems. Position paper for Worshop on Event-based Semantics 2007 (2007), http://blackforest.stanford.edu/eventsemantics

Google Scholar

[37]

Wegner, P.: Why interaction is more powerful than algorithms. CACM (May 1997)

Crossref

Google Scholar

[38]

Wegner, P., Goldin, D.: Computation beyond turing machines. CACM (April 2003)

Crossref

Google Scholar

[39]

Wegner, P., Goldin, D.: The church-turing thesis: Breaking the myth. In: Cooper, S.B., Löwe, B., Torenvliet, L. (eds.) CiE 2005. LNCS, vol. 3526, pp. 152-168. Springer, Heidelberg (2005)

Crossref

Google Scholar

[40]

Wirsing, M., Denker, G., Talcott, C., Poggio, A., Briesemeister, L.: A rewriting logic framework for soft constraints. In: WRLA 2006 (submitted, 2006)

Google Scholar

[41]

Woo, H., Mok, A.K., Chen, D.: Realizing the potential of monitoring uncertain event streams in real-time embedded applications. Position paper for Worshop on Event-based Semantics 2007 (2007), http://blackforest.stanford.edu/eventsemantics

Google Scholar

[42]

Woo, H., Mok, A.K., Lee, C.-G.: A generic framework for monitoring timing constraints over uncertain events. In: 27th IEEE International Real-Time Systems Symposium (2006)

Digital Library

Google Scholar

Cited By

View all

Lion BArbab FTalcott C(2022)Runtime Composition of Systems of Interacting Cyber-Physical ComponentsRecent Trends in Algebraic Development Techniques10.1007/978-3-031-43345-0_7(141-162)Online publication date: 28-Jun-2022
https://dl.acm.org/doi/10.1007/978-3-031-43345-0_7
Nenzi LBartocci EBortolussi LLoreti MVisconti E(2020)Monitoring Spatio-Temporal Properties (Invited Tutorial)Runtime Verification10.1007/978-3-030-60508-7_2(21-46)Online publication date: 6-Oct-2020
https://dl.acm.org/doi/10.1007/978-3-030-60508-7_2
Gautham SBakirtzis GLeccadito MKlenke RElks CLiu XTabuada PPajic MBushnell L(2019)A multilevel cybersecurity and safety monitor for embedded cyber-physical systemsProceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems10.1145/3302509.3313321(320-321)Online publication date: 16-Apr-2019
https://dl.acm.org/doi/10.1145/3302509.3313321
Show More Cited By

Cyber-Physical Systems and Events
1. Computer systems organization

Recommendations

Cyber-Physical Systems: Integrated Computing and Engineering Design
Modeling Automotive Cyber Physical Systems
DCABES '13: Proceedings of the 2013 12th International Symposium on Distributed Computing and Applications to Business, Engineering & Science

Automotive cyber physical systems (CPSs) involve interactions between software controllers, communication networks, and physical devices. These systems are among the most complex cyber physical systems being designed by humans. However, automotive cyber ...
Cyber Physical Socio Ecology

Exploring the laws of the nature and the rules of human society is the grand challenge of sciences. The Internet, Web, various communication networks and digital devices are connecting each other to form an enormous cyber space. The cyber space ...

Comments

Information & Contributors

Information

Published In

Software-Intensive Systems and New Computing Paradigms: Challenges and Visions

November 2008

265 pages

ISBN:9783540894360

Editors:
Martin Wirsing
Institute of Computer Science, LMU Munich, Munich, Germany
,
Jean-Pierre Banâtre
Université de Rennes I and INRIA/IRISA, Rennes Cedex, France 35042
,
Matthias Hölzl
Ludwig-Maximilians-Universität München, Germany
,
Axel Rauschmayer
Institute of Computer Science, LMU Munich, Munich, Germany

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 14 November 2008

Qualifiers

Chapter

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

18
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 03 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Lion BArbab FTalcott C(2022)Runtime Composition of Systems of Interacting Cyber-Physical ComponentsRecent Trends in Algebraic Development Techniques10.1007/978-3-031-43345-0_7(141-162)Online publication date: 28-Jun-2022
https://dl.acm.org/doi/10.1007/978-3-031-43345-0_7
Nenzi LBartocci EBortolussi LLoreti MVisconti E(2020)Monitoring Spatio-Temporal Properties (Invited Tutorial)Runtime Verification10.1007/978-3-030-60508-7_2(21-46)Online publication date: 6-Oct-2020
https://dl.acm.org/doi/10.1007/978-3-030-60508-7_2
Gautham SBakirtzis GLeccadito MKlenke RElks CLiu XTabuada PPajic MBushnell L(2019)A multilevel cybersecurity and safety monitor for embedded cyber-physical systemsProceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems10.1145/3302509.3313321(320-321)Online publication date: 16-Apr-2019
https://dl.acm.org/doi/10.1145/3302509.3313321
Seiger RHuber SHeisig PAβmann U(2019)Toward a framework for self-adaptive workflows in cyber-physical systemsSoftware and Systems Modeling (SoSyM)10.1007/s10270-017-0639-018:2(1117-1134)Online publication date: 1-Apr-2019
https://dl.acm.org/doi/10.1007/s10270-017-0639-0
Zhang MAli SYue TNorgren ROkariz O(2019)Uncertainty-Wise Cyber-Physical System test modelingSoftware and Systems Modeling (SoSyM)10.1007/s10270-017-0609-618:2(1379-1418)Online publication date: 1-Apr-2019
https://dl.acm.org/doi/10.1007/s10270-017-0609-6
Seiger RHuber SSchlegel T(2018)Toward an execution system for self-healing workflows in cyber-physical systemsSoftware and Systems Modeling (SoSyM)10.1007/s10270-016-0551-z17:2(551-572)Online publication date: 1-May-2018
https://dl.acm.org/doi/10.1007/s10270-016-0551-z
Srewil YScherer R(2017)Construction objects recognition in framework of CPSProceedings of the 2017 Winter Simulation Conference10.5555/3242181.3242391(1-12)Online publication date: 3-Dec-2017
https://dl.acm.org/doi/10.5555/3242181.3242391
Bartocci EBortolussi LLoreti MNenzi LTalpin JDerler PSchneider K(2017)Monitoring mobile and spatially distributed cyber-physical systemsProceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design10.1145/3127041.3127050(146-155)Online publication date: 29-Sep-2017
https://dl.acm.org/doi/10.1145/3127041.3127050
Aliabadi MKamath AGascon-Samson JPattabiraman KBodden ESchäfer WDeursen AZisman A(2017)ARTINALI: dynamic invariant detection for cyber-physical system securityProceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering10.1145/3106237.3106282(349-361)Online publication date: 21-Aug-2017
https://dl.acm.org/doi/10.1145/3106237.3106282
Ollesch JHesenius MGruhn VAlias C(2017)The Requirements Engineering Perspective on Events in Cyber-Physical SystemsProceedings of the 11th ACM International Conference on Distributed and Event-based Systems10.1145/3093742.3095097(349-350)Online publication date: 8-Jun-2017
https://dl.acm.org/doi/10.1145/3093742.3095097
Show More Cited By

Abstract

References

Cited By

Recommendations

Cyber-Physical Systems: Integrated Computing and Engineering Design

Modeling Automotive Cyber Physical Systems

Cyber Physical Socio Ecology

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations