Search results for "software safety"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	Janice Hill, Daniel Victor	The Product Engineering Class in the Software Safety Risk Taxonomy for Building Safety-Critical Systems.	Australian Software Engineering Conference	2008	DBLP DOI BibTeX RDF	software safety requirements, software safety risk taxonomy, legacy systems, safety-critical, safety case
3	Ben Swarup Medikonda, Seetha Ramaiah Panchumarthy	A framework for software safety in safety-critical systems.	ACM SIGSOFT Software Engineering Notes	2009	DBLP DOI BibTeX RDF	software quality, safety-critical system, software safety
3	M. Ben Swarup, P. Seetha Ramaiah	An Approach to Modeling Software Safety.	SNPD	2008	DBLP DOI BibTeX RDF	software quality, safety-critical system, software safety
3	Praful V. Bhansali	Universal software safety standard.	ACM SIGSOFT Software Engineering Notes	2005	DBLP DOI BibTeX RDF	verification, validation, software safety, system safety
3	Praful V. Bhansali	Software safety: current status and future direction.	ACM SIGSOFT Software Engineering Notes	2005	DBLP DOI BibTeX RDF	verification, validation, software safety, system safety
3	Ramin Mojdehbakhsh, Wei-Tek Tsai, Shekhar H. Kirani, Lynn Elliott	Retrofitting Software Safety in an Implantable Medical Device.	IEEE Software	1994	DBLP DOI BibTeX RDF	retrofitting, cardiac rhythm management device, regulatory agencies, rigorous software safety analysis technique, safety faults, software modification, software reliability, safety, legislation, medical computing, prosthetics, safety verification, implantable medical device, pacemakers
2	Richard Riehle	Failure-driven software safety.	ACM SIGSOFT Software Engineering Notes	2007	DBLP DOI BibTeX RDF	derived requirements, testing, requirements, risk, failure, stakeholder
2	Janice Hill	A Software Safety Risk Taxonomy for Use in Retrospective Safety Cases.	SEW	2007	DBLP DOI BibTeX RDF
2	Mário Brito, John May	Safety Critical Software Process Improvement by Multi-objective Optimization Algorithms.	ICSP	2007	DBLP DOI BibTeX RDF	Software Safety standards, Bayesian belief networks - Genetic Algorithms
2	Gee-Yong Park, Jang-Soo Lee, Se Woo Cheon, Kee-Choon Kwon, Eunkyoung Jee, Kwang Yong Koh	Safety Analysis of Safety-Critical Software for Nuclear Digital Protection System.	SAFECOMP	2007	DBLP DOI BibTeX RDF	Software Safety Analysis, Software FTA, Software HAZOP, Function Block Diagram, Nuclear Reactor Protection System
2	Gregor Snelting, Torsten Robschink, Jens Krinke	Efficient path conditions in dependence graphs for software safety analysis.	ACM Trans. Softw. Eng. Methodol.	2006	DBLP DOI BibTeX RDF	program slicing, information flow control, Safety analysis, path condition
2	Jang-Soo Lee, Arndt Lindner, Jong-Gyun Choi, Horst Miedl, Kee-Choon Kwon	Software Safety Lifecycles and the Methods of a Programmable Electronic Safety System for a Nuclear Power Plant.	SAFECOMP	2006	DBLP DOI BibTeX RDF
2	Lisa Wells, Thomas Maier	Specifying and Analyzing Software Safety Requirements of a Frequency Converter Using Coloured Petri Nets.	ICATPN	2005	DBLP DOI BibTeX RDF
2	Zhongwei Xu, Bangxing Chen	Damage Size and Software Safety Demonstration Stress Testing.	Asian Test Symposium	2003	DBLP DOI BibTeX RDF
2	Meng Li, Zhu Xu	Study on the Cost/Benefit/Optimization of Software Safety Test.	Asian Test Symposium	2003	DBLP DOI BibTeX RDF
2	Alan C. Tribble	Software Safety.	IEEE Software	2002	DBLP DOI BibTeX RDF
2	David Pager	The design and implementation of an automatic computer-controlled infusion pump.	CBMS	1997	DBLP DOI BibTeX RDF	biomedical equipment, automatic computer controlled infusion pump, oxytocin, software safety issues, timed pulses, mathematical algorithms, undesirable patient parameters, excessively high intrauterine pressure, constant intrauterine pressure, hardware safety issues, contractions, system reliability
2	Francesmary Modugno, Nancy G. Leveson, Jon Damon Reese, Kurt Partridge, Sean D. Sandys	Integrated Safety Analysis of Requirements Specifications. (PDF / PS)	RE	1997	DBLP DOI BibTeX RDF	software safety analysis, software safety, software requirements specification
2	Steven McDonnell, Bonnie E. Melhart	Software assessment to support certification for an existing computer-based system.	ECBS	1996	DBLP DOI BibTeX RDF	software assessment, equipment functionality, hardware control, software control, safety certification, multipurpose display, user interfaces, case study, program verification, systems analysis, software design, certification, certification, government, research, software verification, industry, safety-critical software, software analysis, software safety, software standards, computer displays
2	Lon D. Gowen	Workshop on Software Safety-Summary of the '94 CMBS Syposium's Software Safety Workshop.	CBMS	1995	DBLP DOI BibTeX RDF
2	Nancy G. Leveson	Software Safety: Why, What, and How.	ACM Comput. Surv.	1986	DBLP DOI BibTeX RDF
1	S. Phani Kumar, P. Seetha Ramaiah, V. Khanaa	Architectural patterns to design software safety based safety-critical systems.	ICCCS	2011	DBLP DOI BibTeX RDF
1	Richard Hawkins, Kester Clegg, Robert Alexander, Tim Kelly	Using a Software Safety Argument Pattern Catalogue: Two Case Studies.	SAFECOMP	2011	DBLP DOI BibTeX RDF
1	Lucas Layman, Victor R. Basili, Marvin V. Zelkowitz, Karen L. Fisher	A case study of measuring process risk for early insights into software safety.	ICSE	2011	DBLP DOI BibTeX RDF
1	Alois Mayr, Reinhold Plösch, Matthias Saft	Towards an Operational Safety Standard for Software: Modelling IEC 61508 Part 3.	ECBS	2011	DBLP DOI BibTeX RDF	software safety standard, measure, quality model, operationalization, IEC 61508
1	Hiroyuki Okamura, Tadashi Dohi	Software safety assessment based on a subordinated Markov chain.	Int. J. Systems Assurance Engineering and Management	2010	DBLP DOI BibTeX RDF
1	James Bret Michael, Man-tak Shing, K. J. Cruickshank, P. J. Redmond	Hazard Analysis and Validation Metrics Framework for System of Systems Software Safety.	IEEE Systems Journal	2010	DBLP DOI BibTeX RDF
1	Ibrahim Habli, Richard Hawkins, Tim Kelly	Software safety: relating software assurance and software integrity.	IJCCBS	2010	DBLP DOI BibTeX RDF
1	Rajwinder Kaur Panesar-Walawege, Mehrdad Sabetzadeh, Lionel C. Briand, Thierry Coq	Characterizing the Chain of Evidence for Software Safety Cases: A Conceptual Model Based on the IEC 61508 Standard.	ICST	2010	DBLP DOI BibTeX RDF
1	Martin Becker, Sören Kemmann, K. C. Shashidhar	Integrating Software Safety and Product Line Engineering using Formal Methods: Challenges and Opportunities.	SPLC Workshops	2010	DBLP BibTeX RDF
1	Hannu Harju, Jussi Lahtinen, Jukka Ranta, Risto Nevalainen, Mika Johansson	Software Safety Standards for the Basis of Certification in the Nuclear Domain.	QUATIC	2010	DBLP DOI BibTeX RDF
1	Takaji Fujiwara, Juan Manuel Estevez, Yoshinobu Satoh, Shigeru Yamada	A calculation method for software safety integrity level.	EDCC-CARS	2010	DBLP DOI BibTeX RDF	calculation method, safety integrity level, software reliability and safety, software reliability growth model
1	W. Eric Wong, Vidroha Debroy	An Undergraduate Summer Research Program in Software Safety.	CSEE&T	2010	DBLP DOI BibTeX RDF
1	Victor R. Basili, Marvin V. Zelkowitz, Lucas Layman, Kathleen Coleman Dangle, Madeline Diep	Obtaining valid safety data for software safety measurement and process improvement.	ESEM	2010	DBLP DOI BibTeX RDF
1	Beng Heng Ng, Xin Hu, Atul Prakash	A Study on Latent Vulnerabilities.	SRDS	2010	DBLP DOI BibTeX RDF	software reliability, computer security, software libraries, software protection, software safety
1	W. Eric Wong, Vidroha Debroy, Adithya Surampudi, HyeonJeong Kim, Michael F. Siok	Recent Catastrophic Accidents: Investigating How Software was Responsible.	SSIRI	2010	DBLP DOI BibTeX RDF	catastrophic accidents, mishaps, safety-critical software systems, Software safety
1	Hugues Chabot, Raphael Khoury, Nadia Tawbi	Generating In-Line Monitors for Rabin Automata.	NordSec	2009	DBLP DOI BibTeX RDF	Monitoring Software Safety, Computer Security, Dynamic Analysis
1	Andrew J. Kornecki, Janusz Zalewski	Certification of software for real-time safety-critical systems: state of the art.	ISSE	2009	DBLP DOI BibTeX RDF	Tool qualification, Real-time systems, Software tools, Safety-critical systems, Software safety, Software certification
1	Feng Chen, Weihua Li, Dingyi Fang, Xiaojiang Chen	Research on Integration of Safety Analysis in Model-Driven Software Development.	IAS	2009	DBLP DOI BibTeX RDF
1	Gérard Morel, Jean-François Pétin, Timothy L. Johnson	Reliability, Maintainability, and Safety.	Handbook of Automation	2009	DBLP DOI BibTeX RDF
1	Arkadiy Khandjian	Increase of Software Safety	CoRR	2008	DBLP BibTeX RDF
1	Gerard J. Holzmann	Software Safety and Rocket Science.	ERCIM News	2008	DBLP BibTeX RDF
1	Andrew J. Kornecki	Software Safety.	Wiley Encyclopedia of Computer Science and Engineering	2008	DBLP DOI BibTeX RDF
1	Ben Swarup Medikonda, Seetha Ramaiah Panchumarthy	A Framework for Software Safety in Safety-Critical Systems.	SoMeT	2008	DBLP DOI BibTeX RDF
1	Victor R. Basili	Using Measures and Risk Indicators for Early Insight into Software Product Characteristics such as Software Safety.	ISSRE	2008	DBLP DOI BibTeX RDF
1	Ben Swarup Medikonda, Seetha Ramaiah Panchumarthy	Modeling Software Safety for Safety-Critical Systems.	Software Engineering Research and Practice	2008	DBLP BibTeX RDF
1	Christian Denger, Mario Trapp, Peter Liggesmeyer	SafeSpection - A Systematic Customization Approach for Software Hazard Identification.	SAFECOMP	2008	DBLP DOI BibTeX RDF	Guide-Phrases, SafeSpection, Software FMEA, Software FTA, Software HAZOP, Software Safety
1	Zhifang Wang, Yiyun Chen, Zhenming Wang, Baojian Hua	Automated verification of pointer programs in pointer logic.	Frontiers of Computer Science in China	2008	DBLP DOI BibTeX RDF	pointer logic, alias analysis, software safety, automated verification
1	Juan Li, Hou-Xiang Wang	Fault Tree Based Prediction of Software Systems Safety.	CSSE	2008	DBLP DOI BibTeX RDF
1	Michaela Huhn, Hardi Hungar	UML for Software Safety and Certification - Model-Based Development of Safety-Critical Software-Intensive Systems.	Model-Based Engineering of Embedded Real-Time Systems	2007	DBLP DOI BibTeX RDF
1	Praful V. Bhansali	The MCDC paradox.	ACM SIGSOFT Software Engineering Notes	2007	DBLP DOI BibTeX RDF	software verification, software safety, DO-178B
1	Bev Littlewood, David Wright	The Use of Multilegged Arguments to Increase Confidence in Safety Claims for Software-Based Systems: A Study Based on a BBN Analysis of an Idealized Example.	IEEE Trans. Software Eng.	2007	DBLP DOI BibTeX RDF	Safety claims, safety arguments, software reliability, Bayesian belief networks, software safety
1	Yiyun Chen, Lin Ge, Baojian Hua, Zhaopeng Li, Cheng Liu, Zhifang Wang	A pointer logic and certifying compiler.	Frontiers of Computer Science in China	2007	DBLP DOI BibTeX RDF	pointer logic, Hoare logic, Proof-Carrying Code, software safety, certifying compiler
1	Martyn Thomas	Unsafe Standardization.	IEEE Computer	2007	DBLP DOI BibTeX RDF	software development, standards, safety-critical software
1	Eric Bodden, Hans Vangheluwe	Transforming Timeline Specifications into Automata for Runtime Monitoring.	AGTIVE	2007	DBLP DOI BibTeX RDF
1	Derek Mannering, Jon G. Hall, Lucia Rapanotti	Towards Normal Design for Safety-Critical Systems.	FASE	2007	DBLP DOI BibTeX RDF
1	Gregory Zoughbi, Lionel C. Briand, Yvan Labiche	A UML Profile for Developing Airworthiness-Compliant (RTCA DO-178B), Safety-Critical Software.	MoDELS	2007	DBLP DOI BibTeX RDF	Airworthiness, RTCA DO-178B, Safety Assessment, UML, Safety, Certification, UML Profile, Safety-Critical, Certification Authority
1	Weihang Wu, Tim Kelly	Towards Evidence-Based Architectural Design for Safety-Critical Software Applications.	WADS	2006	DBLP DOI BibTeX RDF	software safety evidence, software architecture, design decisions
1	Hui-Wen Huang, Wei-Yi Yang, Chunkuan Shih, Chun-Yu Chen, Swu Yih, Chang Tzeng, Cherng-Tsong Kuo, Ming-Huei Chen, Yuan-Chang Yu, Li-Hsin Wang, Hsun-Ho Wang, Wan-Tsz Tu	Digital Instrumentation and Control Failure Events Derivation and Analysis for Advanced Boiling Water Reactor.	DepCoS-RELCOMEX	2006	DBLP DOI BibTeX RDF
1	Mário Brito, John May	Gaining Confidence in the Software Development Process Using Expert Systems.	SAFECOMP	2006	DBLP DOI BibTeX RDF
1	Josh Dehlinger, Robyn R. Lutz	PLFaultCAT: A Product-Line Software Fault Tree Analysis Tool.	Autom. Softw. Eng.	2006	DBLP DOI BibTeX RDF	software fault tree analysis, safety analysis tools, product-line engineering, hazard analysis
1	Michel Turin	Safety critical software development for space application - invited talk abstract.	WOSP	2005	DBLP DOI BibTeX RDF	EADS space, MELANIE, SCADE®, ariane 5 launcher, embedded space software, monte-carlo testing, software static analysis, software verification, software safety, software methodology
1	Andrew J. Kornecki, Janusz Zalewski	Experimental evaluation of software development tools for safety-critical real-time systems.	ISSE	2005	DBLP DOI BibTeX RDF	Tool qualification, Safety-critical systems, CASE tools, Software safety
1	Yangyang Yu, Barry W. Johnson	The Quantitative Safety Assessment for Safety-Critical Software.	SEW	2005	DBLP DOI BibTeX RDF
1	Ewen Denney, Ram Prasad Venkatesan	A Generic Software Safety Document Generator.	AMAST	2004	DBLP DOI BibTeX RDF
1	Nancy G. Leveson	A Systems-Theoretic Approach to Safety in Software-Intensive Systems.	IEEE Trans. Dependable Sec. Comput.	2004	DBLP DOI BibTeX RDF	accident models, software engineering, Software safety, system safety
1	Weihang Wu, Tim Kelly	Safety Tactics for Software Architecture Design.	COMPSAC	2004	DBLP DOI BibTeX RDF
1	Junbeom Yoo, Sung Deok Cha, Han Seiong Son, Chang Hwoi Kim, Jang-Soo Lee	PLC-Based Safety Critical Software Development for Nuclear Power Plants.	SAFECOMP	2004	DBLP DOI BibTeX RDF
1	W. Weber, H. Tondok, M. Bachmayer	Enhancing Software Safety by Fault Trees: Experiences from an Application to Flight Critical SW.	SAFECOMP	2003	DBLP DOI BibTeX RDF
1	Andrew J. Kornecki	Software Reliability and Requirements Assessment of Software Safety Via Catastrophic Events Coverage.	Applied Informatics	2003	DBLP BibTeX RDF
1	Jeffrey M. Voas	Trusted Software's Holy Grail. (PDF / PS)	HICSS	2003	DBLP DOI BibTeX RDF
1	Ioannis Parissis, Jérôme Vassy	Thoroughness of Specification-Based Testing of Synchronous Programs.	ISSRE	2003	DBLP DOI BibTeX RDF
1	Burke Maxey	COTS Integration in Safety Critical Systems Using RTCA/DO-178B Guidelines.	ICCBSS	2003	DBLP DOI BibTeX RDF
1	Jeffrey M. Voas	Trusted Software's Holy Grail.	Software Quality Journal	2003	DBLP DOI BibTeX RDF	adaptive software quality, quality of service, measurement, metrics, software quality
1	Janet A. Gill, Frederick Ferguson	A Tool for the Design and Analysis of Software Safety-Critical Systems.	IRI	2001	DBLP BibTeX RDF
1	John A. McDermid	Software Safety: Where's the Evidence?	SCS	2001	DBLP BibTeX RDF
1	Marvin V. Zelkowitz, Ioana Rus	The Role of Independent Verification and Validation in Maintaining a Safety Critical Evolutionary Software in a Complex Environment: The NASA Space Shuttle Program. (PDF / PS)	ICSM	2001	DBLP DOI BibTeX RDF	Evolutionary software, Life and mission critical software, Process characterization, Space Shuttle program, Software independent verification and validation, Software safety and reliability, Metrics, Maintenance
1	John Fox	Designing Safety into Medical Decisions and Clinical Processes.	SAFECOMP	2001	DBLP DOI BibTeX RDF
1	Bjørn Axel Gran, Atte Helminen	A Bayesian Belief Network for Reliability Assessment.	SAFECOMP	2001	DBLP DOI BibTeX RDF
1	Meine van der Meulen	Definitions for hardware and software safety engineers.		2000	RDF
1	Robyn R. Lutz	Software engineering for safety: a roadmap.	ICSE - Future of SE Track	2000	DBLP DOI BibTeX RDF	software engineering, software safety, future directions
1	Pathirage Gamini Wijayarathna, Mamoru Maekawa	Extending Fault Trees with an AND-THEN Gate.	ISSRE	2000	DBLP DOI BibTeX RDF
1	Wolfgang A. Halang, Peter Vogrin, Matjaz Colnaric	A Safety Licensable PES for SIL 4 Applications.	SAFECOMP	2000	DBLP DOI BibTeX RDF	Safety critical industrial automation, Safety Integrity Level 4, safety licensing, programmable electronic system, predictable real time behaviour, fail safe behaviour
1	Patricia Rodríguez-Dapena	Software Safety Certification: A Multidomain Problem.	IEEE Software	1999	DBLP DOI BibTeX RDF
1	Koichi Tokuno, Shigeru Yamada	Stochastic software safety/reliability measurement and its application.	Ann. Software Eng.	1999	DBLP DOI BibTeX RDF
1	Debra S. Herrmann	Software safety and reliability - techniques, approaches, and standards of key industrial sectors.		1999	RDF
1	Raghu Singh	A Systematic Approach to Software Safety.	APSEC	1999	DBLP DOI BibTeX RDF	security, reliability, safety, Quality attributes, quality metrics, quality factors, quality criteria
1	P. G. Beerthuizen, W. Kruidhof	System and Software Safety Analysis for the ERA Control Computer.	SAFECOMP	1999	DBLP DOI BibTeX RDF
1	Weiwei Li, Zhongwei Xu, Yan Jin	An Approach for Testing Safety-Critical Software.	Great Lakes Symposium on VLSI	1999	DBLP DOI BibTeX RDF	Failure Severity Level, Failure Frequency, Integrity Level, Safety-Critical Software, Software Safety, Software Validation
1	Wayne D. Gray, Philippe A. Palanque, Fabio Paternò	Introduction to the special issue on interface issues and designs for safety-critical interactive systems: when there is no room for user error.	ACM Trans. Comput.-Hum. Interact.	1999	DBLP DOI BibTeX RDF
1	Kirsten Mark Hansen, Anders P. Ravn, Victoria Stavridou	From Safety Analysis to Software Requirements.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	real-time systems, formal methods, requirements engineering, temporal logic, Safety analysis, fault trees
1	Jon Damon Reese, Nancy G. Leveson	Software Deviation Analysis.	ICSE	1997	DBLP DOI BibTeX RDF	software deviation analysis, software safety, hazard analysis
1	Jeffrey M. Voas, Keith W. Miller	The Avalanche Paradigm: An Experimental Software Programming Technique for Improving Fault-tolerance.	ECBS	1996	DBLP DOI BibTeX RDF	static error flow analysis, fault-tolerance, fault, assertions, propagation, software safety, hazard
1	Norman F. Schneidewind	Reliability and Risk Analysis for Software that Must be Safe.	IEEE METRICS	1996	DBLP DOI BibTeX RDF	Software Reliability, Risk Analysis, Software Safety
1	Ramakrishna V. Vishnuvajjala, Satish Subramanian, Wei-Tek Tsai, Ramin Mojdehbakhsh, Lynn Elliott	Flow analysis for concurrent, reactive, real-time systems.	HASE	1996	DBLP DOI BibTeX RDF
1	Norman F. Schneidewind	Reliability Modeling for Safety Critical Software.	Ada-Europe	1996	DBLP DOI BibTeX RDF
1	Satish Subramanian, Ramakrishna V. Vishnuvajjala, Ramin Mojdehbakhsh, Wei-Tek Tsai, Lynn Elliott	A Framework for Designing Safe Software Systems. (PDF / PS)	COMPSAC	1995	DBLP DOI BibTeX RDF
1	Joanne M. Atlee, John A. McDermid	Integrating requirements analysis and safety analysis. (PDF / PS)	RE	1995	DBLP DOI BibTeX RDF	system safety requirements, design description, formal specification, systems analysis, requirements analysis, requirements specification, safety critical systems, safety-critical software, safety critical software, functional requirements, safety analysis, high level design
1	Rogério de Lemos, Amer Saeed, Tom Anderson	Analyzing Safety Requirements for Process-Control Systems.	IEEE Software	1995	DBLP DOI BibTeX RDF
1	Wolfgang A. Halang, Bernd J. Krämer	Safety Assurance in Process Control.	IEEE Software	1994	DBLP DOI BibTeX RDF	safety assurance, PLC software safety, safety-critical control, algebraic language, Obj3 system, functional programming environment, formal specification, formal specifications, formal verification, formal verification, functional programming, software reliability, safety, interpreter, requirements specification, process control, data representation, programmable logic controllers, programmable controllers, design specification, specification testing, Obj, function blocks, process computer control