Results 211 to 220 of about 9,844 (253)
Some of the next articles are maybe not open access.
Executable assertions and timed traces for on-line software error detection
Proceedings of Annual Symposium on Fault Tolerant Computing, 2002The topic of this paper is the detection of errors due to residual faults in software, particularly those with temporary effects. After positioning our approach amongst existing fault tolerance and detection techniques, we propose detection mechanisms for such errors. These mechanisms are designed to detect both data and control flow errors.
Christophe Rabéjac +2 more
openaire +1 more source
A Multiple Equivalent Execution Trace Approach to Secure Cryptographic Embedded Software
Proceedings of the 51st Annual Design Automation Conference, 2014We propose an efficient and effective method to secure software implementations of cryptographic primitives on low-end embedded systems, against passive side-channel attacks relying on the observation of power consumption or electro-magnetic emissions. The proposed approach exploits a modified llvm compiler toolchain to automatically generate a secure ...
AGOSTA, GIOVANNI +3 more
openaire +1 more source
Software Vulnerability Detection Using Backward Trace Analysis and Symbolic Execution
2013 International Conference on Availability, Reliability and Security, 2013Software vulnerability has long been considered an important threat to the safety of software systems. When source code is accessible, we can get much help from the information of source code to detect vulnerabilities. Static analysis has been used frequently to scan code for errors that cause security problems when source code is available.
Hongzhe Li +3 more
openaire +1 more source
Measurement based software execution tracing in HIL (Hardware In the Loop) tests
2014 IEEE/ASME 10th International Conference on Mechatronic and Embedded Systems and Applications (MESA), 2014Statistics show that in most of the automotive developments the role of the electronics is getting more and more significant. Some say that today, 90 percent of all innovation in the automotive sector are driven by electronics and software. Many of these developments and innovations affect safety critical functions.
Balazs Scherer, Gábor Horváth 0002
openaire +1 more source
On the Practical Feasibility of Software Monitoring: a Framework for Low-Impact Execution Tracing
2019 IEEE/ACM 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), 2019In order for a software system to self-adapt, it often needs to be aware of its behavior. A typical way of achieving this is by means of the runtime collection of execution traces, which requires the interception of the execution of, e.g. methods, and record information about them.
Jhonny Mertz, Ingrid Nunes
openaire +1 more source
Third eye --- specification-based analysis of software execution traces (poster session)
Proceedings of the 22nd international conference on Software engineering - ICSE '00, 2000Another concept of Third Eye is the tracing state. Tracing state is a set of event types generated in that state, other event types are filtered out and not reported. The system is always in a specific tracing state. Tracing states correspond to specifications. A program specification describes a set of constraints on events.
Raimondas Lencevicius +2 more
openaire +1 more source
A software system for tracing numerical significance during computer program execution
Proceedings of the May 18-20, 1971, spring joint computer conference on - AFIPS '71 (Spring), 1971This report will describe and discuss a presently-operational software system for tracing and displaying numerical accuracy in digital computer calculation. A FORTRAN program processed by the system is executed in an artificial arithmetic, in which every arithmetic step produces, in addition to the numerical result, an estimate of the number of ...
Herbert S. Bright +2 more
openaire +1 more source
Proposing Universal Execution Trace Framework for Embedded Software Using QEMU
2009 Software Technologies for Future Dependable Distributed Systems, 2009A dynamic program trace facility is very useful for program debugging, testing, validating, and profiling. A variety of tools equipped with dynamic program trace facilities have been developed and used. In this paper, we propose a universal execution trace framework for embedded software that uses QEMU, which is a virtual execution environment ...
Yukikazu Nakamoto +2 more
openaire +1 more source
Fault Localization of CNC Software Based on Searching in Divided Execution Trace
Applied Mechanics and Materials, 2011In the proceeding of the CNC system, it is a valuable subject that how to locate the fault based on the function of the CNC system. To solve this problem, the method of searching in divided execution trace was introduced into the fault localization of the CNC system.
Ming Yang Ma +5 more
openaire +1 more source
Measuring COSMIC Software Size from Functional Execution Traces of Java Business Applications
2014 Joint Conference of the International Workshop on Software Measurement and the International Conference on Software Process and Product Measurement, 2014Functional Size Measurement (FSM) methods aim to measure the size of software by quantifying its functional user requirements. Although FSM is greatly beneficial in software project management, due to involving judgment on the part of the measurer, differences for the same application may occur.
Muhammet Ali Sag, Ayça Tarhan
openaire +1 more source