The Experts below are selected from a list of 60879 Experts worldwide ranked by ideXlab platform
Kenneth G L Simpson - One of the best experts on this subject based on the ideXlab platform.
-
The Safety Critical Systems Handbook : A Straightforward Guide to Functional Safety: IEC 61508 (2010 Edition), IEC 61511 (2015 Edition) and Related Guidance Ed. 4
2016Co-Authors: David J. Smith, Kenneth G L SimpsonAbstract:The Safety Critical Systems Handbook: A Straightforward Guide to Functional Safety: IEC 61508 (2010 Edition), IEC 61511 (2016 Edition) & Related Guidance, Fourth Edition, presents the latest on the electrical, electronic, and programmable electronic Systems that provide Safety functions that guard workers and the public against injury or death, and the environment against pollution. The international functional Safety standard IEC 61508 was revised in 2010, and authors David Smith and Kenneth Simpson provide a comprehensive guide to the revised standard, as well as the revised IEC 61511 (2016). The book enables engineers to determine if a proposed or existing piece of equipment meets the Safety integrity levels (SIL) required by the various standards and guidance, and also describes the requirements for the new alternative route (route 2H), introduced in 2010. A number of other areas have been updated by Smith and Simpson in this new edition, including the estimation of common cause failure, calculation of PFDs and failure rates for redundant configurations, societal risk, and additional second tier guidance documents. As functional Safety is applicable to many industries, this book will have a wide readership beyond the chemical and process sector, including oil and gas, machinery, power generation, nuclear, aircraft, and automotive industries, plus project, instrumentation, design, and control engineers. Provides the only comprehensive guide to IEC 61508, updated to cover the 2010 amendments, that will ensure engineers are compliant with the latest process Safety Systems design and operation standardsAddresses the 2016 updates to IEC 61511 to helps readers understand the processes required to apply Safety Critical Systems standards and guidancePresents a real-world approach that helps users interpret new standards, with case studies and best practice design examples throughout
-
Safety Critical Systems handbook : a straightforward guide to functional Safety: IEC 61508 (2010 edition) and related standards : including: Process IEC 61511, Machinery IEC 62061 and ISO 13849
2011Co-Authors: David J. Smith, Kenneth G L SimpsonAbstract:Safety Critical Systems Handbook: A Straightfoward Guide to Functional Safety, IEC 61508 (2010 Edition) and Related Standards, Including Process IEC 61511 and Machinery IEC 62061 AND ISO 13849, Third Edition, offers a practical guide to the functional Safety standard IEC 61508. The book is organized into three parts. Part A discusses the concept of functional Safety and the need to express targets by means of Safety integrity levels. It places functional Safety in context, along with risk assessment, likelihood of fatality, and the cost of conformance. It also explains the life-cycle approach, together with the basic outline of IEC 61508 (known as BS EN 61508 in the UK). Part B discusses functional Safety standards for the process, oil, and gas industries; the machinery sector; and other industries such as rail, automotive, avionics, and medical electrical equipment. Part C presents case studies in the form of exercises and examples. These studies cover SIL targeting for a pressure let-down system, burner control system assessment, SIL targeting, a hypothetical proposal for a rail-train braking system, and hydroelectric dam and tidal gates. * The only comprehensive guide to IEC 61508, updated to cover the 2010 amendments, that will ensure engineers are compliant with the latest process Safety Systems design and operation standards* Helps readers understand the process required to apply Safety Critical Systems standards* Real-world approach helps users to interpret the standard, with case studies and best practice design examples throughout
David J. Smith - One of the best experts on this subject based on the ideXlab platform.
-
The Safety Critical Systems Handbook : A Straightforward Guide to Functional Safety: IEC 61508 (2010 Edition), IEC 61511 (2015 Edition) and Related Guidance Ed. 4
2016Co-Authors: David J. Smith, Kenneth G L SimpsonAbstract:The Safety Critical Systems Handbook: A Straightforward Guide to Functional Safety: IEC 61508 (2010 Edition), IEC 61511 (2016 Edition) & Related Guidance, Fourth Edition, presents the latest on the electrical, electronic, and programmable electronic Systems that provide Safety functions that guard workers and the public against injury or death, and the environment against pollution. The international functional Safety standard IEC 61508 was revised in 2010, and authors David Smith and Kenneth Simpson provide a comprehensive guide to the revised standard, as well as the revised IEC 61511 (2016). The book enables engineers to determine if a proposed or existing piece of equipment meets the Safety integrity levels (SIL) required by the various standards and guidance, and also describes the requirements for the new alternative route (route 2H), introduced in 2010. A number of other areas have been updated by Smith and Simpson in this new edition, including the estimation of common cause failure, calculation of PFDs and failure rates for redundant configurations, societal risk, and additional second tier guidance documents. As functional Safety is applicable to many industries, this book will have a wide readership beyond the chemical and process sector, including oil and gas, machinery, power generation, nuclear, aircraft, and automotive industries, plus project, instrumentation, design, and control engineers. Provides the only comprehensive guide to IEC 61508, updated to cover the 2010 amendments, that will ensure engineers are compliant with the latest process Safety Systems design and operation standardsAddresses the 2016 updates to IEC 61511 to helps readers understand the processes required to apply Safety Critical Systems standards and guidancePresents a real-world approach that helps users interpret new standards, with case studies and best practice design examples throughout
-
Safety Critical Systems handbook : a straightforward guide to functional Safety: IEC 61508 (2010 edition) and related standards : including: Process IEC 61511, Machinery IEC 62061 and ISO 13849
2011Co-Authors: David J. Smith, Kenneth G L SimpsonAbstract:Safety Critical Systems Handbook: A Straightfoward Guide to Functional Safety, IEC 61508 (2010 Edition) and Related Standards, Including Process IEC 61511 and Machinery IEC 62061 AND ISO 13849, Third Edition, offers a practical guide to the functional Safety standard IEC 61508. The book is organized into three parts. Part A discusses the concept of functional Safety and the need to express targets by means of Safety integrity levels. It places functional Safety in context, along with risk assessment, likelihood of fatality, and the cost of conformance. It also explains the life-cycle approach, together with the basic outline of IEC 61508 (known as BS EN 61508 in the UK). Part B discusses functional Safety standards for the process, oil, and gas industries; the machinery sector; and other industries such as rail, automotive, avionics, and medical electrical equipment. Part C presents case studies in the form of exercises and examples. These studies cover SIL targeting for a pressure let-down system, burner control system assessment, SIL targeting, a hypothetical proposal for a rail-train braking system, and hydroelectric dam and tidal gates. * The only comprehensive guide to IEC 61508, updated to cover the 2010 amendments, that will ensure engineers are compliant with the latest process Safety Systems design and operation standards* Helps readers understand the process required to apply Safety Critical Systems standards* Real-world approach helps users to interpret the standard, with case studies and best practice design examples throughout
Howard W Loewen - One of the best experts on this subject based on the ideXlab platform.
-
evaluating specification level mc dc criterion in model based testing of Safety Critical Systems
International Conference on Software Engineering, 2018Co-Authors: Syed S Arefin, Hadi Hemmati, Howard W LoewenAbstract:Safety-Critical software Systems in the aviation domain, e.g., a UAV autopilot software, needs to go through a formal process of certification (e.g., DO-178C standard). One of the main requirements for this certification is having a set of explicit test cases for each software requirement. To achieve this, the DO-178C standard recommends using a model-driven approach. For instance, model-based testing (MBT) is recommended in its DO-331 supplement to automatically generate system-level test cases for the requirements provided as the specification models. In addition, the DO-178C standard also requires high level of source code coverage, which typically is achieved by a separate set of structural testing. However, the standard allows targeting high code coverage with MBT, only if the applicants justify their plan on how to achieve high code coverage through model-level testing. In this study, we propose using the Modified Condition and Decision coverage ("MC/DC") criterion on the specification-level constraints rather than the standard-recommended "all transition coverage" criterion, to achieve higher code coverage through MBT. We evaluate our approach in the context of a case study at MicroPilot Inc., our industry collaborator, which is a UAV producer company. We implemented our idea as an MC/DC coverage on transition guards in a UML state-machine-based testing tool that was developed in-house. The results show that applying model-level MC/DC coverage outperforms the typical transition-coverage (DO-178C's required MBT coverage criterion), with respect to source code-level "all condition-decision coverage criterion" by 33%. In addition, our MC/DC test suite detected three new faults and two instances of legacy specification in the code that are no longer in use, compared to the "all transition" test suite.
Syed S Arefin - One of the best experts on this subject based on the ideXlab platform.
-
evaluating specification level mc dc criterion in model based testing of Safety Critical Systems
International Conference on Software Engineering, 2018Co-Authors: Syed S Arefin, Hadi Hemmati, Howard W LoewenAbstract:Safety-Critical software Systems in the aviation domain, e.g., a UAV autopilot software, needs to go through a formal process of certification (e.g., DO-178C standard). One of the main requirements for this certification is having a set of explicit test cases for each software requirement. To achieve this, the DO-178C standard recommends using a model-driven approach. For instance, model-based testing (MBT) is recommended in its DO-331 supplement to automatically generate system-level test cases for the requirements provided as the specification models. In addition, the DO-178C standard also requires high level of source code coverage, which typically is achieved by a separate set of structural testing. However, the standard allows targeting high code coverage with MBT, only if the applicants justify their plan on how to achieve high code coverage through model-level testing. In this study, we propose using the Modified Condition and Decision coverage ("MC/DC") criterion on the specification-level constraints rather than the standard-recommended "all transition coverage" criterion, to achieve higher code coverage through MBT. We evaluate our approach in the context of a case study at MicroPilot Inc., our industry collaborator, which is a UAV producer company. We implemented our idea as an MC/DC coverage on transition guards in a UML state-machine-based testing tool that was developed in-house. The results show that applying model-level MC/DC coverage outperforms the typical transition-coverage (DO-178C's required MBT coverage criterion), with respect to source code-level "all condition-decision coverage criterion" by 33%. In addition, our MC/DC test suite detected three new faults and two instances of legacy specification in the code that are no longer in use, compared to the "all transition" test suite.
J F Meyer - One of the best experts on this subject based on the ideXlab platform.
-
autonomous vehicle Safety lessons from aviation
Communications of The ACM, 2020Co-Authors: Jaynarayan H Lala, Carl E Landwehr, J F MeyerAbstract:How more than 25years of experience with aviation Safety-Critical Systems can be applied to autonomous vehicle Systems.
