Safety Contract Based Design of Software Components

被引：0

作者：

Soderberg, Andreas ^{[1
]}

Johansson, Rolf ^{[1
]}

机构：

[1] SP Tech Res Inst Sweden, SP Elect, Boras, Sweden

来源：

2013 IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW) | 2013年

关键词：

Functional safety; safety-relevant software; safety contract; safety certification;

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

In this paper we discuss how to use a modified design methodology for contract based design (CBD) intended for development of software and component based systems by use of so called safety contracts. The primary purpose is to make a proposal on how to integrate safety contracts in a, for a tool, implementable way for automatic safety contract verification. This development technique is called safety contract based design (SCBD) in this paper. Focus is to discuss the similarities and differences between the actual contents in conventional CBD-contracts and safety contracts, and rules for how to verify agreements of safety contracts and how to ensure safety contract validity.

引用

页码：365 / 370

页数：6

共 50 条

[41] Operational Access to SIS Components - Case Study: SIL 3 Safety Instrumented Function
Gabriel, Thomas
Versteegen, Gerhard
Schroers, Bernd
ATP EDITION, 2012, (7-8): : 26 - 33
[42] Fire Protection Systems functional safety requirements in performance-based design: proposed workflow and a simple case application
Fiorentini, Luca
Cancelliere, Piergiacomo
4TH EUROPEAN SYMPOSIUM ON FIRE SAFETY SCIENCE, 2024, 2885
[43] Functional Safety Management in Microcontroller Design and Development Process: the Case of Safety-critical Vehicle Systems
Zhou, Binghai
Zhai, Ziqing
ADVANCES IN CIVIL ENGINEERING, PTS 1-6, 2011, 255-260 : 2179 - +
[44] METHODOLOGY OF DEVELOPMENT AND VALIDATION OF SOFTWARE FOR SAFETY-RELATED PARTS OF CONTROL SYSTEMS IN STAGE TECHNOLOGY
Drlik, Michal
MM SCIENCE JOURNAL, 2019, 2019 : 3673 - 3678
[45] UP2DATE software updating framework compliance with safety and security regulations and standards
Agirre, Irune
Calderon, Alejandro J.
Yarza, Irune
Mugarza, Imanol
Garcia, David
Borracci, Lucas
Uven, Patrick
Jover, Alvaro
2023 26TH EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN, DSD 2023, 2023, : 399 - 406
[46] Integrated brake system functional safety analysis, design and validation
Duan, Jianyu
Zhen, Wang
Xiaopu, Jing
Nan, Jiangfeng
PROCEEDINGS OF THE INSTITUTION OF MECHANICAL ENGINEERS PART D-JOURNAL OF AUTOMOBILE ENGINEERING, 2025,
[47] Design for safety and security of complex embedded systems: A unified approach
Schoitsch, E
Cyberspace Security and Defense: Research Issues, 2005, 196 : 161 - 174
[48] A SysML-based approach to traceability management and design slicing in support of safety certification: Framework, tool support, and case studies
Nejati, Shiva
Sabetzadeh, Mehrdad
Falessi, Davide
Briand, Lionel
Coq, Thierry
INFORMATION AND SOFTWARE TECHNOLOGY, 2012, 54 (06) : 569 - 590
[49] SLOPE: Safety LOg PEripherals implementation and software drivers for a safe RISC-V microcontroller unit
Cosimi, Francesco
Arena, Antonio
Saponara, Sergio
Gai, Paolo
MICROPROCESSORS AND MICROSYSTEMS, 2024, 110
[50] The Design and Implementation of Corps Geospatial Data Sharing of Safety-Certified
Deng, Hong-tao
Li, Wei
Zhao, Qin-zhan
INTERNATIONAL CONFERENCE ON COMPUTER, NETWORK SECURITY AND COMMUNICATION ENGINEERING (CNSCE 2014), 2014, : 101 - 106

← 1 2 3 4 5 →