Advertisement

A Scenario Discovery Process Based on Traffic Sequence Charts

  • Werner Damm
  • Eike Möhlmann
  • Astrid RakowEmail author
Chapter

Abstract

We demonstrate on a small case study how the scenario subspace of a world model violating a safety property φ can be partitioned into a list of scenarios based on model checking and the Traffic Sequence Chart (TSC) formalism. The presented process therefore iteratively generates scenarios that cover a part of the not yet covered scenario space. The process is guided by counterexamples to the already established list of scenarios and φ. The tool-supported abstraction step of deriving a scenario from a concrete counterexample is driven by the predicates of the symbol dictionary, which is part of any TSC specification Damm et al. TSCs (i) directly provide a visualization of the generated candidate abstractions, to help an expert to determine the right level of abstraction and (ii) formally specify scenarios which enables the outlined analysis tasks supporting the scenario definition.

References

  1. 1.
    Bradfield, R., Wright, G., Burt, G., Cairns, G., Van Der Heijden, K.: The origins and evolution of scenario techniques in long range business planning. Futures 37(8), 795–812 (2005)CrossRefGoogle Scholar
  2. 2.
    Damm, W., Finkbeiner, B.: Does it pay to extend the perimeter of a world model? In: 17th International Symposium on Formal Methods, FM 2011. LNCS, vol. 6664, pp. 12–26. Springer, Berlin (2011)Google Scholar
  3. 3.
    Damm, W., Galbas, R.: Exploiting learning and scenario-based specification languages for the verification and validation of highly automated driving. In: Proceedings of the 1st International Workshop on Software Engineering for AI in Autonomous Systems, SEFAIS. ACM, New York (2018)Google Scholar
  4. 4.
    Damm, W., Heidel, P.: Recommendations of the SafeTRANS working group on highly autonomous systems (2017). www.safetrans-de.org/en/Latest-reports/management-summary-for-highly-automated-systems/192
  5. 5.
    Damm, W., Kemper, S., Möhlmann, E., Peikenkamp, T., Rakow, A.: Traffic sequence charts—from visualization to semantics. Reports of SFB/TR 14 AVACS 117, SFB/TR 14 AVACS, 10 2017Google Scholar
  6. 6.
    Damm, W., Möhlmann, E., Rakow, A.: Traffic sequence charts for the enable-s3 test architecture. Technical report, 2018. Submitted to ENABLES bookGoogle Scholar
  7. 7.
    Damm, W., Möhlmann, E., Peikenkamp, T., Rakow, A.: A formal semantics for traffic sequence charts. In: Principles of Modelling Essays dedicated to Edmund A. Lee on the Occasion of his 60th Birthday. LNCS. Springer, Berlin (2017)Google Scholar
  8. 8.
    Fränzle, M.: Analysis of hybrid systems: an ounce of realism can save an infinity of states. In: Computer Science Logic, pp. 126–139. Springer, Berlin (1999)CrossRefGoogle Scholar
  9. 9.
    Harel, D., Marelly, R.: Come, Let’s Play: Scenario-Based Programming Using LSC’s and the Play-Engine. Springer, Berlin (2003)CrossRefGoogle Scholar
  10. 10.
    Harel, D., Lampert, R., Marron, A., Weiss, G.: Model-checking behavioral programs. In: Proceedings of the Ninth ACM International Conference on Embedded Software, EMSOFT ’11, pp. 279–288. ACM, New York (2011)Google Scholar
  11. 11.
    Jackson, D.: Software Abstractions: Logic, Language, and Analysis. MIT Press, Cambridge (2006)Google Scholar
  12. 12.
    Kam, N.A., Harel, D., Kugler, H., Marelly, R., Pnueli, A., Hubbard, J.A., Stern, M. J.: Formal modeling of c. elegans development: a scenario-based approach. In: Computational Methods in Systems Biology, pp. 4–20. Springer, Berlin (2003)CrossRefGoogle Scholar
  13. 13.
    Kwakkel, J.H., Jaxa-Rozen, M.: Improving scenario discovery for handling heterogeneous uncertainties and multinomial classified outcomes. Environ. Model. Softw. 79, 311–321 (2016)CrossRefGoogle Scholar
  14. 14.
    Macedo, N., Cunha, A., Guimarães, T.: Exploring scenario exploration. In: Fundamental Approaches to Software Engineering. LNCS, vol. 9033, pp. 301–315. Springer, Berlin (2015)CrossRefGoogle Scholar
  15. 15.
    Olderog, E.-R., Ravn, A.P., Wisniewski, R.: Linking discrete and continuous models, applied to traffic manoeuvrers. In: Provably Correct Systems, NASA Monographs in Systems and Software Engineering, pp. 95–120. Springer, Berlin (2017)Google Scholar

Copyright information

© Springer Nature Switzerland AG 2020

Authors and Affiliations

  1. 1.OFFIS – Institute for Information TechnologyOldenburgGermany
  2. 2.Carl von Ossietzky University of OldenburgOldenburgGermany

Personalised recommendations