Nothing Special   »   [go: up one dir, main page]
Skip to main content
Springer Nature Link
Log in

Modeling, Designing and Analyzing Resource Reservations in Distributed Embedded Systems

  • Chapter
  • First Online:
Real-Time Modelling and Processing for Communication Systems

Part of the book series: Lecture Notes in Networks and Systems ((LNNS,volume 29))

  • 673 Accesses

Abstract

Distributed embedded systems in many domains are becoming highly complex, mostly due to ever-increasing demand for advanced computer controlled functionality. These systems are realized by several embedded systems communicating through network channels. These systems are often required to be predictable, i.e., their responses to internal or external stimuli should be delivered within the constraints that are specified on them. Compositional development methods have been proposed by the research community to lower the software complexity, ensure predictability and allow flexibility during the development and execution of these systems. According to these methods, the compute and communication resources are allocated to each part (or sub-system) of the system, which in turn brings isolation among the parts and eases the system integration. This chapter presents a new end-to-end resource reservation model for distributed embedded systems that covers not only the computational nodes but also the communication channels. Moreover, timing analysis is presented to verify the predictability of the systems. This chapter also describes guidelines to distribute resources efficiently among different parts of the system. As a proof of concept, the end-to-end resource reservation model is implemented in the Rubus Component Model. This component model is already used for the development of control functionalities in vehicular embedded systems by several international companies. In order to show the usability of the proposed model, reservation design method, end-to-end timing analysis, and extended component model, a vehicular application case study is conducted and several experiments are performed.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook
USD 15.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Similar content being viewed by others

Notes

  1. 1.

    Typical name given to real-time networks developed specifically for use in industrial plants.

  2. 2.

    This book chapter is adapted from previously published contributions [8, 44].

  3. 3.

    A register may correspond to a port of a software component which is realized by the task at run-time.

  4. 4.

    For example, SE Tool and SystemWeaver (http://www.systemweaver.se).

  5. 5.

    http://www.arcticus-systems.com.

  6. 6.

    The tool is available at: https://github.com/nimazad/e2e-res.

References

  1. Timing Augmented Description Language (TADL2) syntax, semantics, metamodel Ver. 2, Deliverable 11, August 2012.

    Google Scholar 

  2. AUTOSAR Techincal Overview, Release 4.1, Rev. 2, Ver. 1.1.0. The AUTOSAR Consortium, October 2013. http://autosar.org.

  3. Catalog of Specialized CORBA Specifications. OMG Group. http://www.omg.org/technology/documents/.

  4. EAST-ADL Domain Model Specification, V2.1.12,. http://www.east-adl.info/Specification/V2.1.12/EAST-ADL-Specification_V2.1.12.pdf.

  5. Almeida, L., & Pedreiras, P. (October 2004). Scheduling within temporal partitions: Response-time analysis and server design. In Proceedings of the 4th ACM International Conference on Embedded Software.

    Google Scholar 

  6. Aminifar, A., Bini, E., Eles, P., & Peng, Z. (March 2016) Analysis and design of real-time servers for control applications. IEEE Transactions on Computers.

    Google Scholar 

  7. Ashjaei, M., Behnam, M., Pedreiras, P., Bril, R. J., Almeida, L., & Nolte, T. (August 2014). Reduced buffering solution for multi-hop HaRTES switched Ethernet networks. In The 20th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications.

    Google Scholar 

  8. Ashjaei, M., Khalilzad, N., Mubeen, S., Behnam, M., Sander, I., Almeida, L., et al. (June 2017) Designing end-to-end resource reservations in predictable distributed embedded systems. Real-Time Systems.

    Google Scholar 

  9. Audsley, N., Burns, A., Richardson, M., Tindell, K., & Wellings, A. J. (1993). Applying new scheduling theory to static priority pre-emptive scheduling. Software Engineering Journal, 8(5), 284–292.

    Article  Google Scholar 

  10. Audsley, N. C., Burns, A., Davis, R. I., Tindell, K. W., & Wellings, A. J. (March/May 1995). Fixed priority pre-emptive scheduling: An historical perspective. Real-Time Systems, 8(2), 173–198.

    Google Scholar 

  11. Barham, P., Dragovic, B., Fraser, K., Hand, S., Harris, T., Ho, A., & et al. (October 2003) Xen and the art of virtualization. ACM symposium on operating systems principles.

    Google Scholar 

  12. Bordoloi, U. D., Aminifar, A., Eles, P., & Peng, Z. (August 2014) Schedulability analysis of ethernet AVB switches. In The 20th IEEE International Conference on embedded and Real-Time Computing Systems and Applications.

    Google Scholar 

  13. Broy, M., Kruger, I. H., Pretschner, A., & Salzmann, C. (Feb. 2007) Engineering automotive software. Proceedings of the IEEE, 95(2), 356–373.

    Google Scholar 

  14. Chatterjee, S., Strosnider, J. (May 1995) Distributed pipeline scheduling: End-to-end analysis of heterogeneous, multi-resource real-time systems. In The 15th International Conference on Distributed Computing Systems.

    Google Scholar 

  15. Crnkovic, Ivica, & Larsson, Magnus. (2002). Building Reliable Component-Based Software Systems. Norwood, MA, USA: Artech House Inc.

    MATH  Google Scholar 

  16. Cucinotta, T., & Palopoli, L. (March 2010) QoS control for pipelines of tasks using multiple resources. IEEE Transactions on Computers.

    Google Scholar 

  17. Davis, R. I., Burns, A., Bril, R. J., & Lukkien, J. J. (2007). Controller area network (CAN) schedulability analysis: Refuted, revisited and revised. Real-Time Systems, 35, 239–272.

    Article  Google Scholar 

  18. Davis, R., & Burns, A. (October 2008) An investigation into server parameter selection for hierarchical fixed priority pre-emptive systems. In 16th International Conference on Real-Time and Network Systems.

    Google Scholar 

  19. Deng, Z., & Liu, J. W. S. (December 1997) Scheduling real-time applications in an open environment. In The 18th IEEE Real-Time Systems Symposium.

    Google Scholar 

  20. Dermler, V., Fiederer, W., Barth, I., & Rothermel, K. (June 1996). A negotiation and resource reservation protocol (NRP) for configurable multimedia applications. In The Third IEEE International Conference on Multimedia Computing and Systems.

    Google Scholar 

  21. Easwaran, A. Anand, M., & Lee, I. (December 2007). Compositional analysis framework using EDP resource models. In 28th IEEE International Real-Time Systems Symposium.

    Google Scholar 

  22. Feiertag, N., Richter, K., Nordlander, J., & Jonsson, J. (December 2008). A compositional framework for end-to-end path delay calculation of automotive systems under different path semantics. In Workshop on Compositional Theory and Technology for Real-Time Embedded Systems.

    Google Scholar 

  23. (Alex) Feng, X. (2005). Towards real-time enabled microsoft windows. In The 5th ACM International Conference on Embedded Software.

    Google Scholar 

  24. Fisher, N., & Dewan, F. (July 2009). Approximate bandwidth allocation for compositional real-time systems. In 21st Euromicro Conference on Real-Time Systems.

    Google Scholar 

  25. Ghosh, S., Hansen, J., (Raj) Rajkumar, R.,& Lehoczky, J. (2004). Integrated resource management and scheduling with multi-resource constraints. In The 25th IEEE International Real-Time Systems Symposium.

    Google Scholar 

  26. Hänninen, K., et al. (June 2008). The Rubus Component Model for Resource Constrained Real-Time Systems. In 3rd IEEE International Symposium on Industrial Embedded Systems.

    Google Scholar 

  27. Gonzalez Harbour, M., & Palencia, J. C. (December 2003). Response time analysis for tasks scheduled under EDF within fixed priorities. In 24th IEEE Real-Time Systems Symposium, pp. 200–209.

    Google Scholar 

  28. Henia, R., Hamann, A., Jersak, M., Racu, R., Richter, K., & Ernst, R. (2005). System level performance analysis—the symta/s approach. Computers and Digital Techniques, 152(2), 148–166.

    Article  Google Scholar 

  29. Henzinger, T. A., & Sifakis, J. (2006). The embedded systems design challenge. In 14th International Symposium on Formal Methods (FM), Lecture Notes in Computer Science (pp. 1–15). Berlin: Springer.

    Google Scholar 

  30. IEEE. (2014). IEEE Std. 802.1Q, IEEE standard for local and metropolitan area networks, bridges and bridged networks.

    Google Scholar 

  31. Iqbal, Z., Almeida, L., Marau, R., Behnam, M. & Nolte, T. (June 2012) Implementing hierarchical scheduling on COTS Ethernet switches using a master/slave approach. In 7th IEEE International Symposium on Industrial Embedded Systems.

    Google Scholar 

  32. Iqbal, Z., Almeida, L., & Behnam, M. (2015). Designing network servers within a hierarchical scheduling framework. In Proceedings of the 30th Annual ACM Symposium on Applied Computing.

    Google Scholar 

  33. ISO 11898-1. Road Vehicles—interchange of digital information—controller area network (CAN) for high-speed communication, ISO Standard-11898, Nov. 1993.

    Google Scholar 

  34. Joseph, M., & Pandya, P. (1986). Finding response times in a real-time system. The Computer Journal, 29(5), 390–395.

    Article  MathSciNet  Google Scholar 

  35. Ke, X., Sierszecki, K., & Angelov, C. (Aug. 2007). COMDES-II: A component-based framework for generative development of distributed real-time control systems. In 13th International Conference on Embedded and Real-Time Computing Systems and Applications.

    Google Scholar 

  36. Khalilzad, N., Ashjaei, M., Almeida, L. Behnam, M., & Nolte, T. (October 2015). Adaptive multi-resource end-to-end reservations for component-based distributed real-time systems. In 13th IEEE Symposium on Embedded Systems For Real-time Multimedia.

    Google Scholar 

  37. Apt, K. (2003). Principles of constraint programming. Cambridge: Cambridge University Press.

    Book  MATH  Google Scholar 

  38. Lakshmanan, K., & Rajkumar, R. (April 2008). Distributed resource kernels: OS support for end-to-end resource isolation. In IEEE Real-Time and Embedded Technology and Applications Symposium.

    Google Scholar 

  39. Lipari, G., & Bini, E. (July 2003). Resource partitioning among real-time applications. In Proceedings of 15th Euromicro Conference on Real-Time Systems.

    Google Scholar 

  40. Lipari, G., & Bini, E. (April 2005) A methodology for designing hierarchical scheduling systems. Journal of Embedded Computing—Real-Time Systems.

    Google Scholar 

  41. Liu, C. L., & Layland, J. W. (1973). Scheduling algorithms for multiprogramming in a hard-real-time environment. Journal of ACM, 20(1), 46–61.

    Article  MathSciNet  MATH  Google Scholar 

  42. Loeser, J., & Haertig, H. (June 2004) Low-latency hard real-time communication over switched ethernet. In 16th Euromicro Conference on Real-Time Systems.

    Google Scholar 

  43. Marau, R., Behnam, M., Iqbal, Z., Silva, P., Almeida, L., & Portugal, P. (May 2012). Controlling multi-switch networks for prompt reconfiguration. In 9th International Workshop on Factory Communication Systems.

    Google Scholar 

  44. Mubeen, S., Ashjaei, M., Nolte, T., Lundbãck, J., Gãlnander, M. & Lundbãck, K. L. (August 2016) Modeling of end-to-end resource reservations in component-based vehicular embedded systems. In 2016 42th Euromicro Conference on Software Engineering and Advanced Applications.

    Google Scholar 

  45. Mubeen, S., Lawson, H., Lundbäck, J. Gålnander, M., & Lundbäck, K. L. (May 2017). Provisioning of predictable embedded software in the vehicle industry: The rubus approach. In 2017 IEEE/ACM 4th International Workshop on Software Engineering Research and Industrial Practice (SER IP), pp. 3–9.

    Google Scholar 

  46. Mubeen, S., Mäki-Turja, J. & Sjödin, M. (2013). Support for end-to-end response-time and delay analysis in the industrial tool suite: Issues, experiences and a case study. Computer Science and Information Systems, 10(1).

    Google Scholar 

  47. Mubeen, S., Mäki-Turja, J., & Sjödin, M. (2014). Communications-oriented development of component-based vehicular distributed real-time embedded systems. Journal of Systems Architecture, 60(2), 207–220.

    Article  Google Scholar 

  48. Nolte, T., Nolin, M., & Hansson, H. A. (August 2005). Real-time server-based communication with CAN. IEEE Transactions on Industrial Informatics.

    Google Scholar 

  49. Oliveira, A. B., Azim, A., Fischmeister, S., Marau, R., & Almeida, L. (September 2014). D-RES: Correct transitive distributed service sharing. In IEEE Emerging Technology and Factory Automation.

    Google Scholar 

  50. Rajkumar, R., Lee, C., Lehoczky, J., & Siewiorek, D. (December 1997). A resource allocation model for QoS management. In The 18th IEEE Real-Time Systems Symposium.

    Google Scholar 

  51. Saewong, S., Rajkumar, R., Lehoczky, J. P., & Klein, M. H. (July 2002). Analysis of hierarchical fixed-priority scheduling. In Proceedings of the 14th Euromicro Conference on Real-Time Systems.

    Google Scholar 

  52. Santos, R., Behnam, M., Nolte, T., Pedreiras, P. & Almeida, L. (October 2011) Multi-level hierarchical scheduling in Ethernet switches. In Proceedings of the International Conference on Embedded Software.

    Google Scholar 

  53. Santos, R., Behnam, M., Nolte, T., Pedreiras, P. & Almeida, L. (2011). Multi-level hierarchical scheduling in ethernet switches. In 9th International Conference on Embedded Software.

    Google Scholar 

  54. Schulte, C., Tack, G., & Lagerkvist, M. Z. (March 2015). Modeling and programming with gecode. Technical report.

    Google Scholar 

  55. Sentilles, S., Vulgarakis, A., Bures, T., Carlson, J., & Crnkovic, I. (2008) A component model for control-intensive distributed embedded systems. In CBSE (pp. 310–317).

    Google Scholar 

  56. Sha, L., Abdelzaher, T., Årzén, K.-E., Cervin, A., Baker, T., Burns, A., et al. (2004). Real time scheduling theory: A historical perspective. Real-Time Systems, 28(2), 101–155.

    Article  MATH  Google Scholar 

  57. Shin, I., & Lee, I. (December 2003). Periodic resource model for compositional real-time guarantees. In 24th IEEE Real-Time Systems Symposium.

    Google Scholar 

  58. Sojka, M., Pša, P., Faggioli, D., Cucinotta, T., Checconi, F., Hanzálek, Z., et al. (April 2011). Modular software architecture for flexible reservation mechanisms on heterogeneous resources. Journal of System Architecture.

    Google Scholar 

  59. Sprunt, B., Sha, L., & Lehoczky, J. (1989). Aperiodic task scheduling for hard-real-time systems. Real-Time Systems Journal, 1(1), 27–60.

    Article  Google Scholar 

  60. Strosnider, J. K., Lehoczky, J. P., & Sha, L. (1995). The deferrable server algorithm for enhanced aperiodic responsiveness in hard real-time environments. IEEE Transactions on Computers, 44(1), 73–91.

    Article  MATH  Google Scholar 

  61. Scott, T. (May 2004). Chief Technology Officer, Information systems and services division, general motors co-operation. Keynote Talk. In CeBIT America Conference.

    Google Scholar 

  62. Wandeler, E., & Thiele, L. (2005). Real-time interfaces for interface-based design of real-time systems with fixed priority scheduling. In The 5th ACM International Conference on Embedded Software, EMSOFT ‘05.

    Google Scholar 

Download references

Acknowledgements

The research leading to this chapter has been supported by the Swedish Foundation for Strategic Research (SSF) within the project FIC and the Swedish Knowledge Foundation (KKS) within the project PreView. We would like to thank all our industrial partners, specially Arcticus Systems, Volvo Construction Equipment and BAE Systems Hägglunds, Sweden.

Author information

Authors and Affiliations

  1. Mälardalen University, Västerås, Sweden

    Mohammad Ashjaei & Saad Mubeen

  2. Qamcom Research and Technology, Stockholm, Sweden

    Nima Khalilzad

Authors
  1. Mohammad Ashjaei
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Nima Khalilzad
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Saad Mubeen
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Mohammad Ashjaei .

Editor information

Editors and Affiliations

  1. School of Cyberspace, Hangzhou Dianzi University, Hangzhou, Zhejiang, China

    Muhammad Alam

  2. Department of Electronics, Institut Supérieur des Sciences Appliquées et de Technologie de Sousse, Université de Sousse, Sousse , Tunisia

    Wael Dghais

  3. School of Cyberspace, Hangzhou Dianzi University, Hangzhou, Zhejiang, China

    Yuanfang Chen

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer International Publishing AG

About this chapter

Check for updates. Verify currency and authenticity via CrossMark

Cite this chapter

Ashjaei, M., Khalilzad, N., Mubeen, S. (2018). Modeling, Designing and Analyzing Resource Reservations in Distributed Embedded Systems. In: Alam, M., Dghais, W., Chen, Y. (eds) Real-Time Modelling and Processing for Communication Systems. Lecture Notes in Networks and Systems, vol 29. Springer, Cham. https://doi.org/10.1007/978-3-319-72215-3_9

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-72215-3_9

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-72214-6

  • Online ISBN: 978-3-319-72215-3

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation