Search results for "safety-critical software"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Richard Bubel, Reiner Hähnle	Integration of informal and formal development of object-oriented safety-critical software.	STTT	2005	DBLP DOI BibTeX RDF	UML, Formal specification, Design patterns, OCL, Safety-critical software
3	Davide Falessi, Guido Pennella, Giovanni Cantone	Experiences, Strategies and Challenges in Adapting PVM to VxWorks Hard Real-Time Operating System, for Safety-Critical Software.	PVM/MPI	2005	DBLP DOI BibTeX RDF	Open Source Software (OSS), Safety-Critical Software (SCS), Embedded Hard Real-Time (HRT) Distributed Systems, Experimental Software Engineering (ESE), Parallel Virtual Machine (PVM)
3	Haiying Tu, Fangmei Wu	How to Design an Environment Simulator for Safety Critical Software Testing.	Asian Test Symposium	1999	DBLP DOI BibTeX RDF	Simulation, Software Testing, Object-Oriented Design, Fault-Injection, Safety-Critical Software, Black-Box Testing
3	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
3	Bev Littlewood, David Wright	Some Conservative Stopping Rules for the Operational Testing of Safety-Critical Software.	IEEE Trans. Software Eng.	1997	DBLP DOI BibTeX RDF	operational testing, testing stopping rule, software reliability, Safety-critical software, statistical testing
3	Norman F. Schneidewind	Predictions for increasing confidence in the reliability of safety critical software.	ICECCS	1995	DBLP DOI BibTeX RDF	residual faults, time to next failure, NASA Space Shuttle Primary Avionics Software System, reliability, software reliability, safety-critical software, safety critical software, confidence
3	T. M. Bull, E. J. Younger, Keith H. Bennett, Z. Luo	Bylands: reverse engineering safety-critical systems. (PDF / PS)	ICSM	1995	DBLP DOI BibTeX RDF	safety-critical software maintenance, Bylands, real-time existing code, high level design extraction, formal transformations, abstract representation, requirements analyses, very-high-level domain languages, real-time systems, reverse engineering, reverse engineering, software maintenance, systems analysis, safety-critical systems, high level languages, safety-critical software, temporal constraints
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
3	Hong Zhu, Patrick A. V. Hall, John H. R. May, T. Cockram	Injecting Faults into Environment Simulators for Testing Safety Critical Software.	EDCC	1994	DBLP DOI BibTeX RDF	Simulation, Software testing, Program transformation, Fault injection, Safety critical software
2	Junbeom Yoo, Eunkyoung Jee, Sung Deok Cha	Formal Modeling and Verification of Safety-Critical Software.	IEEE Software	2009	DBLP DOI BibTeX RDF
2	Young-Mi Kim, Choong-Heui Jeong, A-Rang Jeong, Hyeon Soo Kim	Risky Module Estimation in Safety-Critical Software.	ACIS-ICIS	2009	DBLP DOI BibTeX RDF
2	Tariq Mahmood, Edmund Kazmierczak, Tim Kelly, Dennis Plunkett	Modeling and Learning Interaction-based Accidents for Safety-Critical Software Systems.	APSEC	2007	DBLP DOI BibTeX RDF
2	Horst Miedl, Jang-Soo Lee, Arndt Lindner, Ernst Hoffman, Josef Märtz, Young-Jun Lee, Jong-Gyun Choi, Jang-Yeol Kim, Kyoung-Ho Cha, Se Woo Cheon, Cheol-Kwon Lee, Gee-Yong Park, Kee-Choon Kwon	Defense-in-Depth and Diverse Qualification of Safety-Critical Software.	SAFECOMP	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	Benjamin M. Brosgol	Languages for Safety-Critical Software: Issues and Assessment.	ICSE Companion	2007	DBLP DOI BibTeX RDF
2	Alan Hartman, Mika Katara, Amit M. Paradkar	Domain specific approaches to software test automation.	ESEC/SIGSOFT FSE (Companion)	2007	DBLP DOI BibTeX RDF	domain specific test automation, exploratory testing, feature testing, multi-threaded debugging, wireless sensor software, model based testing, data exchangeability, constraint logic programming, safety critical software, test prioritization, event driven systems
2	Alan Hartman, Mika Katara, Amit M. Paradkar	Domain specific approaches to software test automation.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	domain specific test automation, exploratory testing, feature testing, multi-threaded debugging, wireless sensor software, model based testing, data exchangeability, constraint logic programming, safety critical software, test prioritization, event driven systems
2	Alan Wassyng, Mark Lawford	Software tools for safety-critical software development.	STTT	2006	DBLP DOI BibTeX RDF
2	Guido Pennella, Christian Di Biagio, Alessandro Colicchia, Gianfranco Pesce, Giovanni Cantone	Monitoring Distributed Systems for Safety Critical Software: A Goal-Driven Approach and Prototype-Tool.	ISPA Workshops	2006	DBLP DOI BibTeX RDF	Performance-measurement Tools, Software engineering, Hard Real-time Systems, Distributed and parallel systems
2	Wolfgang Herzner, Stephan Ramberger, Thomas Länger, Christian Reumann, Thomas Gruber, Christian Sejkora	Comparing Software Measures with Fault Counts Derived from Unit-Testing of Safety-Critical Software.	SAFECOMP	2005	DBLP DOI BibTeX RDF
2	Alan Wassyng, Mark Lawford, Xiayong Hu	Timing Tolerances in Safety-Critical Software.	FM	2005	DBLP DOI BibTeX RDF	timing tolerances, real-time, requirements, safety-critical
2	Robyn R. Lutz, Stacy Nelson, Ann Patterson-Hine, Chad R. Frost, Doron Tal	Identifying Contingency Requirements Using Obstacle Analysis.	RE	2005	DBLP DOI BibTeX RDF	contingency requirements, obstacle analysis, anomaly-handling, autonomy, safety-critical software, requirements evolution
2	M. M. Adams, Philip B. Clayton	ClawZ: Cost-Effective Formal Verification for Control Systems.	ICFEM	2005	DBLP DOI BibTeX RDF	industrial formal verification, ProofPower, Eurofighter Typhoon, Ada, refinement, Z, control systems, safety-critical software, Simulink, real-time software, formal proof
2	Shiping Yang, Nan Sang, Guangze Xiong	Safety Testing of Safety Critical Software Based on Critical Mission Duration.	PRDC	2004	DBLP DOI BibTeX RDF	Safety Testing, Safety Critical System, Bayesian Analysis, Stopping Rules, Reliability Testing
2	Lazar Crawford, Jared Erwin, Steafano Grimaldi, Soma Mitra, Andrew J. Kornecki, David P. Gluch	A Study of Automatic Code Generation for Safety-Critical Software: Preliminary Report.	HASE	2004	DBLP DOI BibTeX RDF
2	Jiong Yan, Ji Wang, Huowang Chen	UML Based Statistical Testing Acceleration of Distributed Safety-Critical Software.	ISPA	2004	DBLP DOI BibTeX RDF
2	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
2	Kelly Weyrauch, Mary Poppendieck, Ron Morsicato, Nancy Van Schooenderwoert, Bill Pyritz	Agile Methods for Safety-Critical Software Development.	XP/Agile Universe	2004	DBLP DOI BibTeX RDF
2	Jorge Rady de Almeida Jr., João Batista Camargo Jr., Bruno Abrantes Basseto, Sérgio Miranda Paz	Best Practices in Code Inspection for Safety-Critical Software.	IEEE Software	2003	DBLP DOI BibTeX RDF	inspection checklist, safety-critical software, code inspection
2	P. V. Bhansali	A systematic approach to identifying a safe subset for safety-critical software.	ACM SIGSOFT Software Engineering Notes	2003	DBLP DOI BibTeX RDF	safe subset, programming languages, design methodologies
2	Bruno Blanchet, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival	A static analyzer for large safety-critical software.	PLDI	2003	DBLP DOI BibTeX RDF	verification, real-time, static analysis, embedded, abstract interpretation, floating point, safety-critical software, reactive, abstract domains
2	Fangmei Wu, Lei Huang	Efficiency Analysis and Safety Assessment of Automatic Testing for Safety-Critical Software.	Asian Test Symposium	2003	DBLP DOI BibTeX RDF
2	Robyn R. Lutz, Ines Carmen Mikulski	Requirements Discovery during the Testing of Safety-Critical Software. (PDF / PS)	ICSE	2003	DBLP DOI BibTeX RDF
2	Colin O'Halloran	Issues for the Automatic Generation of Safety Critical Software. (PDF / PS)	ASE	2000	DBLP DOI BibTeX RDF	Automatic code generation, safety critical
2	Paolo Traverso, Piergiorgio Bertoli	Mechanized result verification: an industrial application.	STTT	2000	DBLP DOI BibTeX RDF	Mechanized result verification, Online/offline checking, Validation, Decomposition, Safety critical software
2	Fangmei Wu, Meng Li	Railway Signaling Safety-critical Software Testing Based on Dynamic Decision Table.	Asian Test Symposium	1999	DBLP DOI BibTeX RDF	dynamic decision table, software testing, safety-critical software, interlocking
2	Zhongwei Xu, Fangmei Wu	A Novel Testing Approach for Safety-Critical Software.	Asian Test Symposium	1999	DBLP DOI BibTeX RDF	Software-critical software, software testing, interlocking
2	Haiying Tu, Fangmei Wu, Xiaoxu Ren	Rough-Hierarchical Testing for Safety Critical Software.	Asian Test Symposium	1998	DBLP DOI BibTeX RDF
2	Norman F. Schneidewind	Reliability Modeling for Safety Critical Software.	Ada-Europe	1996	DBLP DOI BibTeX RDF
2	Farokh B. Bastani, Bojan Cukic	Impact of program transformation on software reliability assessment. (PDF / PS)	HASE	1996	DBLP DOI BibTeX RDF	statistical sampling method, complete program paths, partial proofs, reliability assessment procedure, formal methods, program transformation, program verification, correctness, software fault tolerance, safety critical software, test cases, operational profile, reliability estimate, software reliability assessment
2	John C. Knight, Bev Littlewood	Guest Editors' Introduction: Critical Task of Writing Dependable Software.	IEEE Software	1994	DBLP DOI BibTeX RDF	dependable software, rigorous techniques, mathematical techniques, program writing, programming, software reliability, safety, safety-critical software
1	Kevin Gary, Andinet Enquobahrie, Luis Ibáñez, Patrick Cheng, Ziv Yaniv, Kevin Cleary, Shylaja Kokoori, Benjamin Muffih, John Heidenreich	Agile methods for open source safety-critical software.	Softw., Pract. Exper.	2011	DBLP DOI BibTeX RDF
1	B. Scott Andersen, George Romanski	Verification of Safety-critical Software.	ACM Queue	2011	DBLP DOI BibTeX RDF
1	B. Scott Andersen, George Romanski	Verification of safety-critical software.	Commun. ACM	2011	DBLP DOI BibTeX RDF
1	Richard F. Paige, Andy Galloway, Ramon Charalambous, Xiaocheng Ge, Phillip J. Brooke	High-integrity agile processes for the development of safety critical software.	IJCCBS	2011	DBLP DOI BibTeX RDF
1	Mehrdad Sabetzadeh, Shiva Nejati, Lionel C. Briand, Anne-Heidi Evensen Mills	Using SysML for Modeling of Safety-Critical Software-Hardware Interfaces: Guidelines and Industry Experience.	HASE	2011	DBLP DOI BibTeX RDF
1	Yongfeng Yin, Bin Liu, Duo Su	Research on Formal Verification Technique for Aircraft Safety-Critical Software.	JCP	2010	DBLP DOI BibTeX RDF
1	Damiano Angeletti, Enrico Giunchiglia, Massimo Narizzano, Alessandra Puddu, Salvatore Sabina	Using Bounded Model Checking for Coverage Analysis of Safety-Critical Software in an Industrial Setting.	J. Autom. Reasoning	2010	DBLP DOI BibTeX RDF
1	Richard F. Paige	Traceability in model-driven safety critical software engineering.	ECMFA-TW	2010	DBLP DOI BibTeX RDF
1	Daniel Kästner, Reinhold Heckmann, Christian Ferdinand	100% Coverage for Safety-Critical Software - Efficient Testing by Static Analysis.	SAFECOMP	2010	DBLP DOI BibTeX RDF
1	Xuecheng Wang, Risheng Yang, Minyan Lu, Haifeng Li	Discrete Bayesian-Based Scheme of Software Reliability Demonstration Testing with Decreasing Function for the Safety Critical Software.	CIS	2010	DBLP DOI BibTeX RDF
1	Martijn M. H. P. van den Heuvel, Reinder J. Bril, Peter van de Velde, Johan J. Lukkien	Towards verification-based development of in-vehicle safety critical software: a case study.	EDCC-CARS	2010	DBLP DOI BibTeX RDF
1	Alan Wassyng, Mark Lawford, T. S. E. Maibaum, Jens H. Weber, John Hatcliff	Software certification consortium: certification methods for safety-critical software.	CASCON	2010	DBLP DOI BibTeX RDF
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	Ales Plsek, Lei Zhao, Veysel H. Sahin, Daniel Tang, Tomas Kalibera, Jan Vitek	Developing safety critical Java applications with oSCJ/L0.	JTRES	2010	DBLP DOI BibTeX RDF	memory management, Java virtual machine, safety critical systems
1	Bente Anda, Kai Hansen, Gunhild Sand	An investigation of use case quality in a large safety-critical software development project.	Information & Software Technology	2009	DBLP DOI BibTeX RDF
1	Haklin Kimm, Sung Y. Shin, Ho-sang Ham, Chang Oan Sung	Failure management development for integrated automotive safety-critical software systems.	SAC	2009	DBLP DOI BibTeX RDF
1	Gang Yu, Zhong wei Xu, Jun wei Du	An Approach for Automated Safety Testing of Safety-Critical Software System Based on Safety Requirements.	IFITA	2009	DBLP DOI BibTeX RDF
1	Bruno Pagano, Olivier Andrieu, Thomas Moniot, Benjamin Canou, Emmanuel Chailloux, Philippe Wang, Pascal Manoury, Jean-Louis Colaço	Experience report: using objective caml to develop safety-critical embedded tools in a certification framework.	ICFP	2009	DBLP DOI BibTeX RDF	SCADE SUITE 6, safety critical, objective caml, DO-178B
1	Colin O'Halloran	Guess and Verify - Back to the Future.	FM	2009	DBLP DOI BibTeX RDF	Models, Verification, Software, Automation, Cost, Proof, Simulink
1	Zeshan Kurd, Tim Kelly, John A. McDermid, Radu Calinescu, Marta Z. Kwiatkowska	Establishing a Framework for Dynamic Risk Management in 'Intelligent' Aero-Engine Control.	SAFECOMP	2009	DBLP DOI BibTeX RDF
1	Jeanine Souquières	A Component-Based Approach for the Verification of Safety-Critical Software.	ERCIM News	2008	DBLP BibTeX RDF
1	Pedro Merino, Erwin Schoitsch	Introduction to the Special Theme "Safety-Critical Software".	ERCIM News	2008	DBLP BibTeX RDF
1	Darren D. Cofer, Michael W. Whalen, Steven P. Miller	Model-Checking of Safety-Critical Software for Avionics.	ERCIM News	2008	DBLP BibTeX RDF
1	Michael D. Harrison, José Creissac Campos	Analysing Human Aspects of Safety-Critical Software.	ERCIM News	2008	DBLP BibTeX RDF
1	Benjamin M. Brosgol	MP1: languages for safety-critical software: issues and assessment.	SIGAda	2008	DBLP DOI BibTeX RDF	do-178, security, software engineering, design, reliability, ada, object-oriented, software, safety, languages, systems, assurance, safety-critical, high integrity
1	David Monniaux	The pitfalls of verifying floating-point computations.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	AMD64, FPU, IA32, x87, Verification, Static analysis, Abstract interpretation, Program testing, Embedded software, Floating point, Safety-Critical Software, Rounding, PowerPC, IEEE-754
1	Corina S. Pasareanu, Peter C. Mehlitz, David H. Bushnell, Karen Gundy-Burlet, Michael R. Lowry, Suzette Person, Mark Pape	Combining unit-level symbolic execution and system-level concrete execution for testing NASA software.	ISSTA	2008	DBLP DOI BibTeX RDF	unit testing, symbolic execution, software model checking, system testing
1	Wei Dong, Ji Wang, Changzhi Zhao, Xian Zhang, Jie Tian	Automating Software FMEA via Formal Analysis of Dependence Relations.	COMPSAC	2008	DBLP DOI BibTeX RDF	Software FMEA, formal analysis, dependence relations
1	Gabriella Carrozza, Domenico Cotroneo, Stefano Russo	Software Faults Diagnosis in Complex OTS Based Safety Critical Systems.	EDCC	2008	DBLP DOI BibTeX RDF
1	Didier Delanote, Stefan Van Baelen, Wouter Joosen, Yolande Berbers	Using AADL to Model a Protocol Stack.	ICECCS	2008	DBLP DOI BibTeX RDF
1	Roman Obermaisser, Bernhard Leiner	Temporal and Spatial Partitioning of a Time-Triggered Operating System Based on Real-Time Linux.	ISORC	2008	DBLP DOI BibTeX RDF	fault-tolerance, real-time systems, operating systems, partitioning
1	Klaas Wijbrans, Franc Buve, Robin Rijkers, Wouter Geurts	Software Engineering with Formal Methods: Experiences with the Development of a Storm Surge Barrier Control System.	FM	2008	DBLP DOI BibTeX RDF
1	Sergiy A. Vilkomir, Jonathan P. Bowen	From MC/DC to RC/DC: Formalization and Analysis of Control-Flow Testing Criteria.	Formal Methods and Testing	2008	DBLP DOI BibTeX RDF
1	Bruno Pagano, Olivier Andrieu, Benjamin Canou, Emmanuel Chailloux, Jean-Louis Colaço, Thomas Moniot, Philippe Wang	Certified Development Tools Implementation in Objective Caml.	PADL	2008	DBLP DOI BibTeX RDF	Tests measurement, Civil avionics, Functional programming, Code coverage, Objective Caml
1	Bruno Blanchet, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival	A Static Analyzer for Large Safety-Critical Software	CoRR	2007	DBLP BibTeX RDF
1	Jing Liu, Josh Dehlinger, Hongyu Sun, Robyn R. Lutz	State-Based Modeling to Support the Evolution and Maintenance of Safety-Critical Software Product Lines.	ECBS	2007	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	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
1	Falk Salewski, Stefan Kowalewski	The Effect of Hardware Platform Selection on Safety-Critical Software in Embedded Systems: Empirical Evaluations.	SIES	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	Benjamin M. Brosgol	SA2: languages for safety-critical software: issues and assessment.	SIGAda	2007	DBLP DOI BibTeX RDF
1	Martyn Thomas	Unsafe Standardization.	IEEE Computer	2007	DBLP DOI BibTeX RDF	software development, standards, safety-critical software
1	Robyn R. Lutz, Ann Patterson-Hine, Stacy Nelson, Chad R. Frost, Doron Tal, Robert Harris	Using obstacle analysis to identify contingency requirements on an unpiloted aerial vehicle.	Requir. Eng.	2007	DBLP DOI BibTeX RDF	Contingency requirements, Obstacle analysis, Anomaly handling, Autonomy, Safety-critical software, Requirements evolution
1	Chris Nettleton, Wilson Ifill, Colin Marsh	Towards a demonstrably-correct ada compiler.	SIGAda	2007	DBLP DOI BibTeX RDF	compiler, correctness, ada95
1	Sarah Beecham, Helen Sharp, Nathan Baddoo, Tracy Hall, Hugh Robinson	Does the XP environment meet the motivational needs of the software developer? An empirical study.	AGILE	2007	DBLP DOI BibTeX RDF
1	Marc Daumas, David R. Lester	Stochastic Formal Methods: An Application to Accuracy of Numeric Software.	HICSS	2007	DBLP DOI BibTeX RDF
1	Alex Dekhtyar, Jane Huffman Hayes, Senthil Karthikeyan Sundaram, Elizabeth Ashlee Holbrook, Olga Dekhtyar	Technique Integration for Requirements Assessment.	RE	2007	DBLP DOI BibTeX RDF
1	Marjo Kauppinen, Juha Savolainen, Tomi Männistö	Requirements Engineering as a Driver for Innovations.	RE	2007	DBLP DOI BibTeX RDF
1	Neil A. M. Maiden, Cornelius Ncube, Simin Kamali, Norbert Seyff, Paul Grünbacher	Exploring Scenario Forms and Ways of Use to Discover Requirements on Airports that Minimize Environmental Impact.	RE	2007	DBLP DOI BibTeX RDF
1	Michael Poppleton	Towards Feature-Oriented Specification and Development with Event-B.	REFSQ	2007	DBLP DOI BibTeX RDF
1	Jean-Claude Laprie	Safety Demonstration and Software Development.	SAFECOMP	2007	DBLP DOI BibTeX RDF
1	Aysu Betin-Can, Tevfik Bultan, Mikael Lindvall, Benjamin Lux, Stefan Topp	Eliminating synchronization faults in air traffic control software via design for verification with concurrency controllers.	Autom. Softw. Eng.	2007	DBLP DOI BibTeX RDF	Model checking, Synchronization, Design patterns, Interfaces, Concurrent programming
1	Andres S. Orrego, Gregory E. Mundy	A study of software reuse in NASA legacy systems.	ISSE	2007	DBLP DOI BibTeX RDF	Context variables, Genealogy classifications, Software reuse, Legacy software
1	Sergiy A. Vilkomir, Jonathan P. Bowen, Aditya K. Ghose	Formalization and assessment of regulatory requirements for safety-critical software.	ISSE	2006	DBLP DOI BibTeX RDF	Regulatory requirements, Formal methods, Certification, Z notation
1	Guido Pennella, Christian Di Biagio, Gianfranco Pesce, Giovanni Cantone	Advances on testing safety-critical software goal-driven approach, prototype-tool and comparative evaluation.	ICSOFT	2006	DBLP BibTeX RDF
1	Christian Di Biagio, Guido Pennella, Anna Lomartire, Giovanni Cantone	Introduction to characterization of monitors for testing safety-critical software.	ICSOFT	2006	DBLP BibTeX RDF
1	Weihang Wu, Tim Kelly	Managing Architectural Design Decisions for Safety-Critical Software Systems.	QoSA	2006	DBLP DOI BibTeX RDF
1	Ricky E. Sward, Mark Gerken	Developing safety critical software for an unmanned aerial vehicle situational awareness tool.	SIGAda	2006	DBLP DOI BibTeX RDF	formal methods, UAV, unmanned aerial vehicle, safety critical, SPARK, high integrity
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