A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Tool Qualification Considerations for Tools Supporting STPA
2015
Procedia Engineering
Preserved Fulltext
We found that the qualification of this tool according to the mentioned safety standards was not straightforward and required further analysis. ...
approaches of safety standards IEC 61508, EN 50128, DO-178C/DO-330 and ISO 26262. ...
Acknowledgements The project is funded by the Swiss Commission for Technology and Innovation (CTI), project grant number 15822.1 PFIW-IW, and by Curtiss-Wright Drive Technology GmbH, Switzerland. ...
doi:10.1016/j.proeng.2015.11.500
fatcat:dhe7zbapcbg2ng7vyczlt3broq
A Study on Compiler Selection in Safety-critical Redundant System based on Airworthiness Requirement
2011
Procedia Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
This paper proposes a method for compiler selection in safety-critical embedded redundant system based on airworthiness requirement and the principle of software diversity. ...
The dependability of compiler would directly affect the quality of software because it can directly produce object code. ...
Acknowledgement The authors thank Professor Jin for his meaningful advising and Shaojun Li for his positive involvement of the discussion. ...
doi:10.1016/j.proeng.2011.10.060
fatcat:woklpmqz7nglno76oyvilqbgcq
Tools and Methods for Validation and Verification as requested by ISO26262
2011
Softwaretechnik-Trends
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
The following article will have a look on methods for validation and verification of software requested for safety related systems by ISO26262 (1) (or similar standards) and will point out how some dedicated ...
tools from ETAS may help to fulfill and implement these. ...
The standard consists of 10 parts, covering the full lifecycle of E/E/PE safety related systems from functional safety management over concept, design and development to production and operation. ...
dblp:journals/stt/GebhardtK11
fatcat:idw7xmuuhfdqxjqvltv4r6fbqu
A Comprehensive Safety Engineering Approach for Software-Intensive Systems Based on STPA
2015
Procedia Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Other Versions
Formal verification and testing are complementary approaches which are used in the development process to verify the functional correctness of software. ...
The proposed approach can be embedded within a defined software engineering process or applied to existing software systems, allow software and safety engineers integrate the analysis of software risks ...
To assure that these software-related hazardous causes cannot occur in a system, safety verification and testing activities include a demonstration of whether the software design and implementation meet ...
doi:10.1016/j.proeng.2015.11.498
fatcat:ucnu5llygjfi7dlnyvmgiwk3zm
Safety of computer control systems: challenges and results in software development
2003
Annual Reviews in Control
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
The discussion covers various aspects of the software development process, as opposed to the product features. ...
This paper reviews some results in improving software safety in computer control systems. ...
test plans and procedures to satisfy the intent of the software safety verification requirements. • Introduce any necessary corrective actions resulting from the software safety verification. ...
doi:10.1016/s1367-5788(03)00004-x
fatcat:mtuoxdn7vndrjikbugrlemt3ju
Hardware certification for real-time safety-critical systems: State of the art
2010
Annual Reviews in Control
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
to hardware verification. ...
Extensive literature review of the subject is given, including current views on and experiences of chip manufacturers and EDA industry with qualification of hardware design tools, including formal approaches ...
Findings contained herein are not necessarily those of the FAA. The authors are grateful to the anonymous reviewers for constructive comments. ...
doi:10.1016/j.arcontrol.2009.12.003
fatcat:tqz3ftovubcclcsuu5bypjlelm
Specifics of modern security requirements for software of electronic machine control systems
2021
INCAS Bulletin
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Testing has been determined as the main method of verification of application software. ...
This study analyses the main requirements of IEC 61508 and IEC 62061 standards for compliance with modern safety requirements of embedded and applied software for electronic control systems of machines ...
related to the software application; 3) apply change control procedures for: -prevention of unauthorised changes; -requests to change documents; -analysis of the impact of the changes proposed, and in ...
doi:10.13111/2066-8201.2021.13.s.9
fatcat:7xwur6omxre7vpb3ndtkbed3la
A Survey on Formal Specification and Verification of Smart Mass Transit Railway Interlocking System
2021
International Journal of Safety and Security Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
The reliability and safety of such interlocking systems are made on the precise functional requirements specification and verification respectively. ...
The reliability of software being used in such mass transit rail is crucial for us, specifically when software crashes may lead to catastrophic loss of human life and assets. ...
Literature review of white papers In the white paper entitled "Safety Verification Methods for Rail Control Software", [62] they outlined the safety verification practices usually applied in rail control ...
doi:10.18280/ijsse.110607
fatcat:yrzjfd3w5net7kpj54ko4nl7hu
Construction of methods for ensuring the required level of safety integrity in the automated systems of control over technological processes
2019
Eastern-European Journal of Enterprise Technologies
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Verification and approbation of the proposed methods and program tools were carried out. ...
The software tools that make it possible to realize the relations of protocols and to determine the integrated level of the safe work of ASCTP were developed. ...
doi:10.15587/1729-4061.2019.187716
fatcat:5hzmrxdaqvhljcnuw6ei77dkoi
Method for Verifying System Requirement Specifications Based on Train Control System Safety Requirements
2013
Quarterly Report of RTRI
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Moreover, to apply this method efficiently, a support tool was built to verify safety requirements, and which displays safety verification items to be checked in the system requirement specifications automatically ...
In this paper, in order to conduct this appropriately, the template of safety requirements and a method of verifying the specifications of the system requirements with this template are proposed. ...
System requirement specification errors were traced back to the software specifications used with the hardware, Fig. 1 Factors related to software and the specifications defining the input-output control ...
doi:10.2219/rtriqr.54.91
fatcat:gxfrh5g4tzgdfnky2qotuyknru
Present and future requirements in developing industrial embedded real-time systems - interviews with designers in the vehicle domain
2006
13th Annual IEEE International Symposium and Workshop on Engineering of Computer-Based Systems (ECBS'06)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
This study shows that reliability and safety are the main properties in focus during development. It also shows that the amount of functionality has been increasing in the examined systems. ...
Consequently, the complexity will increase, and with diverging requirements, more heterogeneous development methods are called for to fulfil all application specific requirements. ...
In the future software development strategies, methods and tools must be able to capture the different diverse requirements of the applications and trends in the application domains. ...
doi:10.1109/ecbs.2006.56
dblp:conf/ecbs/HanninenMN06
fatcat:eesa6v3sm5br7op4fma2ipier4
Formal Verification of Nuclear Systems: Past, Present, and Future
2012
Information & Security An International Journal
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
We discuss how the formal methods were integrated into the forward going software development process and techniques that were used to manage the complexity of the verification task. ...
Custom tools were developed to process the SRS and SDD documents to produce "block theorems" for the PVS theorem prover that were used to verify the majority of the functional requirements. ...
The process control is performed by a separate Digital Control Computer (DCC) since it is not as critical. This design follows the principle of separation of safety and control. ...
doi:10.11610/isij.2818
fatcat:wgcny4acxzdxdkkhygkqz3465e
Methods for Safe Control Systems Design and Implementation
2001
IFAC Proceedings Volumes
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
A classification of methods contributing to control systems safety is proposed in order to place the five other papers of this session and to show that they are complementary. ...
This paper is the introductory one of the Safe control systems session. ...
The three first papers are related to Off-line safety methods, the latter two to On-line safety methods. ...
doi:10.1016/s1474-6670(17)33275-5
fatcat:qrbawefrszbnrpenefdimtujjq
DEPENDABLE SOFTWARE IN RAILWAY SIGNALLING
2005
IFAC Proceedings Volumes
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Railway signalling software and safety requirements are summarized, and three short examples of the application of new methods to the assurance of dependability are provided. ...
The strengths and shortcomings of existing methods relative to application needs are illustrated. ...
Emerging methods offer the future prospect not only of partially automating verification and validation processes, but also of significantly improving safety, test coverage, and the time taken for software ...
doi:10.3182/20050703-6-cz-1902.01432
fatcat:6msyr6tljnf2zkoi7rw4x2diyq
Verification of Decision Making Software in an Autonomous Vehicle: An Industrial Case Study
[chapter]
2019
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
In this paper, we evaluate the application of different formal techniques from supervisory control theory, model checking, and deductive verification to verify existing decision and control software (in ...
Insights from the case study show a need for multiple formal methods to prove correctness, the difficulty to capture the right level of abstraction to model and specify the formal properties for the verification ...
Supervisory control and TLA + are abstract methods that are best suited for verification at the system level, software architectural level and software design level of the ISO 26262 standard. ...
doi:10.1007/978-3-030-27008-7_9
fatcat:lzbxwfu6mjd6tli33x7m2cev7e
« Previous
Showing results 1 — 15 out of 68,678 results