Search results for "Safety-Critical"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
38	William Currie Colket	Code analysis of saftey-critical and real-time software using ASIS.	SIGAda	1999	DBLP DOI BibTeX RDF	real-time, tasking, safety-critical, code analysis, ASIS, high integrity, Ada language, Ravenscar profile
37	Bernd J. Krämer	A Case Study in Developing Complex Safety Critical Systems.	HICSS (5)	1997	DBLP DOI BibTeX RDF
37	Praful V. Bhansali	Universal software safety standard.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF	verification, validation, software safety, system safety
36	Krzysztof Czarnecki 0001, Michael Himsolt, Ernst Richter, Falk Vieweg, Alfred Rosskopf	DataFAN: A Practical Approach to Data Flow Analysis for Ada 95.	Ada-Europe	2002	DBLP DOI BibTeX RDF	language tools, verification, static analysis, quality assurance, safety critical, ASIS, SPARK, mission critical
36	Horst F. Wedde, Sabine Böhm, Wolfgang Freund	Adaptive Protocols For Survivability Of Transactions Operating On Replicated Objects.	WORDS	2001	DBLP DOI BibTeX RDF	adaptive transaction management, adaptive concurrency control, real-time systems, safety-critical systems, Distributed operating systems
36	Vincent David, Jean Delcoigne, Evelyne Leret, Alain Ourghanlian, Philippe Hilsenkopf, Philippe Paris	Safety Properties Ensured by the OASIS Model for Safety Critical Real-Time Systems.	SAFECOMP	1998	DBLP DOI BibTeX RDF
35	Edoardo Campagnano, Ester Ciancamerla, Michele Minichino, Enrico Tronci	Automatic Analysis of a Safety Critical Tele Control System.	SAFECOMP	2005	DBLP DOI BibTeX RDF
35	Junbeom Yoo, Sung Deok Cha, Han Seong Son, Chang Hwoi Kim, Jang-Soo Lee	PLC-Based Safety Critical Software Development for Nuclear Power Plants.	SAFECOMP	2004	DBLP DOI BibTeX RDF
35	Alek Radjenovic, Richard F. Paige	The View Glue.	WADS	2006	DBLP DOI BibTeX RDF	view consistency, modelling, software architectures, safety critical systems, architectural views
35	Norman E. Fenton, Martin Neil	A Strategy for Improving Safety Related Software Engineering Standards.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	IEC1508, measurement, prediction, Standards, assessment, safety-critical
35	Mats Per Erik Heimdahl, David J. Keenan	Generating Code from Hierarchical State-Based Requirements.	RE	1997	DBLP DOI BibTeX RDF	hierarchical state-based requirements, safety-critical embedded computer systems, environmental damage, monetary loss, Irvine Safety Research Group, requirements specification language, Requirements State Machine Language, formal specification, code generation, system complexity, RSML
35	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
35	Lucio Flavio Vismari, João Batista Camargo Jr.	An Absolute-Relative Risk Assessment Methodology Approach to Current Safety Critical Systems and its Application to the ADS-B based Air Traffic Control System.	SRDS	2008	DBLP DOI BibTeX RDF
35	Zeshan Kurd, Tim Kelly	Using Fuzzy Self-Organising Maps for Safety Critical Systems.	SAFECOMP	2004	DBLP DOI BibTeX RDF
35	Rune Winther, Ole-Arnt Johnsen, Bjørn Axel Gran	Security Assessments of Safety Critical Systems Using HAZOPs.	SAFECOMP	2001	DBLP DOI BibTeX RDF
34	Marco Bozzano, Adolfo Villafiorita	The FSAP/NuSMV-SA Safety Analysis Platform.	Int. J. Softw. Tools Technol. Transf.	2007	DBLP DOI BibTeX RDF
34	Javier Fernández Briones, Miguel A. de Miguel, Juan Pedro Silva, Alejandro Alonso 0001	Application of Safety Analyses in Model Driven Development.	SEUS	2007	DBLP DOI BibTeX RDF
34	Haeng-Kon Kim, Youn-Ky Chung	Automatic Translation Form Requirements Model into Use Cases Modeling on UML.	ICCSA (3)	2005	DBLP DOI BibTeX RDF	UML, use cases, CBD, safety analysis, safety requirements
34	Zhongwei Xu, Bangxing Chen	Damage Size and Software Safety Demonstration Stress Testing.	Asian Test Symposium	2003	DBLP DOI BibTeX RDF
33	Annette Böhm, Magnus Jonsson	Supporting real-time data traffic in safety-critical vehicle-to-infrastructure communication.	LCN	2008	DBLP DOI BibTeX RDF
33	Jing Liu, Josh Dehlinger, Hongyu Sun 0001, Robyn R. Lutz	State-Based Modeling to Support the Evolution and Maintenance of Safety-Critical Software Product Lines.	ECBS	2007	DBLP DOI BibTeX RDF
33	Thuy Nguyen, Alain Ourghanlian	Dependability Assessment of Safety-Critical System Software by Static Analysis Methods.	DSN	2003	DBLP DOI BibTeX RDF
33	Jan Jürjens	Developing Safety-Critical Systems with UML.	UML	2003	DBLP DOI BibTeX RDF
33	Alek Radjenovic, Richard F. Paige	Architecture Description Languages for High-Integrity Real-Time Systems.	IEEE Softw.	2006	DBLP DOI BibTeX RDF	software architecture, architecture description languages, safety-critical systems, modeling methodologies, model development
33	Raoul Praful Jetley, Cohan Carlos, S. Purushothaman Iyer	A case study on applying formal methods to medical devices: computer-aided resuscitation algorithm.	Int. J. Softw. Tools Technol. Transf.	2004	DBLP DOI BibTeX RDF	Novice users of formal-methods-based tools, Software requirements analysis, Software for medical devices, Model checking, Safety-critical systems
32	Robyn R. Lutz, Ann Patterson-Hine	Using Fault Modeling in Safety Cases.	ISSRE	2008	DBLP DOI BibTeX RDF
32	Chris W. Johnson 0001	CyberSafety: CyberSecurity and Safety-Critical Software Engineering.	SSS	2012	DBLP DOI BibTeX RDF
32	Fergus Duncan	At the Sharp End: developing and validating Safety Critical Software.	SSS	2012	DBLP DOI BibTeX RDF
32	Armin Beer, Bernhard Peischl	Testing of Safety-Critical Systems - a Structural Approach to Test Case Design.	SSS	2011	DBLP DOI BibTeX RDF
32	Bryan Bakker	Testing Experiences of Safety-Critical Embedded Systems.	SSS	2011	DBLP DOI BibTeX RDF
32	Sung Deok Cha, Sehun Jeong, Junbeom Yoo, Young-Gab Kim	Testing of Safety-Critical Software Embedded in an Artificial Heart.	SSS	2011	DBLP DOI BibTeX RDF
32	Thomas Docker	A Project Manager's View of Safety-Critical Systems.	SSS	2011	DBLP DOI BibTeX RDF
32	Fan Ye 0005, Tim Kelly	Contract-Based Justification for COTS Component within Safety Critical Applications.	SCS	2004	DBLP BibTeX RDF
32	Felix Redmill	A Community Club on Safety-Critical Systems.	SCS	2002	DBLP BibTeX RDF
32	John McMullan	Negligence: Engineering Safety-Critical Systems.	SCS	2002	DBLP BibTeX RDF
32	Tony Cant	Computer-Based Safety Critical Systems in Defence: Def (Aust) 5679.	SCS	2002	DBLP BibTeX RDF
32	Peter A. Lindsay	Improved Acquisition Processes for Safety-Critical Systems in the Australian Department of Defence.	SCS	2001	DBLP BibTeX RDF
32	Simon Connelly, Jay Burmeister, Anthony MacDonald, Andrew Hussey	Extending and Evaluating a Pattern Language for Safety-Critical User Interfaces.	SCS	2001	DBLP BibTeX RDF
32	Brian Butka, Janusz Zalewski, Andrew J. Kornecki	Issues in Tool Qualification for Safety-Critical Hardware: What Formal Approaches Can and Cannot Do.	SAFECOMP	2009	DBLP DOI BibTeX RDF	Tool Qualification, Formal Methods, Safety-Critical Systems, Hardware Design, HDL, PLD
32	Fergal McCaffery, Minna Pikkarainen, Ita Richardson	Ahaa --agile, hybrid assessment method for automotive, safety critical smes.	ICSE	2008	DBLP DOI BibTeX RDF	assessment methods, automotive spice, software process improvement, cmmi, safety-critical, agile practices
32	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
32	Sven Burmester, Holger Giese, Martin Hirsch 0001, Daniela Schilling, Matthias Tichy	The fujaba real-time tool suite: model-driven development of safety-critical, real-time systems.	ICSE	2005	DBLP DOI BibTeX RDF	model checking, UML, embedded systems, real-time, MDA, safety-critical
32	Massimo Baleani, Alberto Ferrari, Leonardo Mangeruca, Alberto L. Sangiovanni-Vincentelli, Maurizio Peri, Saverio Pezzini	Fault-tolerant platforms for automotive safety-critical applications.	CASES	2003	DBLP DOI BibTeX RDF	fault-tolerant, VLSI, system-on-a-chip, automotive, safety critical, multi-processor
32	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
32	Guy A. Boy	Cognitive Function Analysis for Human-Centered Automation of Safety-Critical Systems.	CHI	1998	DBLP DOI BibTeX RDF	function allocation, evaluation, participatory design, automation, safety critical systems, active documents, organizational memory systems, aeronautics
32	Harold W. Thimbleby	Contributing to safety and due diligence in safety-critical interactive systems development by generating and analyzing finite state models.	EICS	2009	DBLP DOI BibTeX RDF	discovery tools, model checking, interaction programming
31	Martin Schoeberl, Hans Søndergaard, Bent Thomsen, Anders P. Ravn	A Profile for Safety Critical Java.	ISORC	2007	DBLP DOI BibTeX RDF
31	Martin Schoeberl, Jan Vitek	Garbage collection for safety critical Java.	JTRES	2007	DBLP DOI BibTeX RDF	real-time system, garbage collection
31	Alan Wassyng, Mark Lawford	Software tools for safety-critical software development.	Int. J. Softw. Tools Technol. Transf.	2006	DBLP DOI BibTeX RDF
31	Tanya L. Crenshaw, Craig L. Robinson, Hui Ding, P. R. Kumar 0001, Lui Sha	A Pattern for Adaptive Behavior in Safety-Critical, Real-Time Middleware.	RTSS	2006	DBLP DOI BibTeX RDF
31	Jing Guan, Jeff Offutt, Paul Ammann	An industrial case study of structural testing applied to safety-critical embedded software.	ISESE	2006	DBLP DOI BibTeX RDF	software testing, embedded software, industrial case study
31	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
31	Jens Brandt 0001, Klaus Schneider 0001	Dependable Polygon-Processing Algorithms for Safety-Critical Embedded Systems.	EUC	2005	DBLP DOI BibTeX RDF
31	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
31	Jan Jürjens, Siv Hilde Houmb	Development of Safety-Critical Systems and Model-Based Risk Analysis with UML.	LADC	2003	DBLP DOI BibTeX RDF
31	M. D. Bennett, Neil C. Audsley	Predictable and Efficient Virtual Addressing for Safety-Critical Real-Time Systems.	ECRTS	2001	DBLP DOI BibTeX RDF
31	Maurizio Rebaudengo, Matteo Sonza Reorda, Marco Torchiano, Massimo Violante	An Experimental Evaluation of the Effectiveness of Automatic Rule-Based Transformations for Safety-Critical Applications.	DFT	2000	DBLP DOI BibTeX RDF
31	R. M. Newman	Designing Hypermedia Documentation for Safety Critical Applications.	ITCC	2000	DBLP DOI BibTeX RDF
31	Marc Richard-Foy	Safe Ada Executive: An Executive for Ada Safety Critical Applications.	Ada-Europe	1995	DBLP DOI BibTeX RDF
31	Ghaith Haddad, Faraz Hussain 0001, Gary T. Leavens	The design of SafeJML, a specification language for SCJ with support for WCET specification.	JTRES	2010	DBLP DOI BibTeX RDF	SafeJML, java modeling language (JML), safety critical Java (SCJ), performance, WCET, timing behavior, duration
31	Tobias Schoofs, Eric Jenn, Stéphane Leriche, Kelvin Nilsen, Ludovic Gauthier, Marc Richard-Foy	Use of PERC Pico in the AIDA avionics platform.	JTRES	2009	DBLP DOI BibTeX RDF	ARINC 653, DO-178C, SCJT, aeronautic certification, safety-critical real-time systems, Java, RTSJ
31	Hermann Kopetz, Astrit Ademaj, Petr Grillinger, Klaus Steinhammer	The Time-Triggered Ethernet (TTE) Design.	ISORC	2005	DBLP DOI BibTeX RDF	fault-tolerant, multimedia, communication, real-time, Ethernet, safety-critical, communication architecture
31	Steve King 0001, Jonathan Hammond, Roderick Chapman, Andy Pryor	Is Proof More Cost-Effective Than Testing?	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	specification proof, code proof, proof vs. testing, formal specification, Safety-critical software, industrial case study, SPARK
31	Simeon Veloudis, Nimal Nissanke	Modelling Coordinated Atomic Actions in Timed CSP.	FTRTFT	2000	DBLP DOI BibTeX RDF	CA actions, real-time systems, safety-critical systems, Timed CSP
31	Bojan Cukic	Combining Testing and Correctness Verification in Software Reliability Assessment.	HASE	1997	DBLP DOI BibTeX RDF	probability of correctness, process-control software, Software reliability, safety-critical systems, statistical sampling
31	Markus Krug 0004, Anton V. Schedl	New demands for invehicle networks.	EUROMICRO	1997	DBLP DOI BibTeX RDF	in-vehicle communication networks, brake-by-wire system, steer-by-wire system, fault-tolerant communication systems, safety-critical applications, automotive electronics
31	E. J. Younger, Z. Luo, Keith H. Bennett, Tim M. Bull	Reverse Engineering Concurrent Programs Using Formal Modelling and Analysis.	WCRE	1996	DBLP DOI BibTeX RDF	transformation based approach, core kernel language, formal program transformations, type proof tools, parallel programming, reverse engineering, software maintenance, concurrent programs, formal modelling, safety critical systems, type theory, formal analysis, type checking, WSL, sequential systems
31	Andrew J. Kornecki, Brian Butka, Janusz Zalewski	Software Tools for Safety-Critical Systems According to DO-254.	Computer	2008	DBLP DOI BibTeX RDF
31	Jonas Elmqvist, Simin Nadjm-Tehrani	Formal Support for Quantitative Analysis of Residual Risks in Safety-Critical Systems.	HASE	2008	DBLP DOI BibTeX RDF
31	Hamdan Dammag, Nimal Nissanke	Safecharts for Specifying and Designing Safety Critical Systems.	SRDS	1999	DBLP DOI BibTeX RDF
31	Lars-Henrik Eriksson	Using Formal Methods in a Retrospective Safety Case.	SAFECOMP	2004	DBLP DOI BibTeX RDF
30	Jonas Elmqvist, Simin Nadjm-Tehrani, Marius Minea	Safety Interfaces for Component-Based Systems.	SAFECOMP	2005	DBLP DOI BibTeX RDF
29	Benjamin M. Brosgol, Andy J. Wellings	A Comparison of Ada and Real-Time JavaTM for Safety-Critical Applications.	Ada-Europe	2006	DBLP DOI BibTeX RDF
29	Michael Vollmer 0002	Numerical Integration of PDEs for Safety Critical Applications Implemented by I&C Systems.	SAFECOMP	2004	DBLP DOI BibTeX RDF
29	D. A. Haverkamp, R. J. Richards	Towards Safety Critical Middleware for Avionics Applications.	LCN	2002	DBLP DOI BibTeX RDF
29	R. M. Newman	Verifying Sequence and Content for Safety Critical Hypermedia Systems.	EUROMICRO	2000	DBLP DOI BibTeX RDF
29	Horst F. Wedde, Jon A. Lind	Novel Principles for Developing and Evaluating Distributed Safety-Critical Systems.	ISADS	1999	DBLP DOI BibTeX RDF
29	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
29	Pasquale di Tommaso, Francesco Flammini, Armando Lazzaro, Raffaele Pellecchia, Angela Sanseviero	The Simulation of Anomalies in the Functional Testing of the ERTMS/ETCS Trackside System.	HASE	2005	DBLP DOI BibTeX RDF	ERTMS/ETCS, Verification & Validation, Safety-Critical Systems, Functional Testing, Simulation Environments
29	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
29	Jan Magott, Pawel Skrobanek	A Method of Analysis of Fault Trees with Time Dependencies.	SAFECOMP	2000	DBLP DOI BibTeX RDF	Safety-Critical System, Protection, Time Petri Net, Fault Tree, Time Dependency
29	Yolanda González Arechavala, Fernando de Cuadra García	MODUS: Integrated Behavior-Oriented Model for Rapid Prototyping.	IEEE International Workshop on Rapid System Prototyping	2000	DBLP DOI BibTeX RDF	software engineering, real-time systems, rapid prototyping, statecharts, safety-critical systems, CASE tools, integrated development environment, software development methods
29	Wolfgang A. Halang, Bernd J. Krämer	Safety Assurance in Process Control.	IEEE Softw.	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
29	Brian Dobbing, Marc Richard-Foy	T-SMART - Task-Safe, Minimal Ada Realtime Toolset.	Ada-Europe	1997	DBLP DOI BibTeX RDF	Ada83, Software Reliability, Certification, Ada 95
28	Mats Per Erik Heimdahl	Safety and Software Intensive Systems: Challenges Old and New.	FOSE	2007	DBLP DOI BibTeX RDF
28	Elena Navarro 0001, Pedro Sánchez, Patricio Letelier 0001, Juan Angel Pastor, Isidro Ramos	A Goal-Oriented Approach for Safety Requirements Specification.	ECBS	2006	DBLP DOI BibTeX RDF
28	D. Needham, S. Jones	A Software Fault Tree Metric.	ICSM	2006	DBLP DOI BibTeX RDF
28	Zeshan Kurd, Tim Kelly	Establishing Safety Criteria for Artificial Neural Networks.	KES	2003	DBLP DOI BibTeX RDF
28	Trent Jaeger, Jonathon Tidswell	Practical safety in flexible access control models.	ACM Trans. Inf. Syst. Secur.	2001	DBLP DOI BibTeX RDF	authorization mechanisms, role-based access control, Access control models
28	Lon D. Gowen	Workshop on Software Safety-Summary of the '94 CMBS Syposium's Software Safety Workshop.	CBMS	1995	DBLP DOI BibTeX RDF
28	David S. Hardin	Invited Tutorial: Considerations in the Design and Verification of Microprocessors for Safety-Critical and Security-Critical Applications.	FMCAD	2008	DBLP DOI BibTeX RDF
28	Alfred Rosskopf	Use of a Static Analysis Tool for Safety-Critical Ada Applications: A Critical Assessment.	Ada-Europe	1996	DBLP DOI BibTeX RDF
27	Robyn R. Lutz, Ines Carmen Mikulski	Empirical Analysis of Safety-Critical Anomalies During Operations.	IEEE Trans. Software Eng.	2004	DBLP DOI BibTeX RDF	Software and system safety, diagnostics, product metrics, maintenance process
27	Robyn R. Lutz, Ines Carmen Mikulski	Requirements Discovery during the Testing of Safety-Critical Software.	ICSE	2003	DBLP DOI BibTeX RDF
27	Horst F. Wedde, Jon A. Lind	Integration of task scheduling and file services in the safety-critical system MELODY.	ECRTS	1998	DBLP DOI BibTeX RDF
27	Kelvin Nilsen	Ada-Java middleware for legacy software modernization.	JTRES	2010	DBLP DOI BibTeX RDF	mixed-language development, software modernization, Java, real-time, Ada, safety-critical, object oriented development, high-integrity systems, mission-critical
27	Rajeev Alur, David Arney, Elsa L. Gunter, Insup Lee 0001, Jaime Lee, Wonhong Nam, Frederick Pearce, Stephen Van Albert, Jiaxiang Zhou	Formal specifications and analysis of the computer-assisted resuscitation algorithm (CARA) Infusion Pump Control System.	Int. J. Softw. Tools Technol. Transf.	2004	DBLP DOI BibTeX RDF	CARA system, Requirements formalization, Formal methods, Safety-critical systems, Software verification
27	Sang Hyuk Son, Robert C. Beckinger, David A. Baker	DRDB: a distributed real-time database server for high-assurance time-critical applications.	COMPSAC	1997	DBLP DOI BibTeX RDF	DRDB, distributed real time database server, high assurance time critical applications, critical tasks, scheduling decisions, concurrency control mechanisms, functional real time database server, operational platform, distributed real time database issues, distributed databases, timing constraints, data consistency, simulated environment, real time database systems, safety critical applications, operating environment
27	Hans Hansson, Harold W. Lawson, Mikael Strömberg, Sven Larsson	BASEMENT: a distributed real-time architecture for vehicle applications.	IEEE Real Time Technology and Applications Symposium	1995	DBLP DOI BibTeX RDF	BASEMENT, distributed real-time architecture, vehicle applications, distributed real time architecture, vehicle internal use, guaranteed real time service, distributed devices, program development methodology, application oriented development, offline scheduler, intelligent cruise control application, real-time systems, distributed processing, resource sharing, multiplexing, operating system kernels, system simulator, safety critical applications, communication support, communication infrastructure, automobiles, computerised control, automotive industry, driver information systems, automotive electronics, real time kernel
27	Robert M. Newman, Elena I. Gaura	Formal design of SMIL presentations.	SIGDOC	2003	DBLP DOI BibTeX RDF	formal methods, SMIL, hypermedia design