Abstract
Cyber-Physical Systems (CPSs) are distributed systems composed of computational and physical processes, often containing human actors. In a CPS setting, the computational processes collect information about their physical environment via sensors and react upon them using actuators in order to realize a change in the physical world.
In the approach presented in this paper, a CPS application is described as a hierarchical workflow of loosely-coupled tasks whose execution can be constrained with various conditions. We have designed a framework (\(\mathrm {P}\acute{\varepsilon }\alpha \)) of a minimal set of combinators implementing features relevant to CPS programming. The details are revealed through an illustrative example defined in our fully functional implementation embedded into an extended version of the Erlang distributed functional programming language.
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
References
Armstrong, J.: Programming Erlang: Software for a Concurrent World. Pragmatic Bookshelf, Raleigh (2007)
Bainomugisha, E., Carreton, A.L., Van Cutsem, T., Mostinckx, S., De Meuter, W.: A survey on reactive programming. ACM Comput. Surv. 45(4), 52:1–52:34 (2013). https://doi.acm.org/10.1145/2501654.2501666
Blom, H., Lönn, H., Hagl, F., Papadopoulos, Y., Reiser, M.O., Sjöstedt, C.J., Chen, D.J., Kolagari, R.T.: EAST-ADL - An Architecture Description Language for Automotive Software-Intensive Systems. Technical report the EAST-ADL 2 Consortium (2012)
Bozó, I., Horpácsi, D., Horváth, Z., Kitlei, R., Kőszegi, J., Tejfel, M., Tóth, M.: Refactorerl - source code analysis and refactoring in erlang. In: Proceedings of the 12th Symposium on Programming Languages and Software Tools, Tallin, Estonia, pp. 138–148, October 2011. ISBN 978-9949-23-178-2
Broman, D., Lee, E.A., Tripakis, S., Törngren, M.: Viewpoints, formalisms, languages, and tools for cyber-physical systems. In: Proceedings of the 6th International Workshop on Multi-Paradigm Modeling, MPM 2012, pp. 49–54. ACM, New York (2012). http://doi.acm.org/10.1145/2508443.2508452
Cesarini, F., Thompson, S.: Introduction. In: ERLANG Programming, pp. 1–3. O’Reilly Media Inc., USA (2009)
Chen, W.C., Shih, C.S.: Erwf: Embedded real-time workflow engine for user-centric cyber-physical systems. In: International Conference on Parallel and Distributed Systems, pp. 713–720 (2011)
Horpácsi, D.: Extending erlang by utilising refactorerl. In: Proceedings of the Twelfth ACM SIGPLAN Workshop on Erlang, Erlang 2013, pp. 63–72. ACM, New York (2013). http://doi.acm.org/10.1145/2505305.2505314
Kats, L.C.L., Visser, E.: The Spoofax language workbench. Rules for declarative specification of languages and IDEs. In: Rinard, M. (ed.) Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2010, Reno, NV, USA, October 17–21, pp. 444–463 (2010)
Kitchin, D., Quark, A., Cook, W., Misra, J.: The orc programming language. In: Lee, D., Lopes, A., Poetzsch-Heffter, A. (eds.) FMOODS 2009. LNCS, vol. 5522, pp. 1–25. Springer, Heidelberg (2009)
Ko, R.K., Lee, S.S., Lee, E.W.: Business process management (bpm) standards: A survey. Bus. Process. Manage. J. 15(5), 744–791 (2009)
Kozsik, T., Lőrincz, A., Juhász, D., Domoszlai, L., Horpácsi, D., Tóth, M., Horváth, Z.: Workflow description in cyber-physical systems. Stud. Univ. Babes-Bolyai Ser. Info. LVIII(2), 20–30 (2013). http://www.cs.ubbcluj.ro/~studia-i/2013-2/052-Horvath.pdf
Kurpick, T., Pinkernell, C., Look, M., Rumpe, B.: Modeling cyber-physical systems: Model-driven specification of energy efficient buildings. In: Proceedings of the Modelling of the Physical World Workshop, MOTPW 2012, pp. 2:1–2:6. ACM, New York (2012). http://doi.acm.org/10.1145/2491617.2491619
Lee, E.A.: Cyber physical systems: Design challenges. Technical report UCB/EECS-2008-8, EECS Department, University of California, Berkeley, January 2008. http://www.eecs.berkeley.edu/Pubs/TechRpts/2008/EECS-2008-8.html
Newton, R., Morrisett, G., Welsh, M.: The regiment macroprogramming system. In: Proceedings of the 6th International Conference on Information Processing in Sensor Networks, IPSN 2007, pp. 489–498. ACM, New York (2007). http://doi.acm.org/10.1145/1236360.1236422
Pike, L., Goodloe, A., Morisset, R., Niller, S.: Copilot: a hard real-time runtime monitor. In: Barringer, H., Falcone, Y., Finkbeiner, B., Havelund, K., Lee, I., Pace, G., Roşu, G., Sokolsky, O., Tillmann, N. (eds.) RV 2010. LNCS, vol. 6418, pp. 345–359. Springer, Heidelberg (2010). http://dblp.uni-trier.de/db/conf/rv/rv2010.html#PikeGMN10
Pike, L., Wegmann, N., Niller, S., Goodloe, A.: Copilot: Monitoring embedded systems. Innov. Syst. Softw. Eng. 9(4), 235–255 (2013). http://dx.doi.org/10.1007/s11334-013-0223-x
Plasmeijer, R., Lijnse, B., Michels, S., Achten, P., Koopman, P.: Task-oriented programming in a pure functional language. In: Proceedings of the 14th Symposium on Principles and Practice of Declarative Programming, PPDP 2012, pp. 195–206. ACM, New York (2012). http://doi.acm.org/10.1145/2370776.2370801
Srbljić, S., Škvorc, D., Popović, M.: Programming languages for end-user personalization of cyber-physical systems. AUTOMATIKA: časopis za automatiku, mjerenje, elektroniku, računarstvo i komunikacije 53(3), 294–310 (2012)
Sztipanovits, J.: Composition of cyber-physical systems. In: ECBS, pp. 3–6. IEEE Computer Society (2007). http://dblp.uni-trier.de/db/conf/ecbs/ecbs2007.html#Sztipanovits07
Voget, S.: Autosar and the automotive tool chain. In: Proceedings of the Conference on Design, Automation and Test in Europe, DATE 2010, pp. 259–262. European Design and Automation Association, 3001 Leuven, Belgium (2010). http://dl.acm.org/citation.cfm?id=1870926.1870988
Acknowledgement
The authors would like to thank Dr Christian Rinderknecht for his comments and discussion. They are also grateful to the anonymous referees for their suggestions.
The research was carried out as part of the EITKIC_12-1-2012-0001 project, which is supported by the Hungarian Government, managed by the National Development Agency, financed by the Research and Technology Innovation Fund and was performed in cooperation with the EIT ICT Labs Budapest Associate Partner Group (www.ictlabs.elte.hu).
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Juhász, D., Domoszlai, L., Králik, B. (2015). Rea: Workflows for Cyber-Physical Systems. In: Zsók, V., Horváth, Z., Csató, L. (eds) Central European Functional Programming School. CEFP 2013. Lecture Notes in Computer Science(), vol 8606. Springer, Cham. https://doi.org/10.1007/978-3-319-15940-9_14
Download citation
DOI: https://doi.org/10.1007/978-3-319-15940-9_14
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-15939-3
Online ISBN: 978-3-319-15940-9
eBook Packages: Computer ScienceComputer Science (R0)