skip to main content
Ngôn ngữ:
Giới hạn tìm kiếm: Giới hạn tìm kiếm: Dạng tài nguyên Hiển thị kết quả với: Hiển thị kết quả với: Chỉ mục

Providing tool support for specifying safety-critical systems by enforcing syntactic contract conditions

Westman, Jonas ; Nyberg, Mattias

Requirements Engineering, 2019, Vol.24(2), pp.231-256 [Tạp chí có phản biện]

ISSN: 0947-3602 ; E-ISSN: 1432-010X ; DOI: 10.1007/s00766-017-0286-6

Toàn văn sẵn có

Trích dẫn Trích dẫn bởi
  • Nhan đề:
    Providing tool support for specifying safety-critical systems by enforcing syntactic contract conditions
  • Tác giả: Westman, Jonas ; Nyberg, Mattias
  • Chủ đề: Syntactic ; Contracts ; Conditions ; Requirements engineering ; Specification ; Structuring ; Authoring ; Safety ; FuSa ; Architecture ; IEC 61508 ; ISO 26262 ; Elements ; Compositional ; Tool Support
  • Là 1 phần của: Requirements Engineering, 2019, Vol.24(2), pp.231-256
  • Mô tả: Functional safety standards such as IEC 61508 and ISO 26262 advocate a particularly stringent requirements engineering where safety requirements must be structured in a hierarchical manner and specified in accordance with the system architecture . In contrast to the stringent requirements engineering in functional safety standards, according to previous studies, requirements engineering in industry is in general of poor quality. Contracts theory has been previously shown to be suitable for supporting such a stringent requirements engineering effort; this support has also been implemented in tools. However, to use these contract-based tools, requirements must be formalized, which is a major challenge in industry. Therefore, to support current industrial requirements engineering practice and the stringent requirements engineering in functional safety standards, it is shown how tool support can be provided even when requirements, and also architectures, are not formalized. This is achieved by enforcing syntactic , yet formal, conditions in contracts theory. Despite the need for further validation, initial findings in an industrial case study indicate high potential in realizing the proposed support in an industrial setting.
  • Ngôn ngữ: English
  • Số nhận dạng: ISSN: 0947-3602 ; E-ISSN: 1432-010X ; DOI: 10.1007/s00766-017-0286-6

Đang tìm Cơ sở dữ liệu bên ngoài...