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 条

[21] Functional Safety System Design on EPS
Wu, Zhihong
Su, Xiezu
Zhu, Yuan
Luke
PROCEEDINGS OF SAE-CHINA CONGRESS 2016: SELECTED PAPERS, 2017, 418 : 647 - 664
[22] Electro-Mechanical Brake System Architectural Design and Analysis Based on Functional Safety of Vehicles
Peng, Jing
Wu, Tong
Chu, Liang
Rong, Jin
Yang, Xiaojun
Meng, Yang
ACTUATORS, 2024, 13 (09)
[23] A tool for detecting memory interference between AUTOSAR software components of different ASIL
Obradov, Anja
Pavkovic, Bogdan
2024 ZOOMING INNOVATION IN CONSUMER TECHNOLOGIES CONFERENCE, ZINC 2024, 2024, : 25 - 30
[24] Effectiveness of Control Flow Checking Algorithms Using a Model-Based Software Design Approach: An Empirical Study
Solouki, Mohammadreza Amel
Sini, Jacopo
Violante, Massimo
2022 29TH IEEE INTERNATIONAL CONFERENCE ON ELECTRONICS, CIRCUITS AND SYSTEMS (IEEE ICECS 2022), 2022,
[25] A Method of Calculating Safety Integrity Level for IEC 61508 Conformity Software
Fujiwara, Takaji
Kimura, Mitsuhiro
Satoh, Yoshinobu
Yamada, Shigeru
2011 IEEE 17TH PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING (PRDC), 2011, : 296 - 301
[26] Design and Implementation of Functional Safety for Repairable Systems
Julsereewong, Amphawan
Thepmanee, Teerawat
2018 57TH ANNUAL CONFERENCE OF THE SOCIETY OF INSTRUMENT AND CONTROL ENGINEERS OF JAPAN (SICE), 2018, : 1638 - 1643
[27] Adapting the FMEA for Safety Critical Design Processes
Bachmann, Ovi
Messner, Bernhardt
Messnarz, Richard
SYSTEMS, SOFTWARE AND SERVICES PROCESS IMPROVEMENT, 2011, 172 : 290 - 297
[28] Strategies for Analysis against Redundant Reused Codes in Safety-Critical Software
Liang, Xiao
2015 11TH INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE AND SECURITY (CIS), 2015, : 441 - 445
[29] Fault Grading Techniques of Software Test Libraries for Safety-Critical Applications
Floridia, Andrea
Sanchez, Ernesto
Reorda, Matted Sonza
IEEE ACCESS, 2019, 7 : 63578 - 63587
[30] Challenges in Assuring Highly Complex, High Volume Safety-Critical Software
MacGregor, John
Burton, Simon
COMPUTER SAFETY, RELIABILITY, AND SECURITY, SAFECOMP 2018, 2018, 11094 : 252 - 264

← 1 2 3 4 5 →