Engineering Real-Time Communication Through Time-triggered Subsumption - Towards Flexibility with INCUS and LLFSMs

David Chen, René Hexel, Fawad Riasat Raja

Abstract

Engineering real-time communication protocols is a complex task, particularly in the safety-critical domain. Current protocols exhibit a strong tradeoff between flexibility and the ability to detect and handle faults in a deterministic way. Model-driven engineering promises a high level design of verifiable and directly runnable implementations. Arrangements of logic-labelled finite-state machines (LLFSMs) allow the implementation of complex system behaviours at a high level through a subsumption architecture with clear execution semantics. Here, we show that the ability of LLFSMs to handle elaborate hierarchical module interactions can be utilised towards the implementation of testable, safety-critical real-time communication protocols. We present an efficient implementation and evaluation of INCUS, a time-triggered protocol for safety-critical real-time communication that transcends the rigidity imposed by existing real-time communication systems through the use of a high-level subsumption architecture.

References

  1. Andersson, B., Tovar, E., and Pereira, N. (2005). Analysing TDMA with slot skipping. In Proc. 26th IEEE International Real-Time Systems Symposium (RTSS).
  2. Arkin, R. C. (1987). Motor schema based navigation for a mobile robot: An approach to programming by behavior. In Robotics and Automation. Proceedings. 1987 IEEE International Conference on, volume 4, pages 264-271.
  3. Berwanger (2001). et al. FlexRay the communication system for advanced automotive control systems. SAE Transactions, Vol. 110(7):SAE Press, pp. 303-314.
  4. Billington, D., Estivill-Castro, V., Hexel, R., and Rock, A. (2011a). Requirements engineering via nonmonotonic logics and state diagrams. In Evaluation of Novel Approaches to Software Engineering (ENASE selected papers), volume 230 of Communications in Computer and Information Science, pages 121-135, Athens, Greece. Springer Verlag.
  5. Billington, D., Estivill-Castro, V., Hexel, R., and Rock, A. (2011b). Requirements engineering via nonmonotonic logics and state diagrams. In Evaluation of Novel Approaches to Software Engineering, pages 121-135. Springer.
  6. Brooks, R. et al. (1986). A robust layered control system for a mobile robot. IEEE Journal of Robotics and Automation, 2(1):14-23.
  7. Brooks, R. A. (1987). Micro-brains for micro-brawn: Autonomous microbots. In IEEE Micro Robots and Teleoperators Workshop: An investigation of micromechanical structures, actuators and sensors, Hyannis, MA.
  8. Brooks, R. A., Connell, J., and Ning, P. (1988). Herbert: A second generation mobile robot. MIT AI Memo 1016.
  9. Chen, D., Hexel, R., and Raja, F. R. (2014). INCUS: A communication protocol for safety-critical distributed real-time systems. In proceedings of 20th AsiaPacific Conference on Communications (APCC), Pattaya, Thailand.
  10. Connell, J. (1987). Creature design with the subsumption architecture. In IJCAI, volume 87, pages 1124-1126.
  11. Erickson, J. and Siau, K. (2007). Can UML be simplified? practitioner use of UML in separate domains. In proceedings EMMSAD, volume 7, pages 87-96.
  12. Estivill-Castro, V. and Hexel, R. (2014). Correctness by construction with logic-labeled finite-state machines - comparison with Event-B. In Proc. 23rd Australian Software Engineering Conference (ASWEC), pages 38-47. IEEE.
  13. Estivill-Castro, V. and Hexel, R. (2015). Simple, not simplistic - the middleware of behaviour models. In ENASE 10 International Conference on Evaluation of Novel Approaches to Software Engineering, Barcelona, Spain. INSTCC.
  14. Estivill-Castro, V., Hexel, R., and Lusty, C. (2014). High performance relaying of C++11 objects across processes and logic-labeled finite-state machines. In Brugali, D., Broenink, J. F., Kroeger, T., and MacDonald, B. A., editors, Simulation, Modeling, and Programming for Autonomous Robots - 4th International Conference, SIMPAR 2014, volume 8810 of Lecture Notes in Computer Science, pages 182-194, Bergamo, Italy. Springer.
  15. Estivill-Castro, V., Hexel, R., and Rosenblueth, D. A. (2012). Efficient modelling of embedded software systems and their formal verification. In Leung, K. R. and Muenchaisri, P., editors, The 19th AsiaPacific Software Engineering Conference (APSEC 2012), pages 428-433, Hong Kong. IEEE Computer Society, Conference Publishing Services.
  16. Jacobson, I. and Seidewitz, E. (2014). A new software engineering: What happened to the promise of rigorous, disciplined, professional practices for software development? ACM-Queue, 12(10).
  17. Kaelbling, L. P. (1987). An architecture for intelligent reactive systems. In Morgan Kaufmann, Proceedings of the 1986 Workshop: Reasoning about Actions and Plans, Editors: Georgeff, M, Lansky, A, volume 30, pages 395-410.
  18. Kopetz, H. (2011). Real-Time Systems - Design Principles for Distributed Embedded Applications. Real-Time Systems Series. Springer, second edition.
  19. Kopetz, H. and Bauer, G. (2003). The time-triggered architecture. Proceedings of the IEEE, 91(1):112-126.
  20. Kopetz, H. and Grünsteidl, G. (1994). TTP - a protocol for fault-tolerant real-time systems. Computer, 27(1):14- 23.
  21. Kopetz, H., Hexel, R., Kr üger, A., Millinger, D., Nossal, R., Steininger, A., Temple, C., F ührer, T., Pallierer, R., and Krug, M. (1997). A prototype implementation of a TTP/C controller. In Proc. of the SAE Congress 1997, Detroit, MI, USA. Society of Automotive Engineers, SAE Press. SAE Paper No. 970296.
  22. Kopetz, H. and Ochsenreiter, W. (1987). Clock synchronization in distributed real-time systems. Computers, IEEE Transactions on, 100(8):933-940.
  23. Lamport, L. (1984). Using time instead of timeout for faulttolerant distributed systems. ACM Transactions on Programming Languages and Systems, 6:254-280.
  24. Li, C., Nicholas, M., and Zhou, Q. (2009). A new real-time network protocol - node order protocol. In Proceedings of 11th Real Time Linux Workshop.
  25. Mataric, M. J. (1990). Qualitative sonar based environment learning for mobile robots. In Proc. Advances in Intelligent Robotics Systems Conference, pages 305-315. International Society for Optics and Photonics.
  26. Payton, D. W. (1986). An architecture for reflexive autonomous vehicle control. In Proc. IEEE International Conference on Robotics and Automation., volume 3, pages 1838-1845. IEEE.
  27. Scheidler, C., Heiner, G., Sasse, R., Fuchs, E., Kopetz, H., and Temple, C. (1997). Time-triggered architecture (TTA). In Proceedings of EMMSEC'97, Advances in Information Technologies: The Business Challenge, pages 758-765.
  28. Schmidt, D. C. (2006). Guest editor's introduction: Modeldriven engineering. IEEE Computer, 39(2):25-31.
  29. TTTech (2004). Time-triggered protocol TTP/C high-level specification, document protocol version 1.1, TTTech document number d-032-s-10-028.
Download


Paper Citation


in Harvard Style

Chen D., Hexel R. and Raja F. (2016). Engineering Real-Time Communication Through Time-triggered Subsumption - Towards Flexibility with INCUS and LLFSMs . In Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering - Volume 1: ENASE, ISBN 978-989-758-189-2, pages 272-281. DOI: 10.5220/0005915602720281


in Bibtex Style

@conference{enase16,
author={David Chen and René Hexel and Fawad Riasat Raja},
title={Engineering Real-Time Communication Through Time-triggered Subsumption - Towards Flexibility with INCUS and LLFSMs},
booktitle={Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering - Volume 1: ENASE,},
year={2016},
pages={272-281},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005915602720281},
isbn={978-989-758-189-2},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering - Volume 1: ENASE,
TI - Engineering Real-Time Communication Through Time-triggered Subsumption - Towards Flexibility with INCUS and LLFSMs
SN - 978-989-758-189-2
AU - Chen D.
AU - Hexel R.
AU - Raja F.
PY - 2016
SP - 272
EP - 281
DO - 10.5220/0005915602720281