The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase safety-critical (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1980-1990 (18) 1991-1992 (19) 1993 (22) 1994 (29) 1995 (44) 1996 (62) 1997 (42) 1998 (88) 1999 (97) 2000 (76) 2001 (75) 2002 (95) 2003 (116) 2004 (145) 2005 (139) 2006 (150) 2007 (187) 2008 (187) 2009 (121) 2010 (87) 2011 (88) 2012 (105) 2013 (110) 2014 (120) 2015 (116) 2016 (112) 2017 (109) 2018 (126) 2019 (142) 2020 (144) 2021 (149) 2022 (189) 2023 (212) 2024 (51)
Publication types (Num. hits)
article(929) book(8) incollection(12) inproceedings(2497) phdthesis(96) proceedings(30)
Venues (Conferences, Journals, ...)
CoRR(242) SSS(188) SAFECOMP(118) FTSCS(113) JTRES(41) HASE(40) DATE(39) SCS(38) Ada-Europe(31) Reliab. Eng. Syst. Saf.(27) ISSRE Workshops(25) RE(23) ACC(22) CDC(22) IEEE Trans. Software Eng.(22) ISORC(22) More (+10 of total 1017)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 1958 occurrences of 945 keywords

Results
Found 3572 publication records. Showing 3572 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
115Ben Swarup Medikonda, Seetha Ramaiah Panchumarthy A framework for software safety in safety-critical systems. Search on Bibsonomy ACM SIGSOFT Softw. Eng. Notes The full citation details ... 2009 DBLP  DOI  BibTeX  RDF software quality, safety-critical system, software safety
101Joanne M. Atlee, John A. McDermid Integrating requirements analysis and safety analysis. Search on Bibsonomy RE The full citation details ... 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
98Janice Hill, Daniel Victor The Product Engineering Class in the Software Safety Risk Taxonomy for Building Safety-Critical Systems. Search on Bibsonomy Australian Software Engineering Conference The full citation details ... 2008 DBLP  DOI  BibTeX  RDF software safety requirements, software safety risk taxonomy, legacy systems, safety-critical, safety case
88Tim M. Bull, E. J. Younger, Keith H. Bennett, Z. Luo Bylands: reverse engineering safety-critical systems. Search on Bibsonomy ICSM The full citation details ... 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
88M. Ben Swarup, P. Seetha Ramaiah An Approach to Modeling Software Safety. Search on Bibsonomy SNPD The full citation details ... 2008 DBLP  DOI  BibTeX  RDF software quality, safety-critical system, software safety
87Shiping Yang, Nan Sang, Guangze Xiong Safety Testing of Safety Critical Software Based on Critical Mission Duration. Search on Bibsonomy PRDC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Safety Testing, Safety Critical System, Bayesian Analysis, Stopping Rules, Reliability Testing
87Wayne 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. Search on Bibsonomy ACM Trans. Comput. Hum. Interact. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
76Zeshan Kurd, Tim Kelly, Jim Austin Developing artificial neural networks for safety critical systems. Search on Bibsonomy Neural Comput. Appl. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Symbolic knowledge, Neural network, Faults, Safety critical, Lifecycle, Hazards, Criteria
75Thomas Grill, Margit Blauhut Design Patterns Applied in a User Interface Design (UID) Process for Safety Critical Environments (SCEs). Search on Bibsonomy USAB The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Safety critical environments, HCI, patterns
75Peter Marwedel, Catherine H. Gebotys Secure and safety-critical vs. insecure, non safety-critical embedded systems: do they require completely different design approaches? Search on Bibsonomy CODES+ISSS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF security, safety-critical
70Rogério de Lemos, Amer Saeed, Tom Anderson 0001 Analyzing Safety Requirements for Process-Control Systems. Search on Bibsonomy IEEE Softw. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
66Gregory Zoughbi, Lionel C. Briand, Yvan Labiche A UML Profile for Developing Airworthiness-Compliant (RTCA DO-178B), Safety-Critical Software. Search on Bibsonomy MoDELS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Airworthiness, RTCA DO-178B, Safety Assessment, UML, Safety, Certification, UML Profile, Safety-Critical, Certification Authority
64Pao-Ann Hsiung, Yean-Ru Chen, Yen-Hung Lin Model Checking Safety-Critical Systems Using Safecharts. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Safecharts, extended timed automaton, model checking, Safety-critical systems
63Neil C. Audsley, I. J. Bate, Alan Burns 0001 Putting fixed priority scheduling theory into engineering practice for safety critical applications. Search on Bibsonomy IEEE Real Time Technology and Applications Symposium The full citation details ... 1996 DBLP  DOI  BibTeX  RDF aircraft computers, engineering practice, industrial safety-critical hard real-time systems, class A systems, civil aircraft software standard DO178B, evidence gathering, technical benefits, evidence presentation, scheduling, real-time systems, timing, certification, safety-critical software, fixed-priority scheduling, aerospace computing, certification authorities, software standards, timing requirements
61Norman F. Schneidewind Predictions for increasing confidence in the reliability of safety critical software. Search on Bibsonomy ICECCS The full citation details ... 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
59Norman F. Schneidewind Reliability Modeling for Safety Critical Software. Search on Bibsonomy Ada-Europe The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
58Benjamin M. Brosgol MP1: languages for safety-critical software: issues and assessment. Search on Bibsonomy SIGAda The full citation details ... 2008 DBLP  DOI  BibTeX  RDF do-178, security, software engineering, design, reliability, ada, object-oriented, software, safety, languages, systems, assurance, safety-critical, high integrity
57Jeronimo Dzaack, Leon Urbas Multilevel Analysis of Human Performance Models in Safety-Critical Systems. Search on Bibsonomy HCI (11) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF multilevel analysis, evaluation and design, human factor, tools, safety-critical systems, cognitive architectures, human performance models
57Yean-Ru Chen, Pao-Ann Hsiung, Sao-Jie Chen Modeling and Automatic Failure Analysis of Safety-Critical Systems Using Extended Safecharts. Search on Bibsonomy SAFECOMP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Safecharts, FTO-failure, SO-failure, NC-failure, Effective repair actions, Ineffective repair actions, Safety-critical systems
57Andrew J. Kornecki, Janusz Zalewski Experimental evaluation of software development tools for safety-critical real-time systems. Search on Bibsonomy Innov. Syst. Softw. Eng. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Tool qualification, Safety-critical systems, CASE tools, Software safety
57Hermann Kopetz On the Fault Hypothesis for a Safety-Critical Real-Time System. Search on Bibsonomy ASWSD The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Fault-Hypothesis, Error-Containment, State Repair, Fault-tolerance, Error Detection, Safety-Critical Systems
56Michael Mahemoff, Andrew Hussey, Lorraine Johnston Pattern-Based Reuse of Successful Designs: Usability of Safety-Critical Systems. Search on Bibsonomy Australian Software Engineering Conference The full citation details ... 2001 DBLP  DOI  BibTeX  RDF usability, user-interface, design patterns, Safety-critical
55Zeshan Kurd, Tim Kelly Safety Lifecycle for Developing Safety Critical Artificial Neural Networks. Search on Bibsonomy SAFECOMP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
52Alberto Coen-Porisini, Giovanni Denaro, Carlo Ghezzi, Mauro Pezzè Using symbolic execution for verifying safety-critical systems. Search on Bibsonomy ESEC / SIGSOFT FSE The full citation details ... 2001 DBLP  DOI  BibTeX  RDF verification, formal methods, C, symbolic execution, safety-critical system
52Satish Subramanian, Sanjai Rayadurgam, Wei-Tek Tsai Design for Constraint Violation Detection in Safety-Critical Systems. Search on Bibsonomy HASE The full citation details ... 1998 DBLP  DOI  BibTeX  RDF design patterns, object-oriented design, Safety-critical systems, implantable medical devices
52Shaoying Liu, Masashi Asuka, Kiyotoshi Komaya, Yasuaki Nakamura An Approach to Specifying and Verifying Safety-Critical Systems with Practical Formal Method SOFL. Search on Bibsonomy ICECCS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF railway crossing controller, verification, formal specification, formal methods, Safety-critical systems, functional requirements, safety requirements
52Wolfgang A. Halang, Matjaz Colnaric On Safety--Critical Computer Control Systems. Search on Bibsonomy CBMS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF computer control systems, safety licensing, real-time systems, safety critical systems
52Jakob E. Bardram, Niels Nørskov A context-aware patient safety system for the operating room. Search on Bibsonomy UbiComp The full citation details ... 2008 DBLP  DOI  BibTeX  RDF CAPSIS, context-aware computing, safety-critical systems, pervasive healthcare, operating room
51Robin W. Whitty Software in Safety-Related Systems, by Brian Wichmann (Editor), Wiley, 1992 and Safety-Critical Systems: Current Issues, Techniques and Standards, Felix Redmill and Tom Anderson (Editors), Chapman & Hall, 1993 and Directions in Safety-Critical Systems, by Felix Redmill and Tom Anderson (Editors), Springer-Verlag, 1993 and Technology and Assessment of Safety-Critical Systems, Felix Redmill and Tom Anderson (Editors), Springer-Verlag, 1994 and Achievement and Assurance of Safety, Felix Redmill and Tom Anderson (Editors), Springer-Verlag, 1995 and Journal: High Integrity Systems, Andrew D. McGettrick (Editor), Oxford University Press (Books and Journal Review). Search on Bibsonomy Softw. Test. Verification Reliab. The full citation details ... 1995 DBLP  BibTeX  RDF
50Bruno 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. Search on Bibsonomy ICFP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF SCADE SUITE 6, safety critical, objective caml, DO-178B
50Davide Falessi, Guido Pennella, Giovanni Cantone Experiences, Strategies and Challenges in Adapting PVM to VxWorks™ Hard Real-Time Operating System, for Safety-Critical Software. Search on Bibsonomy PVM/MPI The full citation details ... 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)
50Philippe A. Palanque, Floor Koornneef, Chris W. Johnson 0001, Gerd Szwillus, Peter C. Wright Safety-critical interaction: usability in incidents and accidents. Search on Bibsonomy CHI Extended Abstracts The full citation details ... 2004 DBLP  DOI  BibTeX  RDF usability, reliability, safety critical systems, human error
50Jorge 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. Search on Bibsonomy IEEE Softw. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF inspection checklist, safety-critical software, code inspection
50Donald Firesmith Engineering safety-related requirements for software-intensive systems. Search on Bibsonomy ICSE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF requirements engineering, safety, safety requirements
50Pao-Ann Hsiung, Yen-Hung Lin Modeling and Verification of Safety-Critical Systems Using Safecharts. Search on Bibsonomy FORTE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
48Matthias Giese, Tomasz Mistrzyk, Andreas Pfau, Gerd Szwillus, Michael von Detten AMBOSS: A Task Modeling Approach for Safety-Critical Systems. Search on Bibsonomy TAMODIA/HCSE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF task editor, simulation, task modeling, safety-critical systems, socio-technical systems, task patterns
48Philippe A. Palanque, Sandra Basnyat, Regina Bernhaupt, Ronald L. Boring, Chris W. Johnson 0001, Peter Johnson 0001 Beyond usability for safety critical systems: how to be sure (safe, usable, reliable, and evolvable)? Search on Bibsonomy CHI Extended Abstracts The full citation details ... 2007 DBLP  DOI  BibTeX  RDF reliability safety critical systems, usability, safety, human error
48Henrik Theiling Extracting safe and precise control flow from binaries. Search on Bibsonomy RTCSA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF safe precise control flow extraction, binary executables, instruction sequence clustering, branch targets, block boundaries, safety-critical real-time systems, graph approximation, entry points, instruction blocks, instruction routines, real-time systems, uncertainties, sequences, safety-critical software, program diagnostics, control flow graph, program control structures, static program analysis, flow graphs, bottom-up approach
48Jason D. Lee, Praveen Bhojwani, Rabi N. Mahapatra A Safety Analysis Framework for COTS Microprocessors in Safety-Critical Applications. Search on Bibsonomy HASE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
47Horst Miedl, Jang-Soo Lee, Arndt Lindner, Ernst Hoffman, Josef Märtz, Young-Jun Lee, Jong-Gyun Choi, Jangyeol 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. Search on Bibsonomy SAFECOMP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
46Eduardo B. Fernández, Robert B. France Formal specification of real-time dependable systems. Search on Bibsonomy ICECCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF real-time dependable systems, analyzable specifications, specification analysis techniques, fault-tolerant quality, security quality, safety-critical quality, behavioral quality, precise specification language, formal reasoning systems, nonfunctional qualities, multilevel description, real-time systems, formal specification, formal specification, specification languages, security of data, software fault tolerance, consistency check, safety-critical software, system monitoring
46Harold W. Thimbleby User-Centered Methods Are Insufficient for Safety Critical Systems. Search on Bibsonomy USAB The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Safety Critical Interactive Devices, Human-Computer Interaction, Usability Engineering, Interaction Programming
46Stefania Gnesi, Diego Latella, Gabriele Lenzini, C. Abbaneo, Arturo M. Amendola, P. Marmo An Automatic SPIN Validation of a Safety Critical Railway Control System. Search on Bibsonomy DSN The full citation details ... 2000 DBLP  DOI  BibTeX  RDF dependable protocols, model checking, formal verification, safety-critical systems
46Fan Ye 0005, Tim Kelly COTS Product Selection for Safety-Critical Systems. Search on Bibsonomy ICCBSS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
45Wolfgang A. Halang, Peter Vogrin, Matjaz Colnaric A Safety Licensable PES for SIL 4 Applications. Search on Bibsonomy SAFECOMP The full citation details ... 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
44Janice Hill A Software Safety Risk Taxonomy for Use in Retrospective Safety Cases. Search on Bibsonomy SEW The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
44Ales Plsek, Lei Zhao, Veysel Harun Sahin, Daniel Tang, Tomas Kalibera, Jan Vitek Developing safety critical Java applications with oSCJ/L0. Search on Bibsonomy JTRES The full citation details ... 2010 DBLP  DOI  BibTeX  RDF memory management, Java virtual machine, safety critical systems
44Andy J. Wellings, MinSeong Kim Asynchronous event handling and safety critical Java. Search on Bibsonomy JTRES The full citation details ... 2010 DBLP  DOI  BibTeX  RDF safety critical Java, threads, real-time specification for Java, asynchronous events
44Alan Wassyng, Mark Lawford, Xiayong Hu Timing Tolerances in Safety-Critical Software. Search on Bibsonomy FM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF timing tolerances, real-time, requirements, safety-critical
44Julia Rose Galliers, Alistair G. Sutcliffe, Shailey Minocha An impact analysis method for safety-critical user interface design. Search on Bibsonomy ACM Trans. Comput. Hum. Interact. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF scenario-based casual analysis, human error, Bayesian belief networks, safety-critical
44Haiying Tu, Fangmei Wu How to Design an Environment Simulator for Safety Critical Software Testing. Search on Bibsonomy Asian Test Symposium The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Simulation, Software Testing, Object-Oriented Design, Fault-Injection, Safety-Critical Software, Black-Box Testing
44Christophe Aussaguès, Vincent David A Method and a Technique to Model and Ensure Timeliness in Safety Critical Real-Time Systems. Search on Bibsonomy ICECCS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF modeling, real-time, analysis, safety critical systems, timeliness
44Bev Littlewood, David Wright 0001 Some Conservative Stopping Rules for the Operational Testing of Safety-Critical Software. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF operational testing, testing stopping rule, software reliability, Safety-critical software, statistical testing
44Lloyd G. Williams Assessment of Safety-Critical Specifications. Search on Bibsonomy IEEE Softw. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF safety-critical system specifications, specification ambiguity, software cost reduction method, Vienna Definition Method, semantic capabilities, assessment criteria, formal specification, formal methods, formal verification, formal verification, software reliability, safety, software cost estimation, understandability, VDM, Vienna development method
44Hong Zhu 0002, Patrick A. V. Hall, John H. R. May, T. Cockram Injecting Faults into Environment Simulators for Testing Safety Critical Software. Search on Bibsonomy EDCC The full citation details ... 1994 DBLP  DOI  BibTeX  RDF Simulation, Software testing, Program transformation, Fault injection, Safety critical software
44Abdeslam En-Nouaary, Ferhat Khendek, Rachida Dssouli Testing embedded real-time systems. Search on Bibsonomy RTCSA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF embedded real-time system testing, system correctness, implementation testing, real-time components, communicating timed input-output automata, testing in context, testing in isolation, timed Wp-method, embedded systems, formal specification, formal verification, program testing, conformance testing, conformance testing, timing constraints, safety-critical systems, test case generation, safety-critical software, automata theory, concurrent processes, communicating processes, system quality, partial product
44Alexander Münnich PRED-DF - a data flow based semantic concurrency control protocol for real-time main-memory database systems. Search on Bibsonomy RTCSA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF PRED-DF semantic concurrency control protocol, predeclaration, real-time main-memory database systems, locking-based protocol, serializable schedule generation, blocking time minimization, predictable behaviour, real-time requirements verification, scheduling, real-time systems, predictability, concurrency control, database management systems, task scheduling, data flow analysis, data flow analysis, deadlines, access protocols, hard real-time systems, safety-critical software, safety-critical applications, verification methods
44Miroslav Svéda Embedded system design: a case study. Search on Bibsonomy ECBS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF pumps, embedded distributed systems, dispenser control, local time concept, system-wide global clock, environment specification, system functional specification, logical structure description, petrol pumping station, explosion danger, uncontrolled petrol flow, real-time systems, formal specification, prototyping, distributed processing, controller, implementation, systems analysis, synchronisation, flow control, safety critical system, clocks, distributed control, software prototyping, safety-critical software, embedded system design, counter, control system CAD
44Alan Burns 0001, Neil C. Audsley, Andy J. Wellings Real-time distributed computing. Search on Bibsonomy FTDCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF real-time distributed computing, real-time safety critical distributed systems, resource allocations scheme, timing behaviour, end-to-end deadlines, priority based communication protocols, real-time systems, resource allocation, distributed processing, transport protocols, computational model, flexibility, processor scheduling, safety-critical software, fixed priority scheduling
44Zeshan Kurd, Tim P. Kelly, Jim Austin Exploiting Safety Constraints in Fuzzy Self-organising Maps for Safety Critical Applications. Search on Bibsonomy IDEAL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
43Zeshan Kurd, Tim P. Kelly Using Safety Critical Artificial Neural Networks in Gas Turbine Aero-Engine Control. Search on Bibsonomy SAFECOMP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
42Jiong Yan, Ji Wang 0001, Huowang Chen UML Based Statistical Testing Acceleration of Distributed Safety-Critical Software. Search on Bibsonomy ISPA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
42Mark-Alexander Sujan, Floor Koornneef, Udo Voges Goal-Based Safety Cases for Medical Devices: Opportunities and Challenges. Search on Bibsonomy SAFECOMP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
42Wolfgang A. Halang, Alceu Heinke Frigeri Methods and Languages for Safety-Related Real-Time Programming. Search on Bibsonomy SAFECOMP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Safety controllers, Safe language subsets, Cause/effect tables, Function block diagrams, Safety integrity levels, Real time systems, Programming languages
42P. Seetha Ramaiah, M. Ben Swarup, K. Raja Kumar Conceptual Modeling for Safety Critical Computer Systems. Search on Bibsonomy SNPD The full citation details ... 2008 DBLP  DOI  BibTeX  RDF system design methodology, conceptual modeling, safety-critical systems
42Bente Anda, Kai Hansen, Ingolf Gullesen, Hanne Kristin Thorsen Experiences from introducing UML-based development in a large safety-critical project. Search on Bibsonomy Empir. Softw. Eng. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF UML, Model-driven development, Embedded software, Case study, Safety-critical software
42Weiwei Li, Zhongwei Xu, Yan Jin An Approach for Testing Safety-Critical Software. Search on Bibsonomy Great Lakes Symposium on VLSI The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Failure Severity Level, Failure Frequency, Integrity Level, Safety-Critical Software, Software Safety, Software Validation
42Wei-Tek Tsai, Ramin Mojdehbakhsh, Sanjai Rayadurgam Experience in Capturing Requirements for Safety-Critical Medical Devices in an Industrial Environment. Search on Bibsonomy HASE The full citation details ... 1997 DBLP  DOI  BibTeX  RDF problem specifications, Safety-critical systems, safety analysis, environment modeling, medical devices, requirements acquisition
42Benjamin M. Brosgol Languages for Safety-Critical Software: Issues and Assessment. Search on Bibsonomy ICSE Companion The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
42Stefania Gnesi, Diego Latella, Gabriele Lenzini, C. Abbaneo, Arturo M. Amendola, P. Marmo A Formal Specification and Validation of a Critical System in Presence of Byzantine Errors. Search on Bibsonomy TACAS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF fault tolerant behavior, model checking, formal verifications, safety critical systems, linear temporal logic
41Jing Liu Handling Safety-Related Feature Interaction in Safety-Critical Product Lines. Search on Bibsonomy ICSE Companion The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
40Fernando M. Gonçalves, Marcelino B. Santos, Isabel C. Teixeira, João Paulo Teixeira 0001 Design and Test of a Certifiable ASIC for a Safety-Critical Gas Burner Control System. Search on Bibsonomy J. Electron. Test. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF fault simulation, safety-critical, self-checking
40Fangmei Wu, Lei Huang Efficiency Analysis and Safety Assessment of Automatic Testing for Safety-Critical Software. Search on Bibsonomy Asian Test Symposium The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
39Benjamin M. Brosgol SA2: languages for safety-critical software: issues and assessment. Search on Bibsonomy SIGAda The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
39Todd A. DeLong, D. Todd Smith, Barry W. Johnson Dependability metrics to assess safety-critical systems. Search on Bibsonomy IEEE Trans. Reliab. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
39Isabelle Bichindaritz, Carol Moinpour, Emin Kansu, Gary Donaldson, Nigel Bush, Keith M. Sullivan Case Based Reasoning for Medical Decision-Support in a Safety Critical Environment. Search on Bibsonomy AIME The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
39Chris W. Johnson 0001 Software Support for Incident Reporting Systems in Safety-Critical Applications. Search on Bibsonomy SAFECOMP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
39Matthias Güdemann, Frank Ortmeier, Wolfgang Reif Using Deductive Cause-Consequence Analysis (DCCA) with SCADE. Search on Bibsonomy SAFECOMP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF deductive cause consequence analysis, dcca, SCADE, formal methods, dependability, safety critical systems, safety analysis
38Kevin J. Anderson Common Law Safety Case Approaches to Safety Critical Systems Assurance. Search on Bibsonomy SSS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
38Henk A. P. Blom, Sybert H. Stroeve, Hans H. de Jong Safety Risk Assessment by Monte Carlo Simulation of Complex Safety Critical Operations. Search on Bibsonomy SSS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
38Charles Lee, Jon Garnsworthy, Morris F. Chudleigh, Duncan Bishop Issues in Managing a Safety-Critical System Development Project. Search on Bibsonomy SSS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
38Graham Buckle Static Analysis of Safety Critical Software (Techniques, Tools, and Experiences). Search on Bibsonomy SSS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
38Paul E. Bennett Small Modules as Configuration Items in Certified Safety Critical Systems. Search on Bibsonomy SSS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
38Morris F. Chudleigh, Chris Berridge, Jenny Butler, Rodney May, Ian Poole SADLI: Functional Programming in a Safety Critical Application. Search on Bibsonomy SSS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
38Rachel Burnett Anticipate and Prevent - Managing the Legal Risks in Safety Critical Systems. Search on Bibsonomy SSS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
38Kelvin Nilsen, Adrian Larkham Applying Java™ Technologies to Mission-Critical and Safety-Critical Development. Search on Bibsonomy SSS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
38Marco Bozzano, Adolfo Villafiorita Improving System Reliability via Model Checking: The FSAP/NuSMV-SA Safety Analysis Platform. Search on Bibsonomy SAFECOMP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
38Daniel Tang, Ales Plsek, Jan Vitek Static checking of safety critical Java annotations. Search on Bibsonomy JTRES The full citation details ... 2010 DBLP  DOI  BibTeX  RDF verification, annotations, safety critical systems, memory safety
38Andrew J. Kornecki, Janusz Zalewski Certification of software for real-time safety-critical systems: state of the art. Search on Bibsonomy Innov. Syst. Softw. Eng. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Tool qualification, Real-time systems, Software tools, Safety-critical systems, Software safety, Software certification
38Farah Magrabi Using cognitive models to evaluate safety-critical interfaces in healthcare. Search on Bibsonomy CHI Extended Abstracts The full citation details ... 2008 DBLP  DOI  BibTeX  RDF healthcare, cognitive models, usability evaluation, safety-critical systems, goms
38Richard Bubel, Reiner Hähnle Integration of informal and formal development of object-oriented safety-critical software. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF UML, Formal specification, Design patterns, OCL, Safety-critical software
38Bruno 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. Search on Bibsonomy PLDI The full citation details ... 2003 DBLP  DOI  BibTeX  RDF verification, real-time, static analysis, embedded, abstract interpretation, floating point, safety-critical software, reactive, abstract domains
38Colin O'Halloran Issues for the Automatic Generation of Safety Critical Software. Search on Bibsonomy ASE The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Automatic code generation, safety critical
38Jeffrey M. Thompson, Mats Per Erik Heimdahl An Integrated Development Environment for Prototyping Safety Critical Systems. Search on Bibsonomy IEEE International Workshop on Rapid System Prototyping The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Specification-based Prototyping, Software Engineering, Embedded Systems, Safety-critical Systems, RSML
38Beth Plale, Karsten Schwan Run-time Detection in Parallel and Distributed Systems: Application to Safety-Critical Systems. Search on Bibsonomy ICDCS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF run-time detection, distributed and parallel computing, safety-critical systems, temporal queries, on-line monitoring
38Tim M. Bull Comprehension of Safety-Critical Systems Using Domain-Specific Languages. Search on Bibsonomy WPC The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Program Transformations, Domain-Specific Languages, Safety-Critical Systems
38Bob Fields, Peter C. Wright, Michael D. Harrison A task centered approach to analysing human error tolerance requirements. Search on Bibsonomy RE The full citation details ... 1995 DBLP  DOI  BibTeX  RDF task centered approach, human error tolerance requirements, human operators, operator tasks, software engineering notation, structured tasks, human error forms, formal specification, software development, human factors, systems engineering, user centred design, safety critical systems, task analysis, safety-critical software, operator models, system safety
38Ashraf Armoush, Falk Salewski, Stefan Kowalewski Effective Pattern Representation for Safety Critical Embedded Systems. Search on Bibsonomy CSSE (4) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
38Kelly Weyrauch, Mary Poppendieck, Ron Morsicato, Nancy Van Schooenderwoert, Bill Pyritz Agile Methods for Safety-Critical Software Development. Search on Bibsonomy XP/Agile Universe The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
38John C. Knight Safety critical systems: challenges and directions. Search on Bibsonomy ICSE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 3572 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license