Search results for "Safety analysis"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Matthias Biehl, De-Jiu Chen, Martin Törngren	Integrating safety analysis into the model-based development toolchain of automotive embedded systems.	LCTES	2010	DBLP DOI BibTeX RDF	architecture description language, tool integration, model-based development, safety analysis
3	Jun Liu, Jian-Bo Yang, Da Ruan, Luis Martínez, Jin Wang	Self-tuning of fuzzy belief rule bases for engineering system safety analysis.	Annals OR	2008	DBLP DOI BibTeX RDF	Belief rule-base, Optimization, Fuzzy logic, Uncertainty, Safety analysis, Evidential reasoning
3	Xiaolei Li, Jin Tian, Tingdi Zhao	An Improved Zonal Safety Analysis Method and Its Application on Aircraft CRJ200.	ARES	2008	DBLP DOI BibTeX RDF	zonal safety analysis (ZSA), hazard source, undercarriage, safety, coupling
3	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
3	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
3	Jürgen Dingel, Hongzhi Liang	Automating comprehensive safety analysis of concurrent programs using verisoft and TXL.	SIGSOFT FSE	2004	DBLP DOI BibTeX RDF	TXL, VeriSoft, past-time linear temporal logic, software model checking, safety analysis, source code transformation, run-time monitoring
3	Koushik Sen, Grigore Rosu, Gul Agha	Runtime safety analysis of multithreaded programs.	ESEC / SIGSOFT FSE	2003	DBLP DOI BibTeX RDF	JMPaX, Java, runtime monitoring, safety analysis, LTL, vector clock, multithreaded program, predictive analysis
3	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
3	Gerald Kotonya, Ian Sommerville	Integrating safety analysis and requirements engineering.	APSEC	1997	DBLP DOI BibTeX RDF	viewpoint-based, formal specification, requirements engineering, safety analysis, system requirements, system failures
3	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
3	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
2	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
2	Philippa Conmy, Iain Bate	Semi-Automated Safety Analysis for Field Programmable Gate Arrays.	ECBS	2009	DBLP DOI BibTeX RDF
2	James T. Luxhøj, Ahmet Öztekin	A Regulatory-Based Approach to Safety Analysis of Unmanned Aircraft Systems.	HCI	2009	DBLP DOI BibTeX RDF
2	Josh Dehlinger, Robyn R. Lutz	Evaluating the Reusability of Product-Line Software Fault Tree Analysis Assets for a Safety-Critical System.	ICSR	2009	DBLP DOI BibTeX RDF	reusable safety analysis assets, safety aspects of reuse, product-line software fault tree analysis, multi-agent system product lines
2	Uwe Becker	Model-Based Development of Medical Devices.	SAFECOMP	2009	DBLP DOI BibTeX RDF	model-driven analysis, MDRE, model-driven test, model-driven safety analysis, design process, model-driven design, medical devices
2	Xiaocheng Ge, Richard F. Paige, John A. McDermid	Probabilistic Failure Propagation and Transformation Analysis.	SAFECOMP	2009	DBLP DOI BibTeX RDF	failure, probabilistic analysis, component-based system, safety analysis
2	Richard F. Paige, Louis M. Rose, Xiaocheng Ge, Dimitrios S. Kolovos, Phillip J. Brooke	FPTC: Automated Safety Analysis for Domain-Specific Languages.	MoDELS Workshops	2008	DBLP DOI BibTeX RDF
2	Elena Troubitsyna	Elicitation and Specification of Safety Requirements.	ICONS	2008	DBLP DOI BibTeX RDF	requirements engineering, software development, safety analysis
2	De-Jiu Chen, Rolf Johansson, Henrik Lönn, Yiannis Papadopoulos, Anders Sandberg, Fredrik Törner, Martin Törngren	Modelling Support for Design of Safety-Critical Automotive Embedded Systems.	SAFECOMP	2008	DBLP DOI BibTeX RDF	Automotive Embedded Systems, Safety Case, Dependability, Model-Based Development, Safety Analysis
2	Marco Bozzano, Adolfo Villafiorita	The FSAP/NuSMV-SA Safety Analysis Platform.	STTT	2007	DBLP DOI BibTeX RDF
2	Anjali Joshi, Mats Per Erik Heimdahl	Behavioral Fault Modeling for Model-based Safety Analysis.	HASE	2007	DBLP DOI BibTeX RDF
2	Jason D. Lee, Praveen Bhojwani, Rabi N. Mahapatra	A Safety Analysis Framework for COTS Microprocessors in Safety-Critical Applications.	HASE	2007	DBLP DOI BibTeX RDF
2	Wei Song, Wan-Chun Dou, Jinjun Chen, Shaokun Fan	Safety Analysis and Performance Evaluation of Time WF-nets.	APWeb/WAIM Workshops	2007	DBLP DOI BibTeX RDF
2	Ian M. Mitchell	Comparing Forward and Backward Reachability as Tools for Safety Analysis.	HSCC	2007	DBLP DOI BibTeX RDF
2	Matthias Güdemann, Frank Ortmeier, Wolfgang Reif	Using Deductive Cause-Consequence Analysis (DCCA) with SCADE.	SAFECOMP	2007	DBLP DOI BibTeX RDF	deductive cause consequence analysis, dcca, SCADE, formal methods, dependability, safety critical systems, safety analysis
2	Koushik Sen, Grigore Rosu, Gul Agha	Online efficient predictive safety analysis of multithreaded programs.	STTT	2006	DBLP DOI BibTeX RDF	JMPaX, Multithreaded analysis, Runtime monitoring, Vector clock, Predictive analysis
2	Tariq Mahmood, Edmund Kazmierczak	A Knowledge-based Approach for Safety Analysis Using System Interactions.	APSEC	2006	DBLP DOI BibTeX RDF
2	Masatomo Hashimoto	A Method of Safety Analysis for Runtime Code Update.	ASIAN	2006	DBLP DOI BibTeX RDF
2	Miguel A. de Miguel, Javier Fernández Briones, Juan Pedro Silva, Alejandro Alonso	Model Based Integration of Safety Analysis and Development.	ISORC	2006	DBLP DOI BibTeX RDF
2	Piergiorgio Bertoli, Marco Bozzano, Alessandro Cimatti	A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis.	MoChArt	2006	DBLP DOI BibTeX RDF
2	Xinwen Zhang, Ravi S. Sandhu, Francesco Parisi-Presicce	Safety analysis of usage control authorization models.	ASIACCS	2006	DBLP DOI BibTeX RDF	access control, authorization, safety, usage control, UCON
2	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
2	Anjali Joshi, Mats Per Erik Heimdahl	Model-Based Safety Analysis of Simulink Models Using SCADE Design Verifier.	SAFECOMP	2005	DBLP DOI BibTeX RDF
2	Massimo Felici	Evolutionary Safety Analysis: Motivations from the Air Traffic Management Domain.	SAFECOMP	2005	DBLP DOI BibTeX RDF
2	Miguel A. de Miguel, Bernard Pauly, Thierry Person, Javier Fernández Briones	Model-Based Integration of Safety Analysis and Reliable Software Development.	WORDS	2005	DBLP DOI BibTeX RDF
2	Frank Ortmeier, Wolfgang Reif, Gerhard Schellhorn	Formal Safety Analysis of a Radio-Based Railroad Crossing Using Deductive Cause-Consequence Analysis (DCCA).	EDCC	2005	DBLP DOI BibTeX RDF
2	Jing Liu, Josh Dehlinger, Robyn R. Lutz	Safety Analysis of Software Product Lines Using State-Based Modeling.	ISSRE	2005	DBLP DOI BibTeX RDF
2	Haeng-Kon Kim, Youn-Ky Chung	Automatic Translation Form Requirements Model into Use Cases Modeling on UML.	ICCSA	2005	DBLP DOI BibTeX RDF	UML, use cases, CBD, safety analysis, safety requirements
2	Jerker Hammarberg, Simin Nadjm-Tehrani	Formal verification of fault tolerance in safety-critical reconfigurable modules.	STTT	2005	DBLP DOI BibTeX RDF	Fault tolerance, FPGA, Formal verification, Safety analysis, Esterel
2	Koushik Sen, Grigore Rosu, Gul Agha	Online Efficient Predictive Safety Analysis of Multithreaded Programs.	TACAS	2004	DBLP DOI BibTeX RDF
2	S. C. Kothari, Luke Bishop, Jeremias Sauceda, Gary Daugherty	Knowledge-Centric and Language Independent Framework for Safety Analysis Tools.	HASE	2004	DBLP DOI BibTeX RDF
2	Bernhard Kaiser, Catharina Gramlich	State-Event-Fault-Trees - A Safety Analysis Model for Software Controlled Systems.	SAFECOMP	2004	DBLP DOI BibTeX RDF
2	Jianwen Xiang, Kokichi Futatsugi, Yanxiang He	Fault Tree and Formal Methods in System Safety Analysis.	CIT	2004	DBLP DOI BibTeX RDF
2	Frank Ortmeier, Andreas Thums, Gerhard Schellhorn, Wolfgang Reif	Combining Formal Methods and Safety Analysis - The ForMoSA Approach.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
2	Frank Ortmeier, Wolfgang Reif	Safety Optimization: A Combination of Fault Tree Analysis and Optimization Techniques.	DSN	2004	DBLP DOI BibTeX RDF	optimization, embedded systems, dependability, safety analysis, fault tree analysis
2	Datu Rizal Asral, Kazuhiko Suzuki	A Concept of Modeling PVC Batch Plant in Object Oriented Approach for Safety Analysis.	IEA/AIE	2003	DBLP DOI BibTeX RDF
2	Marco Bozzano, Adolfo Villafiorita	Improving System Reliability via Model Checking: The FSAP/NuSMV-SA Safety Analysis Platform.	SAFECOMP	2003	DBLP DOI BibTeX RDF
2	Pedro C. Diniz	Increasing the Accuracy of Shape and Safety Analysis of Pointer-Based Codes.	LCPC	2003	DBLP DOI BibTeX RDF
2	Frank Ortmeier, Gerhard Schellhorn, Andreas Thums, Wolfgang Reif, Bernhard Hering, Helmut Trappschuh	Safety Analysis of the Height Control System for the Elbtunnel.	SAFECOMP	2002	DBLP DOI BibTeX RDF
2	John A. McDermid	Software Hazard and Safety Analysis.	FTRTFT	2002	DBLP DOI BibTeX RDF
2	Hiromi Kobayashi	Safety Analysis Using Temporal Database.	PRDC	2001	DBLP DOI BibTeX RDF
2	Shigeto Hiraguri, Noriyuki Nishibori, Yasuko Hidaka, Takayuki Kasai, Hideo Nakamura	Safety Analysis by Box Modeling Method of System Behavior -- Application to Train Control System.	PRDC	2001	DBLP DOI BibTeX RDF
2	Mariana Dumitrescu, Toader Munteanu	A Fuzzy Logic System Used in Safety Analysis.	Fuzzy Days	2001	DBLP DOI BibTeX RDF
2	Amy R. Pritchett, Seungman Lee, David Huang, David Goldsman	Hybrid-system simulation for National Airspace System safety analysis.	Winter Simulation Conference	2000	DBLP DOI BibTeX RDF
2	Rogério de Lemos, Amer Saeed	Safety Analysis Techniques for Validating Formal Models During Verification.	SAFECOMP	1999	DBLP DOI BibTeX RDF
2	Kaisa Sere, Elena Troubitsyna	Safety Analysis in Formal Specification.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
2	Robyn R. Lutz, Guy G. Helmer, Michelle M. Moseman, David E. Statezni, Stephen R. Tockey	Safety Analysis of Requirements for a Product Family. (PDF / PS)	ICRE	1998	DBLP DOI BibTeX RDF	Safety, requirements analysis, product family, avionics
2	Kevin Hollingworth, Amer Saeed	CoRSA - A Constraint Based Approach to Requirements and Safety Analysis.	SAFECOMP	1998	DBLP DOI BibTeX RDF
2	Bartosz Nowicki, Janusz Górski	Object Oriented Safety Analysis of an Extra High Voltage Substation Bay.	SAFECOMP	1998	DBLP DOI BibTeX RDF
2	Hubert Comon, Yan Jurski	Multiple Counters Automata, Safety Analysis and Presburger Arithmetic.	CAV	1998	DBLP DOI BibTeX RDF
2	Tatsuhiro Tsuchiya, Hirofumi Terada, Shinji Kusumoto, Tohru Kikuno, Eun Mi Kim	Derivation of Safety Requirements for Safety Analysis of Object-Oriented Design Documents. (PDF / PS)	COMPSAC	1997	DBLP DOI BibTeX RDF
2	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
1	Sivaranjini Srikanthakumar, Cunjia Liu, Wen-Hua Chen	Optimization-Based Safety Analysis of Obstacle Avoidance Systems for Unmanned Aerial Vehicles.	Journal of Intelligent and Robotic Systems	2012	DBLP DOI BibTeX RDF
1	William L. Luyben	Use of dynamic simulation for reactor safety analysis.	Computers & Chemical Engineering	2012	DBLP DOI BibTeX RDF
1	William L. Luyben	Rigorous dynamic models for distillation safety analysis.	Computers & Chemical Engineering	2012	DBLP DOI BibTeX RDF
1	Jintao Liu, Tao Tang, Lin Zhao, Tianhua Xu, Wei Zheng	Functional Safety Analysis Method for CTCS Level 3 Based on Hybrid Automata.	ISORC Workshops	2012	DBLP DOI BibTeX RDF
1	Christoffer Sloth, George J. Pappas, Rafael Wisniewski	Compositional safety analysis using barrier certificates.	HSCC	2012	DBLP DOI BibTeX RDF
1	Fabien Belmonte, Walter Schön, Laurent Heurley, Robert Capel	Interdisciplinary safety analysis of complex socio-technological systems based on the functional resonance accident model: An application to railway trafficsupervision.	Rel. Eng. & Sys. Safety	2011	DBLP DOI BibTeX RDF
1	Nima Khakzad, Faisal Khan, Paul Amyotte	Safety analysis in process facilities: Comparison of fault tree and Bayesian network approaches.	Rel. Eng. & Sys. Safety	2011	DBLP DOI BibTeX RDF
1	Florian Leitner-Fischer, Stefan Leue	QuantUM: Quantitative Safety Analysis of UML Models	QAPL	2011	DBLP DOI BibTeX RDF
1	Moshe Tennenholtz	Competitive Safety Analysis: Robust Decision-Making in Multi-Agent Systems	CoRR	2011	DBLP BibTeX RDF
1	Omar el Ariss, Dianxiang Xu, W. Eric Wong	Integrating Safety Analysis With Functional Modeling.	IEEE Transactions on Systems, Man, and Cybernetics, Part A	2011	DBLP DOI BibTeX RDF
1	Matthias Güdemann, Michael Lipaczewski, Frank Ortmeier	Tool Supported Model-Based Safety Analysis and Optimization.	PRDC	2011	DBLP DOI BibTeX RDF
1	Yasmin I. Al-Zokari, Daniel Schneider, Dirk Zeckzer, Liliana Guzman, Yarden Livnat, Hans Hagen	Enhanced CakES representing Safety Analysis results of Embedded Systems.	FedCSIS	2011	DBLP BibTeX RDF
1	Chetan Mutha, Carol Smidts	An Early Design Stage UML-Based Safety Analysis Approach for High Assurrance Software Systems.	HASE	2011	DBLP DOI BibTeX RDF
1	Ilyas Daskaya, Michaela Huhn, Stefan Milius	Formal Safety Analysis in Industrial Practice.	FMICS	2011	DBLP DOI BibTeX RDF
1	Yi Yang, Dirk Zeckzer, Peter Liggesmeyer, Hans Hagen	ViSSaAn: Visual Support for Safety Analysis.	Scientific Visualization: Interactions, Features, Metaphors	2011	DBLP BibTeX RDF
1	Peter Amthor, Winfried E. Kühnhauser, Anja Pölck	Model-based safety analysis of SELinux security policies.	NSS	2011	DBLP DOI BibTeX RDF
1	Guoqi Li, Boxuan Wang	SysML Aided Safety Analysis for Safety-Critical Systems.	AICI	2011	DBLP DOI BibTeX RDF
1	Yunja Choi	Safety Analysis of Trampoline OS Using Model Checking: An Experience Report.	ISSRE	2011	DBLP DOI BibTeX RDF
1	N. Lilic, I. Obradovic, A. Cvjetic	An intelligent hybrid system for surface coal mine safety analysis.	Eng. Appl. of AI	2010	DBLP DOI BibTeX RDF
1	Sang Kyu Ahn, Inn Seock Kim, Kyu Myung Oh	Deterministic and risk-informed approaches for safety analysis of advanced reactors: Part I, deterministic approaches.	Rel. Eng. & Sys. Safety	2010	DBLP DOI BibTeX RDF
1	Inn Seock Kim, Sang Kyu Ahn, Kyu Myung Oh	Deterministic and risk-informed approaches for safety analysis of advanced reactors: Part II, Risk-informed approaches.	Rel. Eng. & Sys. Safety	2010	DBLP DOI BibTeX RDF
1	Philippa Conmy, Iain Bate	Component-Based Safety Analysis of FPGAs.	IEEE Trans. Industrial Informatics	2010	DBLP DOI BibTeX RDF
1	Sami Haddadin, Alin Albu-Schäffer, Gerd Hirzinger	Safety Analysis for a Human-Friendly Manipulator.	I. J. Social Robotics	2010	DBLP DOI BibTeX RDF
1	Matthias Güdemann, Frank Ortmeier	Probabilistic Model-Based Safety Analysis	QAPL	2010	DBLP DOI BibTeX RDF
1	Martín Guillermo Chávez Grunewald, Ibtissem Ben Makhlouf, Hilal Diab, Vicente A. Mut, Stefan Kowalewski, Dirk Abel	Regelung und Sicherheitsanalyse einer Gruppe Massenpunktfahrzeuge mit Hilfe energiebasierter Methoden (Control and Safety Analysis of a Group of Point Mass Vehicles Using Energy Methods).	Automatisierungstechnik	2010	DBLP DOI BibTeX RDF
1	Andreas Gregoriades, Alistair G. Sutcliffe, Georgios Papageorgiou, Panos Louvieris	Human-Centered Safety Analysis of Prospective Road Designs.	IEEE Transactions on Systems, Man, and Cybernetics, Part A	2010	DBLP DOI BibTeX RDF
1	Ben Swarup Medikonda, P. Seetha Ramaiah	Integrated safety analysis of software-controlled critical systems.	ACM SIGSOFT Software Engineering Notes	2010	DBLP DOI BibTeX RDF
1	Suwoong Lee, Yoji Yamada	Strategy on Safety Function Implementation: Case Study Involving Risk Assessment and Functional Safety Analysis for a Power Assist System.	Advanced Robotics	2010	DBLP DOI BibTeX RDF
1	HyeonJeong Kim, W. Eric Wong, Vidroha Debroy, DooHwan Bae	Bridging the Gap between Fault Trees and UML State Machine Diagrams for Safety Analysis.	APSEC	2010	DBLP DOI BibTeX RDF
1	Matthias Güdemann, Frank Ortmeier	A Framework for Qualitative and Quantitative Formal Model-Based Safety Analysis.	HASE	2010	DBLP DOI BibTeX RDF	fault tolerance, model checking, reliability, formal methods
1	Tor Stålhane, Guttorm Sindre, Lydie du Bousquet	Comparing Safety Analysis Based on Sequence Diagrams and Textual Use Cases.	CAiSE	2010	DBLP DOI BibTeX RDF
1	Huiqing Yang	A PHP-GRASS Based Information System for Traffic Safety Analysis.	International Conference on Internet Computing	2010	DBLP BibTeX RDF
1	Frank Ortmeier, Matthias Güdemann	ProMoSA - Probabilistic Models for Safety Analysis.	MBEES	2010	DBLP BibTeX RDF
1	Zhensheng Guo, Dirk Zeckzer, Peter Liggesmeyer, Oliver Mäckel	Identification of Security-Safety Requirements for the Outdoor Robot RAVON Using Safety Analysis Techniques.	ICSEA	2010	DBLP DOI BibTeX RDF
1	Matthias Güdemann, Frank Ortmeier	Quantitative Model-Based Safety Analysis: A Case Study.	Sicherheit	2010	DBLP BibTeX RDF
1	Anja Fischer, Winfried E. Kühnhauser	Efficient Algorithmic Safety Analysis of HRU Security Models.	SECRYPT	2010	DBLP BibTeX RDF
1	Marc Born, John M. Favaro, Olaf Kath	Application of ISO DIS 26262 in practice.	EDCC-CARS	2010	DBLP DOI BibTeX RDF	model, safety, process, traceability