A model for the semantics of component interactions of cyber-physical systems

IEEE International Symposium on Industrial Electronics

Volumn 2016-November, Issue , 2016, Pages 1042-1047

  Bangemann, Felix ^a   Diedrich, Christian ^a   Reich, Johannes ^b  

^a OTTO VON GUERICKE UNIVERSITY   (Germany)

^b SAP RESEARCH   (Germany)

Author keywords

Components; Cyber physical systems; Grammar; Interactions; Semantics; System of systems

Indexed keywords

BEAM PLASMA INTERACTIONS; INDUSTRIAL ELECTRONICS; SEMANTICS; SYSTEM OF SYSTEMS;

COMPONENT INTERACTION; COMPONENTS; CYBER PHYSICAL SYSTEMS (CPSS); FORMAL MODEL; GRAMMAR; SEMANTIC INTERACTIONS;

EMBEDDED SYSTEMS;

EID: 85001038050     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISIE.2016.7745036     Document Type: Conference Paper

References (13)

1. Electronic data interchange for administration, commerce and transport (EDIFACT)-Application level syntax rules, ISO 9735: 1988, 1988.
2. T. Berners-Lee, J. Hendler, and O. Lassila, "The Semantic Web. A new form of Web content that is meaningful to computers will unleash a revolution of new possibilities, " Scientific american, vol. 284, no. 5, pp. 1-5, 2001.
3. J. Sakarovitch, Elements of automata theory: Cambridge University Press, 2009.
4. R. Alur, Principles of cyber-physical systems. London: The MIT Press, 2015.
5. C. E. Shannon, "A mathematical theory of communication, " ACM SIGMOBILE Mobile Computing and Communications Review, vol. 5, no. 1, pp. 3-55, 2001.
6. L. Lamport, "Computation and state machines, " Unpublished note, http: //research. microsoft. com/en-us/um/people/lamport/pubs/statemachine. pdf, 2008.
7. G. J. Holzmann, "Design and Validation of Computer Protocols Prentice Hall, " New Jersey, 1991.
8. D. Brand and P. Zafiropulo, "On Communicating Finite-State Machines, " J. ACM, vol. 30, no. 2, pp. 323-342, 1983.
9. G. V. Bochmann, "Finite state description of communication protocols, " in Conformance testing methodologies and architectures for OSI protocols, R. J. Linn, M. and m. Uyar, Eds. : IEEE Computer Society Press, 1995, pp. 66-77.
10. J. Reich, "The relation between protocols and games, " in GI Jahrestagung, pp. 3453-3464.
11. Matthias Riedl, Holger Zipper, Marco Meier, Christian Diedrich: Cyber-physical systems alter automation architectures.
12. G. H. Mealy: A Method for Synthesizing Sequential Circuits, Bell System Tech. J. 34, pp. 1045-1079, September 1955
13. J. Reich "Composition, Cooperation, and Coordination of Computational Systems", CoRR, http: //arxiv. org/abs/1602. 07065, 2016