Search results for "safety critical applications"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Janusz Sosnowski, Dawid Trawczynski, Janusz Zalewski	Safety Issues in Modern Bus Standards.	IEEE Computer	2008	DBLP DOI BibTeX RDF	bus standards, standards, safety-critical applications
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	Pavel Horsky	LC Oscillator Driver for Safety Critical Applications.	DATE	2005	DBLP DOI BibTeX RDF
2	M. Vollmer	Numerical Integration of PDEs for Safety Critical Applications Implemented by I&C Systems.	SAFECOMP	2004	DBLP DOI BibTeX RDF
2	Zeshan Kurd, Tim P. Kelly, Jim Austin	Exploiting Safety Constraints in Fuzzy Self-organising Maps for Safety Critical Applications.	IDEAL	2004	DBLP DOI BibTeX RDF
2	Chris Johnson	Software Support for Incident Reporting Systems in Safety-Critical Applications.	SAFECOMP	2000	DBLP DOI BibTeX RDF
2	Maurizio Rebaudengo, Matteo Sonza Reorda, Marco Torchiano, Massimo Violante	An Experimental Evaluation of the Effectiveness of Automatic Rule-Based Transformations for Safety-Critical Applications. (PDF / PS)	DFT	2000	DBLP DOI BibTeX RDF
2	R. M. Newman	Designing Hypermedia Documentation for Safety Critical Applications.	ITCC	2000	DBLP DOI BibTeX RDF
2	Vangalur S. Alagar, D. Muthiayen	Towards a mechanical verification of real-time reactive systems modeled in UML.	RTCSA	2000	DBLP DOI BibTeX RDF	Prototype Verification System, real-time systems, UML, Unified Modeling Language, formal specification, object-oriented programming, program verification, specification languages, PVS, notation, safety-critical applications, mechanical verification, real-time reactive systems, design analysis, object-based systems
2	Jacob Frost	An Ada95 Solution for Certification of Embedded Safety Critical Applications.	Ada-Europe	1999	DBLP DOI BibTeX RDF
2	Sang Hyuk Son, Robert C. Beckinger, David A. Baker	DRDB: a distributed real-time database server for high-assurance time-critical applications. (PDF / PS)	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
2	Markus Krug, 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
2	Victor L. Winter	Software on the edge. (PDF / PS)	HASE	1996	DBLP DOI BibTeX RDF	formal specification, formal methods, software reliability, software reliability, software component, safety-critical applications, systems failure
2	K. H. Kim	Toward new-generation real-time object-oriented computing.	FTDCS	1995	DBLP DOI BibTeX RDF	new-generation real-time object-oriented computing, idealistic perfectionist approach, RTO.k object structuring scheme, DREAM kernel model, real-time systems, object-oriented programming, safety-critical applications, real-time computer system
2	Hans Hansson, Harold W. Lawson, Mikael Strömberg, Sven Larsson	BASEMENT: a distributed real-time architecture for vehicle applications. (PDF / PS)	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, automobiles, communication support, communication infrastructure, computerised control, automotive industry, driver information systems, automotive electronics, real time kernel
1	R. S. Oliveira, Jorge Semião, Isabel C. Teixeira, Marcelino B. Santos, João Paulo Teixeira	On-Line BIST for Performance Failure Prediction Under NBTI-Induced Aging in Safety-Critical Applications.	J. Low Power Electronics	2011	DBLP BibTeX RDF
1	M. Ebrahimi, Seyed Ghassem Miremadi, Hossein Asadi	ScTMR: A scan chain-based error recovery technique for TMR systems in safety-critical applications.	DATE	2011	DBLP BibTeX RDF
1	James S. Rogers	Language choice for safety critical applications.	SIGAda	2011	DBLP DOI BibTeX RDF
1	Xianbo Chen, Hazem H. Refai, Xiaomin Ma	On the enhancements to IEEE 802.11 MAC and their suitability for safety-critical applications in VANET.	Wireless Communications and Mobile Computing	2010	DBLP DOI BibTeX RDF
1	Romuald Girardey, Michael Hübner, Jürgen Becker	Safety Aware Place and Route for On-Chip Redundancy in Safety Critical Applications.	ISVLSI	2010	DBLP DOI BibTeX RDF
1	Romuald Girardey, Michael Hübner, Jürgen Becker	Mixed-Signal Diverse Redundant System for Safety Critical Applications in FPGA.	ISVLSI	2010	DBLP DOI BibTeX RDF
1	Christopher W. Johnson, Stefan Raue	On the Safety Implications of E-Governance: Assessing the Hazards of Enterprise Information Architectures in Safety-Critical Applications.	SAFECOMP	2010	DBLP DOI BibTeX RDF
1	Julio César Vázquez, Víctor H. Champac, Adriel Ziesemer, Ricardo Reis, Isabel Maria Cacho Teixeira, Marcelino B. Santos, João Paulo Teixeira	Low-sensitivity to process variations aging sensor for automotive safety-critical applications.	VTS	2010	DBLP DOI BibTeX RDF
1	Julio César Vázquez, Víctor H. Champac, Isabel C. Teixeira, Marcelino B. Santos, João Paulo Teixeira	Programmable aging sensor for automotive safety-critical applications.	DATE	2010	DBLP BibTeX RDF
1	Luca Sterpone	Electronics System Design Techniques for Safety Critical Applications		2009	DBLP DOI BibTeX RDF
1	Romuald Girardey, Michael Hübner, Jürgen Becker	Dynamic reconfigurable mixed-signal architecture for safety critical applications.	FPL	2009	DBLP DOI BibTeX RDF
1	Julio César Vázquez, Víctor H. Champac, Adriel Ziesemer, Ricardo Reis, Isabel C. Teixeira, Marcelino B. Santos, João Paulo Teixeira	Built-in aging monitoring for safety-critical applications.	IOLTS	2009	DBLP DOI BibTeX RDF
1	Yasser Sedaghat, Seyed Ghassem Miremadi	Categorizing and Analysis of Activated Faults in the FlexRay Communication Controller Registers.	European Test Symposium	2009	DBLP DOI BibTeX RDF	FlexRay protocol, Fault injection, Distributed embedded systems, Safety-critical applications
1	Alireza Ejlali, Bashir M. Al-Hashimi, Petru Eles	A standby-sparing technique with low energy-overhead for fault-tolerant hard real-time systems.	CODES+ISSS	2009	DBLP DOI BibTeX RDF	reliability, energy minimization, hard real-time systems
1	Joseph Porter, Gabor Karsai, Janos Sztipanovits	Towards a time-triggered schedule calculation tool to support model-based embedded software design.	EMSOFT	2009	DBLP DOI BibTeX RDF	constraint programming, model-based design, time triggered architecture
1	Rahul Mangharam, Miroslav Pajic, Shivakumar Sastry	Demo abstract: Embedded Virtual Machines for wireless industrial automation.	IPSN	2009	DBLP DOI BibTeX RDF
1	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
1	Ben Swarup Medikonda, Seetha Ramaiah Panchumarthy	A framework for software safety in safety-critical systems.	ACM SIGSOFT Software Engineering Notes	2009	DBLP DOI BibTeX RDF	software quality, safety-critical system, software safety
1	Yung-Yuan Chen, Chung-Hsien Hsu, Kuen-Long Leu	SoC-level risk assessment using FMEA approach in system design with SystemC.	SIES	2009	DBLP DOI BibTeX RDF
1	Luca Sterpone	Timing Driven Placement for Fault Tolerant Circuits Implemented on SRAM-Based FPGAs.	ARC	2009	DBLP DOI BibTeX RDF	fault tolerance, FPGA, Single Event Upset, Triple Modular Redundancy, Timing-driven Placement
1	Philippe A. Palanque, Jean-François Ladry, David Navarre, Eric Barboni	High-Fidelity Prototyping of Interactive Systems Can Be Formal Too.	HCI	2009	DBLP DOI BibTeX RDF	reliability, evolvability, formal description techniques, Model-based approaches, interactive prototyping
1	Christof Fetzer, Ute Schiffel, Martin Süßkraut	AN-Encoding Compiler: Building Safety-Critical Systems with Commodity Hardware.	SAFECOMP	2009	DBLP DOI BibTeX RDF
1	Osman Hasan, Sanaz Khan Afshar, Sofiène Tahar	Formal Analysis of Optical Waveguides in HOL.	TPHOLs	2009	DBLP DOI BibTeX RDF
1	Roman Gumzej, Wolfgang A. Halang	A safety shell for UML-RT projects structure and methods of the corresponding UML pattern.	ISSE	2009	DBLP DOI BibTeX RDF	Safety shell, Real time, Pattern, Safety, UML-RT
1	Luca Sterpone, M. A. Aguirre, Jonathan Noel Tombs, Hipólito Guzmán-Miranda	On the design of tunable fault tolerant circuits on SRAM-based FPGAs for safety critical applications.	DATE	2008	DBLP DOI BibTeX RDF
1	Yasser Sedaghat, Seyed Ghassem Miremadi	Investigation and Reduction of Fault Sensitivity in the FlexRay Communication Controller Registers.	SAFECOMP	2008	DBLP DOI BibTeX RDF	Flex- Ray protocol, Fault injection, Distributed embedded systems, Safety-critical applications
1	Eric Eide, John Regehr	Volatiles are miscompiled, and what to do about it.	EMSOFT	2008	DBLP DOI BibTeX RDF	compiler defect, compiler testing, random program generation, random testing, automated testing, volatile
1	Mohammad F. J. Klaib, Kamal Zuhairi Zamli, Nor Ashidi Mat Isa, Mohammed I. Younis, Rusli Abdullah	G2Way A Backtracking Strategy for Pairwise Test Data Generation.	APSEC	2008	DBLP DOI BibTeX RDF
1	Ashraf Armoush, Falk Salewski, Stefan Kowalewski	Effective Pattern Representation for Safety Critical Embedded Systems.	CSSE	2008	DBLP DOI BibTeX RDF
1	Adeel Israr, Sorin A. Huss	Specification and Design Considerations for Reliable Embedded Systems.	DATE	2008	DBLP DOI BibTeX RDF
1	Ute Wappler, Martin Muller	Software Protection Mechanisms for Dependable Systems.	DATE	2008	DBLP DOI BibTeX RDF
1	Xingguo Xiong, Yu-Liang Wu, Wen-Ben Jone	Material Fatigue and Reliability of MEMS Accelerometers.	DFT	2008	DBLP DOI BibTeX RDF
1	Gabriella Carrozza, Domenico Cotroneo, Stefano Russo	Software Faults Diagnosis in Complex OTS Based Safety Critical Systems.	EDCC	2008	DBLP DOI BibTeX RDF
1	Ashraf Armoush, Falk Salewski, Stefan Kowalewski	A Hybrid Fault Tolerance Method for Recovery Block with a Weak Acceptance Test.	EUC	2008	DBLP DOI BibTeX RDF
1	Kanthakumar Pongaliur, Zubin Abraham, Alex X. Liu, Li Xiao, Leo Kempel	Securing Sensor Nodes Against Side Channel Attacks.	HASE	2008	DBLP DOI BibTeX RDF
1	Jason D. Lee, Nikhil Gupta, Praveen Bhojwani, Rabi N. Mahapatra	An On-Demand Test Triggering Mechanism for NoC-Based Safety-Critical Systems.	ISQED	2008	DBLP DOI BibTeX RDF	test triggering, network on chip, on-line test
1	M. Ben Swarup, P. Seetha Ramaiah	An Approach to Modeling Software Safety.	SNPD	2008	DBLP DOI BibTeX RDF	software quality, safety-critical system, software safety
1	Bo Zhang	Specifying and Verifying Timing Properties of a Time-triggered Protocol for In-vehicle Communication.	SNPD	2008	DBLP DOI BibTeX RDF
1	Samarjit Chakraborty, Sethu Ramesh	Programming and Performance Modelling of Automotive ECU Networks.	VLSI Design	2008	DBLP DOI BibTeX RDF
1	Ulrich Klehmet, Thomas Herpel, Kai-Steffen Jens Hielscher, Reinhard German	Real-Time Guarantees for CAN Traffic.	VTC Spring	2008	DBLP DOI BibTeX RDF
1	Virginia Papailiopoulou, Laya Madani, Lydie du Bousquet, Ioannis Parissis	Extending Structural Test Coverage Criteria for Lustre Programs with Multi-clock Operators.	FMICS	2008	DBLP DOI BibTeX RDF
1	Eva Beckschulze, Falk Salewski, Thomas Siegbert, Stefan Kowalewski	Fault Handling Approaches on Dual-Core Microcontrollers in Safety-Critical Automotive Applications.	ISoLA	2008	DBLP DOI BibTeX RDF
1	Thomas Grill, Margit Blauhut	Design Patterns Applied in a User Interface Design (UID) Process for Safety Critical Environments (SCEs).	USAB	2008	DBLP DOI BibTeX RDF	Safety critical environments, HCI, patterns
1	Traian Pop, Paul Pop, Petru Eles, Zebo Peng, Alexandru Andrei	Timing analysis of the FlexRay communication protocol.	Real-Time Systems	2008	DBLP DOI BibTeX RDF	Distributed embedded systems, Real-time analysis, FlexRay
1	Pavel Horsky	LC Oscillator Driver for Safety Critical Applications	CoRR	2007	DBLP BibTeX RDF
1	Bertrand Rousseau, Philippe Manet, D. Galerin, D. Merkenbreack, Jean-Didier Legat, F. Dedeken, Yves Gabriel	Enabling certification for dynamic partial reconfiguration using a minimal flow.	DATE	2007	DBLP DOI BibTeX RDF
1	Daniel Tejera, Alejandro Alonso, Miguel A. de Miguel	RMI-HRT: remote method invocation - hard real time.	JTRES	2007	DBLP DOI BibTeX RDF	HRTJ profile, distributed systems, RTSJ, RMI
1	Daniel Kästner	Safe worst-case execution time analysis by abstract interpretation of executable code.	LCTES	2007	DBLP DOI BibTeX RDF
1	Leticia Maria Veiras Bolzani, Paolo Bernardi, Matteo Sonza Reorda	An optimized hybrid approach to provide fault detection and correction in SoCs.	SBCCI	2007	DBLP DOI BibTeX RDF	fault correction, SoCs, fault detection, hybrid approach
1	M. Marshall, G. Russell	A Low Power Information Redundant Concurrent Error Detecting Asynchronous Processor.	DSD	2007	DBLP DOI BibTeX RDF
1	Tao Xu, Krishnendu Chakrabarty	Parallel Scan-Like Testing and Fault Diagnosis Techniques for Digital Microfluidic Biochips.	European Test Symposium	2007	DBLP DOI BibTeX RDF
1	Martin Schoeberl	A Time-Triggered Network-on-Chip.	FPL	2007	DBLP DOI BibTeX RDF
1	Ettore Ferranti, Niki Trigoni, Mark Levene	Brick & Mortar: an on-line multi-agent exploration algorithm.	ICRA	2007	DBLP DOI BibTeX RDF
1	Matthias Güdemann, Andreas Angerer, Frank Ortmeier, Wolfgang Reif	Modeling of self-adaptive systems with SCADE.	ISCAS	2007	DBLP DOI BibTeX RDF
1	Tunc Ikikardes, Markus Hofbauer, August Kaelin, Martin May	A Robust, Responsive, Distributed Tree-Based Routing Algorithm Guaranteeing N Valid Links per Node in Wireless Ad-Hoc Networks.	ISCC	2007	DBLP DOI BibTeX RDF
1	Martin Schoeberl, Hans Søndergaard, Bent Thomsen, Anders P. Ravn	A Profile for Safety Critical Java.	ISORC	2007	DBLP DOI BibTeX RDF
1	Prahladavaradan Sampath, A. C. Rajeev, S. Ramesh, K. C. Shashidhar	Testing Model-Processing Tools for Embedded Systems.	IEEE Real-Time and Embedded Technology and Applications Symposium	2007	DBLP DOI BibTeX RDF
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	Vitaly Schetinin, Jonathan E. Fieldsend, Derek Partridge, Timothy J. Coats, Wojtek J. Krzanowski, Richard M. Everson, Trevor C. Bailey, Adolfo Hernandez	Confident Interpretation of Bayesian Decision Tree Ensembles for Clinical Applications.	IEEE Transactions on Information Technology in Biomedicine	2007	DBLP DOI BibTeX RDF
1	Lutz Gröll, Andreas Kapp	Effect of Fast Motion on Range Images Acquired by Lidar Scanners for Automotive Applications.	IEEE Transactions on Signal Processing	2007	DBLP DOI BibTeX RDF
1	Divya Arora, Srivaths Ravi, Anand Raghunathan, Niraj K. Jha	Architectural Support for Run-Time Validation of Program Data Properties.	IEEE Trans. VLSI Syst.	2007	DBLP DOI BibTeX RDF
1	Yudistira Asnar, Paolo Giorgini, Nicola Zannone	Reasoning About Risk in Agent's Deliberation Process: A Jadex Implementation.	AOSE	2007	DBLP DOI BibTeX RDF
1	Thomas Kropf	Software Bugs Seen from an Industrial Perspective or Can Formal Methods Help on Automotive Software Development?	CAV	2007	DBLP DOI BibTeX RDF
1	Ibrahim Habli, Weihang Wu, Katrina Attwood, Tim Kelly	Extending Argumentation to Goal-Oriented Requirements Engineering.	ER Workshops	2007	DBLP DOI BibTeX RDF
1	Regina Bernhaupt, Philippe A. Palanque, Marco Winckler, David Navarre	Usability Study of Multi-modal Interfaces Using Eye-Tracking.	INTERACT	2007	DBLP DOI BibTeX RDF	two mice, Multimodal interfaces, speech, usability evaluation method
1	Atte Helminen	Case Study on Bayesian Reliability Estimation of Software Design of Motor Protection Relay.	SAFECOMP	2007	DBLP DOI BibTeX RDF
1	Valério Rosset, Pedro F. Souto, Paulo Portugal, Francisco Vasques	A Reliability Evaluation of a Group Membership Protocol.	SAFECOMP	2007	DBLP DOI BibTeX RDF
1	Martin Schoeberl	Mission Modes for Safety Critical Java.	SEUS	2007	DBLP DOI BibTeX RDF
1	Luca Sterpone, Matteo Sonza Reorda, Massimo Violante, Fernanda Lima Kastensmidt, Luigi Carro	Evaluating Different Solutions to Design Fault Tolerant Systems with SRAM-based FPGAs.	J. Electronic Testing	2007	DBLP DOI BibTeX RDF	reliability, fault tolerant systems, SEU, SRAM-based FPGA
1	Fei Su, William L. Hwang, Arindam Mukherjee, Krishnendu Chakrabarty	Testing and Diagnosis of Realistic Defects in Digital Microfluidic Biochips.	J. Electronic Testing	2007	DBLP DOI BibTeX RDF	testing, diagnosis, fault modeling, defects, microfluidics, biochips, biosensors
1	Zeshan Kurd, Tim Kelly, Jim Austin	Developing artificial neural networks for safety critical systems.	Neural Computing and Applications	2007	DBLP DOI BibTeX RDF	Symbolic knowledge, Neural network, Faults, Safety critical, Lifecycle, Hazards, Criteria
1	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
1	Jason A. Blome, Shantanu Gupta, Shuguang Feng, Scott A. Mahlke	Cost-efficient soft error protection for embedded microprocessors.	CASES	2006	DBLP DOI BibTeX RDF	reliability, embedded processors, soft errors
1	Gunar Schirner, Rainer Dömer	Accurate yet fast modeling of real-time communication.	CODES+ISSS	2006	DBLP DOI BibTeX RDF	result oriented modeling, system level design, real-time communication, CAN, controller area network, transaction level model, TLM, ROM
1	Fabiano Costa Carvalho, Carlos Eduardo Pereira, Elias Teodoro Silva Jr., Edison Pignaton de Freitas	A practical implementation of the fault-tolerant daisy-chain clock synchronization algorithm on CAN.	DATE Designers' Forum	2006	DBLP DOI BibTeX RDF
1	Viacheslav Izosimov, Paul Pop, Petru Eles, Zebo Peng	Synthesis of fault-tolerant schedules with transparency/performance trade-offs for distributed embedded systems.	DATE	2006	DBLP DOI BibTeX RDF
1	Hana Chockler, Eitan Farchi, Ziv Glazberg, Benny Godlin, Yarden Nir-Buchbinder, Ishai Rabinovitz	Formal verification of concurrent software: two case studies.	PADTAD	2006	DBLP DOI BibTeX RDF
1	Fei Su, Sule Ozev, Krishnendu Chakrabarty	Concurrent testing of digital microfluidics-based biochips.	ACM Trans. Design Autom. Electr. Syst.	2006	DBLP DOI BibTeX RDF	microfluidics, biochips, Concurrent testing, catastrophic faults
1	Shaoxiong Hua, Pushkin R. Pari, Gang Qu	Dual-Processor Design of Energy Efficient Fault-Tolerant System.	ASAP	2006	DBLP DOI BibTeX RDF
1	Viacheslav Izosimov, Paul Pop, Petru Eles, Zebo Peng	Synthesis of Fault-Tolerant Embedded Systems with Checkpointing and Replication.	DELTA	2006	DBLP DOI BibTeX RDF
1	Traian Pop, Paul Pop, Petru Eles, Zebo Peng, Alexandru Andrei	Timing Analysis of the FlexRay Communication Protocol.	ECRTS	2006	DBLP DOI BibTeX RDF
1	Jason J. Scarlett, Robert W. Brennan	Re-evaluating Event-Triggered and Time-Triggered Systems.	ETFA	2006	DBLP DOI BibTeX RDF
1	Matteo Sonza Reorda, Luca Sterpone, Massimo Violante, Marta Portela-García, Celia López-Ongil, Luis Entrena	Fault Injection-based Reliability Evaluation of SoPCs.	European Test Symposium	2006	DBLP DOI BibTeX RDF
1	S. Habermann, René Kothe, Heinrich Theodor Vierhaus	Built-in Self Repair by Reconfiguration of FPGAs.	IOLTS	2006	DBLP DOI BibTeX RDF
1	Roman Obermaisser, Philipp Peti	Realization of virtual networks in the DECOS integrated architecture.	IPDPS	2006	DBLP DOI BibTeX RDF