Software in safety critical systems?achievement and prediction

McDermid, John; Kelly, Tim

doi:10.1680/nuen.2006.2.3.140

Cited by 26 publications

(9 citation statements)

References 12 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Despite the robustness of the current approach to assuring software in the nuclear industry, there has been a general trend toward greater automation, particularly for instrumentation and control, potentially giving more authority to software-based functions [35]. To this end, mutation testing, in the context of the wider safety case for nuclear instrumentation and control systems, could provide further evidence concerning confidence in the safe design and deployment of these systems, e.g., enhanced confidence in the software testing process for certain applications.…”

Section: B Uk Nuclear Industrymentioning

confidence: 99%

Evaluation of Mutation Testing in a Nuclear Industry Case Study

et al. 2018

View full text Add to dashboard Cite

Section: B Uk Nuclear Industrymentioning

confidence: 99%

Evaluation of Mutation Testing in a Nuclear Industry Case Study

et al. 2018

View full text Add to dashboard Cite

“…These are most certainly present in systems at the production stage. (Beckett and Putnam, 2010;Reifer, 2004;and McDermid and Kelly, 2007).…”

Section: Importance Of the Testing Stagementioning

confidence: 99%

Public Financial Management in Latin America: The Key to Efficiency and Transparency

Pimenta¹,

Varea²,

Arosteguiberry³

et al. 2015

View full text Add to dashboard Cite

Commons IGO 3.0 Attribution-NonCommercial-NoDerivatives (CC-IGO BY-NC-ND 3.0 IGO) license (http://creativecommons.org/licenses/by-nc-nd/3.0/igo/legalcode) and may be reproduced with attribution to the IDB and for any non-commercial purpose. No derivative work is allowed.Any dispute related to the use of the works of the IDB that cannot be settled amicably shall be submitted to arbitration pursuant to the UNCITRAL rules. The use of the IDB's name for any purpose other than for attribution, and the use of IDB's logo shall be subject to a separate written license agreement between the IDB and the user and is not authorized as part of this CC-IGO license. At present, macro-fiscal policy faces significant regional challenges. Fiscal risks associated with contingent liabilities related to social security; public pensions; public-private partnerships; natural disasters; subnational government finances; volatile revenues, particularly in natural resource rich countries; and modest growth in developed countries must be made transparent through the sharing of PFM information. While there may be considerable heterogeneity across Latin American countries, there are widespread efforts toward fiscal discipline and sustainable levels of public debt, as well as concern regarding these risks in the medium and long term.In response to this scenario, most countries in the region have embarked on reforms to improve their financial management performance indicators; better integrate cash and debt management; further improve liquidity management through more efficient treasury single accounts; apply international public sector accounting standards; implement public sector cost management; further integrate financial management information systems;and incorporate more transparent and efficient public procurement. The objectives of these reforms are to allocate and use public financial resources more efficiently, effectively, and transparently; measure and manage fiscal risks; and improve the formulation of fiscal and public management policies, based on reliable, comprehensive, and timely financial information.Together, the IDB and the IMF remain committed to assist the countries of Latin America with the design and implementation of efficient PFM systems to strengthen their institutions. We hope that this book will contribute to this endeavor. These reforms and associated challenges matter, in any event, since they are part of the comprehensive effort of governments to meet the demands of citizens for better public services and more solid and transparent fiscal institutions. Governments must allocate and use public resources more efficiently if they wish to succeed in tackling the increasingly complex and uncertain global environment. PFM is the key to achieving these goals. Santiago Levy Vitor GasparThe work of the IDB's Institutions for Development Department focuses on assisting governments to strengthen public sector institutions so that they can achieve these goals. The Department's specialists have provided valuable advice an...

show abstract

“…The use of models in safety engineering processes has gained increasing attention in the last decade [11,14,15]. Especially, the idea is to support automatic generation of safety artifacts from system models was elaborated.…”

Section: Related Workmentioning

confidence: 99%

Automated Failure Propagation using Inner Port Dependency Traces

Höfig

Zeller

Schorp

2015

Proceedings of the 11th International ACM SIGSOFT Conference on Quality of Software Architectures

View full text Add to dashboard Cite

Safety assurance is a major challenge in the design of complex embedded and Cyber-physical Systems. Especially, changes and adoptions during the design or run-time of an embedded system invalidate former safety analyses and require an adaptation of the system's safety analysis models. In this paper, we present a methodology to fill up empty safety analysis artifacts in component fault trees using socalled inner port dependency traces to describe failure propagation. Thus, enabling a imprecise but rapid safety analysis of an entire system at early development stages or during system run-time for the automated certification of Cyberphysical Systems. We evaluate our approach using case study from the automotive domain.

show abstract

Software in safety critical systems?achievement and prediction

Cited by 26 publications

References 12 publications

Evaluation of Mutation Testing in a Nuclear Industry Case Study

Evaluation of Mutation Testing in a Nuclear Industry Case Study

Public Financial Management in Latin America: The Key to Efficiency and Transparency

Automated Failure Propagation using Inner Port Dependency Traces

Contact Info

Product

Resources

About