Context and Motivation: The advent of automated vessels or Maritime Autonomous Surface Ships (MASS) brings new challenges for requirements engineering. In addition to classical, more technical requirements, now a vessel’s behaviour, including its interactions with infrastructure and other traffic participants, has to be taken into account. Relevant requirements can be described in terms of traffic scenarios. Problem: Formal specification of these traffic scenarios provides the basis for clear communication and objective evaluation of behavioural requirements, which is crucial to ensure trustworthiness of MASS. However, there currently is no domain-specific language suitable for this task. Principal Ideas/Results: Initially presented for the automotive domain, Traffic Sequence Charts (TSCs) are a domain-specific visual modelling language for the formal specification of traffic scenarios. In this paper, we present Maritime TSCs, an extension of classical TSCs to the maritime domain, and show that they are suitable for the formal specification of important maritime traffic rules. Contribution: With Maritime TSCs we provide a visual formal language for the specification of maritime traffic scenarios. This language enables clear communication of requirements between stakeholders and automatic, objective evaluation of vessel behaviour.

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

A Visual Formalism for the Specification of Maritime Traffic Scenarios

  • Anna Austel,
  • Georg Hake,
  • Nina Wetzig

摘要

Context and Motivation: The advent of automated vessels or Maritime Autonomous Surface Ships (MASS) brings new challenges for requirements engineering. In addition to classical, more technical requirements, now a vessel’s behaviour, including its interactions with infrastructure and other traffic participants, has to be taken into account. Relevant requirements can be described in terms of traffic scenarios. Problem: Formal specification of these traffic scenarios provides the basis for clear communication and objective evaluation of behavioural requirements, which is crucial to ensure trustworthiness of MASS. However, there currently is no domain-specific language suitable for this task. Principal Ideas/Results: Initially presented for the automotive domain, Traffic Sequence Charts (TSCs) are a domain-specific visual modelling language for the formal specification of traffic scenarios. In this paper, we present Maritime TSCs, an extension of classical TSCs to the maritime domain, and show that they are suitable for the formal specification of important maritime traffic rules. Contribution: With Maritime TSCs we provide a visual formal language for the specification of maritime traffic scenarios. This language enables clear communication of requirements between stakeholders and automatic, objective evaluation of vessel behaviour.