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 条

[1] Optimization Techniques and Formal Verification for the Software Design of Boolean Algebra Based Safety-Critical Systems
Perez, Jon
Flores, Jose Luis
Blum, Christian
Cerquides, Jesus
Abuin, Alex
IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2022, 18 (01) : 620 - 630
[2] Model-Based Analysis for Safety Critical Software
Gulan, Stefan
Harnisch, Jens
Johr, Sven
Kretschmer, Roberto
Rieger, Stefan
Zalman, Rafael
COMPUTER SAFETY, RELIABILITY, AND SECURITY, SAFECOMP 2015, 2015, 9337 : 111 - 120
[3] Quantitative Assessment for Software Safety Integrity Level Based on Functional Safety Standards
Nishikawa, Takahiro
Fujiwara, Takaji
Yamada, Shigeru
PROCEEDINGS 18TH ISSAT INTERNATIONAL CONFERENCE ON RELIABILITY & QUALITY IN DESIGN, 2012, : 283 - +
[4] Product-based Safety Certification for Medical Devices Embedded Software
Neto, Jose Augusto
Damasio, Jemerson Figueiredo
Monthaler, Paul
Morais, Misael
MEDINFO 2015: EHEALTH-ENABLED HEALTH, 2015, 216 : 227 - 231
[5] Model-Based Contract and Service for Self-managed Components in Cyber-Physical Systems
Chen, DeJiu
COMPUTER SAFETY, RELIABILITY, AND SECURITY, SAFECOMP 2016, 2016, 9923
[6] Safety Verification Method for Priority-Based Real-Time Software
Narisawa, Fumio
Ueda, Yoshikazu
NEW TRENDS IN INTELLIGENT SOFTWARE METHODOLOGIES, TOOLS AND TECHNIQUES, 2017, 297 : 409 - 424
[7] On the Safety of Automotive Systems Incorporating Machine Learning based Components A position paper
Gharib, Mohamad
Lollini, Paolo
Botta, Marco
Amparore, Elvio
Donatelli, Susanna
Bondavalli, Andrea
2018 48TH ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS WORKSHOPS (DSN-W), 2018, : 271 - 274
[8] Consistent Cost Estimation for the Automotive Safety Model based Software Development Life cycle
Cortese, Demetrio
THIRD INTERNATIONAL CONFERENCE ON ADVANCES AND TRENDS IN SOFTWARE ENGINEERING (SOFTENG 2017), 2017, : 88 - 95
[9] Development of a Functional Safety Software Layer for the Control of an Electric In-wheel Motor Based Powertrain
Klaasse, S.
Kwintenberg, G.
Barosan, I
2018 IEEE 15TH INTERNATIONAL CONFERENCE ON SOFTWARE ARCHITECTURE COMPANION (ICSA-C 2018), 2018, : 144 - 147
[10] Study and Design on Self-diagnostic Based Safety Pressure Transmitter
Song, Yan
Li, Jinli
Xu, Aidong
Wang, Tianran
Wang, Kai
Yang, Zhijia
PROCEEDINGS OF THE AASRI INTERNATIONAL CONFERENCE ON INDUSTRIAL ELECTRONICS AND APPLICATIONS (IEA 2015), 2015, 2 : 130 - 134

← 1 2 3 4 5 →