Towards a Model-based Toolchain for Remote Configuration and Maintenance of Space-aware Systems

Jan Olaf Blech, Peter Herrmann, Ian Peake, Heinz Schmidt

Abstract

We present work towards a toolchain that combines our existing tools Reactive Blocks and BeSpaceD with our remote collaboration and visualization facility VxLab. Software development in areas such as oil and gas, mining or automation is subject to remote configuration and maintenance of installations. Different reasons are driving this trend including difficult accessibility of remote sites and outsourcing to offsite experts or due to cheaper labor costs. Here, we concentrate on work towards remote configuration, installation and maintenance of the software controlling these installations and their spatial constraints.

References

  1. Abdellatif, T., Bensalem, S., Combaz, J., Silva, L. D., and Ingrand, F. (2012). Rigorous Design of Robot Software: A Formal Component-based Approach. Robotics and Autonomous Systems, 60(12):1563- 1578.
  2. Adiego, B. F., Darvas, D., Vinuela, E. B., Tournier, J.-C., Suarez, V. M. G., and Blech, J. O. (2014). Modelling and Formal Verification of Timing Aspects in Large PLC Programs. In 19th IFAC World Congress.
  3. Basu, A., Bozga, M., and Sifakis, J. (2006). Modeling Heterogeneous Real-time Components in BIP. In Software Engineering and Formal Methods. IEEE Computer.
  4. Blech, J. O. and Biha, S. O. (2011). Verification of PLC Properties Based on Formal Semantics in Coq. In 9th International Conference on Software Engineering and Formal Methods (SEFM), volume LNCS 7041. Springer-Verlag.
  5. Blech, J. O., Hattendorf, A., and Huang, J. (2011). An Invariant Preserving Transformation for PLC Models. In Model-Based Engineering for Real-Time Embedded Systems Design. IEEE Computer.
  6. Blech, J. O. and Schmidt, H. (2013). Towards Modeling and Checking the Spatial and Interaction Behavior of Widely Distributed Systems. In Improving Systems and Software Engineering Conference.
  7. Blech, J. O. and Schmidt, H. (2014). BeSpaceD: Towards a Tool Framework and Methodology for the Specification and Verification of Spatial Behavior of Distributed Software Component Systems. Technical report, arXiv.org.
  8. Blech, J. O., Schmidt, H., Peake, I., Kande, M., Ramaswamy, S., Sudarsan SD, and Narayanan, V. (2014a). Collaborative Engineering through Integration of Architectural, Social and Spatial Models. In Emerging Technologies and Factory Automation (ETFA). IEEE Computer.
  9. Gudemann, M., Angerer, A., Ortmeier, F., and Reif, W. (2007). Modeling of Self-Adaptive Systems with SCADE. In Circuits and Systems (ISCAS), pages 2922-2925. IEEE Computer.
  10. Gunawan, L. A., Kraemer, F. A., and Herrmann, P. (2012). Behavioral Singletons to Consistently Handle Global States of Security Patterns. In Distributed Applications and Interoperable Systems (DAIS), volume LNCS 7272, pages 73-86. Springer-Verlag.
  11. Halbwachs, N., Caspi, P., Raymond, P., and Pilaud, D. (1991). The Synchronous Data Flow Programming Language LUSTRE. Proceedings of the IEEE, 79(9):1305-1320.
  12. Han, F., Blech, J. O., Herrmann, P., and Schmidt, H. (2014). Towards Verifying Safety Properties of Real-Time Probability Systems. In 11th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA). EPTCS.
  13. Han, F. and Herrmann, P. (2013). Modeling real-time system performance with respect to scheduling analysis. In 6th IEEE International Conference on Ubi-Media Computing, pages 663-671. IEEE Computer.
  14. Herrmann, P., Blech, J. O., Han, F., and Schmidt, H. (2014). A Model-based Toolchain to Verify Spatial Behavior of Cyber-Physical Systems. In Asia-Pacific Services Computing Conference (APSCC). IEEE Computer.
  15. Kamrani, A. K. and Nasr, E. A., editors (2008). Collaborative Engineering, Theory and Practice. SpringerVerlag.
  16. Kraemer, F. A. and Herrmann, P. (2009). Automated Encapsulation of UML Activities for Incremental Development and Verification. In Model Driven Engineering Languages and Systems (MoDELS), LNCS 5795, pages 571-585. Springer-Verlag.
  17. Kraemer, F. A. and Herrmann, P. (2010). Reactive Semantics for Distributed UML Activities. In Joint WG6.1 International Conference (FMOODS) and WG6.1 International Conference (FORTE), LNCS 6117, pages 17-31. Springer-Verlag.
  18. Kraemer, F. A., Sla┬░tten, V., and Herrmann, P. (2009). Tool Support for the Rapid Composition, Analysis and Implementation of Reactive Services. Journal of Systems and Software, 82(12):2068-2080.
  19. Thomas, U., Hirzinger, G., Rumpe, B., Schulze, C., and Wortmann, A. (2013). A New Skill based Robot Programming Language using UML/P Statecharts. In Robotics and Automation (ICRA), pages 461-466. IEEE Computer.
Download


Paper Citation


in Harvard Style

Olaf Blech J., Herrmann P., Peake I. and Schmidt H. (2015). Towards a Model-based Toolchain for Remote Configuration and Maintenance of Space-aware Systems . In Proceedings of the 10th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE, ISBN 978-989-758-100-7, pages 331-336. DOI: 10.5220/0005454703310336


in Bibtex Style

@conference{enase15,
author={Jan Olaf Blech and Peter Herrmann and Ian Peake and Heinz Schmidt},
title={Towards a Model-based Toolchain for Remote Configuration and Maintenance of Space-aware Systems},
booktitle={Proceedings of the 10th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,},
year={2015},
pages={331-336},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005454703310336},
isbn={978-989-758-100-7},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 10th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,
TI - Towards a Model-based Toolchain for Remote Configuration and Maintenance of Space-aware Systems
SN - 978-989-758-100-7
AU - Olaf Blech J.
AU - Herrmann P.
AU - Peake I.
AU - Schmidt H.
PY - 2015
SP - 331
EP - 336
DO - 10.5220/0005454703310336