A Formal Semantics for Traffic Sequence Charts

Damm, Werner; Möhlmann, Eike; Peikenkamp, Thomas; Rakow, Astrid

doi:10.1007/978-3-319-95246-8_11

Cited by 30 publications

(13 citation statements)

References 18 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Traffic Sequence Charts (TSC) [41] are a declarative specification language designed to be intuitively understandable through the visualization of scenarios. They are based on formal semantics [42] and aim to support the testing of a developed driving system by specifying a scenario catalog that contains the test cases in which the vehicle under test is examined to show the expected behavior. A TSC specification consists of a formal world model that defines the entities that can be used, a visual specification of scenarios and/or rules and restrictions, and a symbol dictionary that defines the connection between the visual symbols and the entities of the world model.…”

Section: Traffic Sequence Chartsmentioning

confidence: 99%

Towards a Model-Based Multi-Layered Approach to Describe Traffic Scenarios on a Technical Level

Reiher

Hahn

2021

JMSE

View full text Add to dashboard Cite

Highly automated vehicles are increasingly gaining the public’s attention. To achieve broad acceptance for the deployment of such vehicles, it is necessary to ensure their functionality and safety. One approach that has become popular in research is the scenario-based approach. However, manual testing of such complex systems is impractical and time-consuming. Using simulations to run and evaluate such scenarios appears to be the most viable approach. This, in turn, raises new challenges, especially in modeling the scenarios to be tested simulatively and incorporating the system under test as part of these. Since existing solutions do not solve these challenges satisfactorily—due to the strict separation of scenario and simulation model, among other reasons—this work addresses the need for a standardized, holistic, and extensible approach for modeling traffic scenarios to be executed simulatively. Requirements for such an approach are identified with focus on its application in simulation- and scenario-based verification and validation. Based on these, a model-based multi-layered approach is proposed. The foundations of this are then implemented utilizing a Meta Object Facility based heavyweight extension of the Unified Modeling Language metamodel. The resulting metamodel is used to demonstrate the applicability of the proposed approach by modeling a maritime traffic scenario.

show abstract

Section: Traffic Sequence Chartsmentioning

confidence: 99%

Towards a Model-Based Multi-Layered Approach to Describe Traffic Scenarios on a Technical Level

Reiher

Hahn

2021

JMSE

View full text Add to dashboard Cite

show abstract

“…In the context of autonomous systems, some progress along these lines can be found in, e.g., traffic sequence charts (27), US National Highway Traffic Safety Administration scenarios (28), autoware software for AVs (29), and open source simulators like CARLA (3). Each of these uses its own terms and concepts as building blocks in a bottom-up tool construction.…”

Section: Next-generation Autonomous Systemsmentioning

confidence: 99%

Autonomics: In search of a foundation for next-generation autonomous systems

Harel

Marron

Sifakis

2020

Proc. Natl. Acad. Sci. U.S.A.

View full text Add to dashboard Cite

The potential benefits of autonomous systems are obvious. However, there are still major issues to be dealt with before developing such systems becomes a commonplace engineering practice, with accepted and trustworthy deliverables. We argue that a solid, evolving, publicly available, community-controlled foundation for developing next-generation autonomous systems is a must, and term the desired foundation “autonomics.” We focus on three main challenges: 1) how to specify autonomous system behavior in the face of unpredictability; 2) how to carry out faithful analysis of system behavior with respect to rich environments that include humans, physical artifacts, and other systems; and 3) how to build such systems by combining executable modeling techniques from software engineering with artificial intelligence and machine learning.

show abstract

“…In traffic-related applications (such as the implementation of maneuvers of a platoon of vehicles on a highway), it is especially important to express spatial properties and constraints. Traffic Sequence Charts (TSCs) are a visual formalism that allows intuitive and concise specification of traffic scenarios based on a formal semantics [Damm et al 2018]. TSCs are based on acyclic graphs of chart nodes.…”

Section: Scenarios Can Be Described By Use Case Modelsmentioning

confidence: 99%

Modeling and Analyzing Context-Sensitive Changes during Runtime

Wehrstedt

Brings

Caesar

et al. 2020

Model-Based Engineering of Collaborative Embedded Systems

View full text Add to dashboard Cite

For collaborative embedded systems, it is essential to consider not only the behavior of each system and the interaction between systems, but also the interaction of systems with their often dynamic and unknown context.In this chapter, we present a solution approach based on process building blocks— describing both the modelling approach as well as the model execution approach—for engineering and operation to achieve the goal of developing systems that deal with dynamics in their open context at runtime by re-using the models from the engineering phase.

show abstract

A Formal Semantics for Traffic Sequence Charts

Cited by 30 publications

References 18 publications

Towards a Model-Based Multi-Layered Approach to Describe Traffic Scenarios on a Technical Level

Towards a Model-Based Multi-Layered Approach to Describe Traffic Scenarios on a Technical Level

Autonomics: In search of a foundation for next-generation autonomous systems

Modeling and Analyzing Context-Sensitive Changes during Runtime

Contact Info

Product

Resources

About