Logo PTI
Polish Information Processing Society
Logo FedCSIS

Annals of Computer Science and Information Systems, Volume 11

Proceedings of the 2017 Federated Conference on Computer Science and Information Systems

Simulation Driven Development -- Validation of requirements in the early design stages of complex systems -- the example of the German Toll System

, ,

DOI: http://dx.doi.org/10.15439/2017F133

Citation: Proceedings of the 2017 Federated Conference on Computer Science and Information Systems, M. Ganzha, L. Maciaszek, M. Paprzycki (eds). ACSIS, Vol. 11, pages 11271134 ()

Full text

Abstract. Looking at the end-to-end processing, typical software-intensive systems are built as a system-of-systems where each sub-system specializes according to both the business and technology perspective. One challenge is the integration of all systems into a single system -- crossing technological and organizational boundaries as well as functional domains. To facilitate the successful integration we propose the use of simulation models in parallel to the existing software engineering procedures. As an example we look at the German tolling system for heavy goods vehicles (HGVs) -- a liability-critical system consisting of some 60 sub-systems including a fleet of more than 1000000 on-board units deployed in the HGVs. Since its start in 2005 the system regularly undergoes changes and updates. To mitigate the associated costs and risks we developed a microscopic discrete event simulation (DES) model of the tolling system and use it to support both the design of planned changes and the monitoring of the day-to-day operations. The model includes the dynamic aspects of the tolling system and HGVs interacting with the system. In the article we discuss the use of realistic simulation models as part of the system design process. Since simulations are heavily used by the design process it is called Simulation Driven Development (SDD).

References

  1. B. Boehm, “A view of 20th and 21st century software engineering”, in Proceedings of the 28th international conference on Software engineering, ACM, 2006, pp. 12–29. http://dx.doi.org/10.1145/1134285.1134288.
  2. R. L. Glass, “The standish report: Does it really describe a software crisis?”, Communications of the ACM, vol. 49, no. 8, pp. 15–16, 2006. DOI : 10.1145/1145287.1145301.
  3. A. Sikora and R. Drechsler, Software-Engineering und Hardware-Design – eine systematische Einführung. Fachbuchverlag Leipzig, 2002, ISBN: 978-3446218611.
  4. W. Ecker, W. Müller, and R. Dömer, Hardware-dependent Software. Netherlands: Springer, 2009, ISBN: 978-1-4020-9435-4. http://dx.doi.org/10.1007/978-1-4020-9436-1.
  5. G. Piccoli and B. Ives, “IT-dependent strategic initiatives and sustained competitive advantage: A review and synthesis of the literature”, MIS Quarterly, vol. 29, no. 4, pp. 747–776, 2005, ISSN: 0276-7783.
  6. T. Baumann, “Simulation-driven design of distributed systems”, SAE International, SAE Technical Paper, 2011, pp. 1–7. http://dx.doi.org/10.4271/2011-01-0458.
  7. D. Gelperin and B. Hetzel, “The growth of software testing.”, Communications of the ACM, vol. 31, no. 6, pp. 687–695, 1988, ISSN: 00010782.
  8. K. Beck, Test-driven development: by example. Addison-Wesley Professional, 2003.
  9. T. Baumann, Automatisierung der frühen Entwurfsphasen verteilter Systeme. Saarbrücken, Germany: Südwestdeutscher Verlag für Hoch­schulschriften, 2009, ISBN : 978-3-8381-1266-4.
  10. I. Sommerville, Software Engineering, 9th edition. Boston: Addison-Wesley Longman, 2010, ISBN: 978-0137053469.
  11. J. Beatty and K. Wiegers, Software Requirements, 3rd. Redmond: Microsoft Press, 2013, ISBN: 978-0735679665.
  12. M. Glinz, “On non-functional requirements”, in 15th IEEE Inter­national Requirements Engineering Conference, (Delhi), Oct. 2007, pp. 21–26, ISBN: 978-0-7695-2935-6. http://dx.doi.org/10.1109/RE.2007.45.
  13. I. Jacobson, G. Booch, and J. Rumbaugh, The Unified Software Development Process. Reading, MA: Addison Wesley, 1999, ISBN: 978-0201571691.
  14. A. Avizienis, J.-C. Laprie, B. Randell, and C. Landwehr, “Basic concepts and taxonomy of dependable and secure computing”, IEEE Transactions on Dependable and Secure Computing, vol. 1, no. 1, pp. 11–33, 2004, ISSN: 1545-5971. DOI : 10.1109/TDSC.2004.2.
  15. B. Pfitzinger, T. Baumann, D. Macos, and T. Jestädt, “Using parameter optimization to calibrate a model of user interaction”, in Proceedings of the 2014 Federated Conference on Computer Science and Information Systems, M. P. M. Ganzha L. Maciaszek, Ed., ser. Annals of Computer Science and Information Systems, vol. 2, IEEE, Sep. 2014, pp. 1111–1116, ISBN: 978-83-60810-58-3. http://dx.doi.org/10.15439/2014F123.
  16. H. Balzert, Lehrbuch der Softwaretechnik: Basiskonzepte und Require ments Engineering. Springer, 2008, ISBN: 978-3-8274-2247-7. http://dx.doi.org/10.1007/978-3-8274-2247-7.
  17. D. L. Dvorak, “NASA study on flight software complexity”, 6th AIAA InfotechAerospace Conference, Seattle, Washington, Apr. 9, 2009. http://dx.doi.org/10.2514/6.2009-1882.
  18. E. Hull, K. Jackson, and J. Dick, Requirements Engineering, 3rd ed. London: Springer, 2011. http://dx.doi.org/10.1007/978-1-84996-405-0.
  19. O. Gotel, J. Cleland-Huang, J. Hayes, A. Zisman, A. Egyed, P. Grün­bacher, A. Dekhtyar, G. Antoniol, J. Maletic, and P. Mäder, “Traceability fundamentals”, in Software and Systems Traceability, J. Cleland-Huang, O. Gotel, and A. Zisman, Eds., London: Springer, 2012, pp. 3–22, ISBN: 978-1-4471-2238-8. DOI : 10.1007/978-1-4471-2239-5 1.
  20. Bundesstelle für Informationstechnik, Zusammenarbeit mit IT-Organisation und Betrieb, [accessed 09-Jul-2014], V-Modell XT Bund, Bundesministerium des Innern, Sep. 20, 2013. [Online]. Available: http://gsb.download.bva.bund.de/BIT/V-Modell_XT_Bund/V-Modell%20XT%20Bund%20HTML/f4a3125029a3017.html.
  21. F. J. Brooks, “No silver bullet: Essence and accidents of software engineering”, IEEE Software, vol. 20, no. 4, pp. 10–19, Apr. 1987, ISSN : 0018-9162. http://dx.doi.org/10.1109/MC.1987.1663532.
  22. D. Thomas and A. Hunt, The Pragmatic Programmer: From journeyman to master. Boston, MA: Addison-Wesley Professional, 1999, ISBN : 978-0201616224.
  23. H. Sneed, “Testing against natural language requirements”, in QSIC ’07. Seventh International Conference on Quality Software, 2007, Oct. 2007, pp. 380–387. DOI : 10.1109/QSIC.2007.4385524.
  24. J. M. Spivey, The Z Notation: A Reference Manual. Upper Saddle River, NJ, USA: Prentice-Hall, Inc., 1989, ISBN : 0-13-983768-X.
  25. C. B. Jones, Systematic Software Development Using VDM, 2nd ed. Upper Saddle River, NJ, USA: Prentice-Hall, Inc., 1990, ISBN: 0-13-880733-7.
  26. ISO, “ISO 8807:1989, information processing systems – open systems interconnection – LOTOS: A formal description technique based on the temporal ordering of observational behaviour”, International Organization for Standardization, Geneva, Switzerland, ISO 8807, Sep. 1989.
  27. J.-R. Abrial, The B-book: Assigning Programs to Meanings. New York, NY, USA: Cambridge University Press, 1996, ISBN : 0-521-49619-5.
  28. G. J. Myers and C. Sandler, The Art of Software Testing. Hoboken, NJ: John Wiley & Sons, 2004, ISBN: 0471469122.
  29. C.-C. Lee and J. Friedman, “Requirements modeling and automated requirements-based test generation”, SAE Int. J. Aerosp., vol. 6, pp. 607–615, Sep. 2013. http://dx.doi.org/10.4271/2013-01-2237.
  30. E. M. Clarke Jr., O. Grumberg, and D. A. Peled, Model Checking. Cambridge, MA, USA: MIT Press, 1999, ISBN : 0-262-03270-8.
  31. W. Howden, “Functional program testing”, IEEE Transactions on Software Engineering, vol. SE-6, no. 2, pp. 162–169, Mar. 1980, ISSN: 0098-5589. DOI : 10.1109/TSE.1980.230467.
  32. E. T. Barr, M. Harman, P. McMinn, M. Shahbaz, and S. Yoo, “The oracle problem in software testing: A survey”, IEEE Transactions on Software Engineering, vol. 41, no. 5, pp. 507–525, May 2015, ISSN: 0098-5589. DOI : 10.1109/TSE.2014.2372785.
  33. C. Larman and V. R. Basili, “Iterative and incremental development: A brief history”, Computer, vol. 36, no. 6, pp. 47–56, Jun. 11, 2003, ISSN: 0018-9162. DOI : 10.1109/MC.2003.1204375.
  34. S. G. Alawneh and D. K. Peters, “Using test oracles and formal specifications with test-driven development.”, International Journal of Software Engineering & Knowledge Engineering, vol. 23, no. 3, pp. 361–385, 2013, ISSN: 02181940. http://dx.doi.org/10.1142/S0218194013500113.
  35. D. Janzen and H. Saiedian, “Test-Driven Development: Concepts, taxonomy, and future direction”, Computer, vol. 38, no. 9, pp. 43–50, Sep. 2005, ISSN: 0018-9162. DOI : 10.1109/MC.2005.314.
  36. CEN, ISO/TS 17575-1:2010 Electronic fee collection - Application interface definition for autonomous systems - part 1: Charging. Geneva, Switzerland: CEN, 2010.
  37. M. Hobday, A. Davies, and A. Prencipe, “Systems integration: A core capability of the modern corporation”, Industrial and corporate change, vol. 14, no. 6, pp. 1109–1143, Dec. 2005. http://dx.doi.org/10.1093/icc/dth080.
  38. L. Lamport, Distribution, e-mail message, [accessed 16-Nov-2014], May 1987. [Online]. Available: http://research.microsoft.com/en-us/um/people/lamport/pubs/distributed-system.txt.
  39. D. Griffin and A. Tversky, “The weighing of evidence and the determinants of confidence”, Cognitive Psychology, vol. 24, no. 3, pp. 411–435, 1992. DOI : 10.1016/0010-0285(92)90013-R.
  40. B. Pfitzinger, T. Baumann, D. Macos, and T. Jestädt, “Using simulations to study the efficiency of update control protocols”, in 2014 47th Hawaii International Conference on System Sciences (HICSS), Jan. 2014, pp. 5154–5161. http://dx.doi.org/10.1109/HICSS.2014.634.
  41. B. Pfitzinger, T. Baumann, D. Macos, and T. Jestädt, “Modeling regional reliability of 2G, 3G, and 4G mobile data networks and its effect on the German automatic tolling system”, in 2015 48th Hawaii International Conference on System Sciences (HICSS), Jan. 2015, pp. 5439–5445. http://dx.doi.org/10.1109/HICSS.2015.640.