The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
We propose a new approach, namely Optimized Embedded Signature Monitoring (OESM) to perform on-line control-flow fault detection. The underlined advantage of this approach is the ability to perform a profiling algorithm that analyses the control-flow graph of user program in order to optimize the number of checkpoints (i.e., signatures) to be inserted along with the application code. By optimization,...
As computer-based systems have become more complex and we continue to exploit the benefits of code generation for those systems' components or subsystems, we're finding significant integration problems due to unanticipated behavior. It isn't enough to have correct code for software components and subsystems, they must be properly integrated and correctly executed to create a fully functional system...
Component-based software engineering (CBSE) is being used in a wide variety of application areas, including embedded systems. It promises increased reuse leading to higher quality and reduced time to market. The correct operation of the components is often critical for business success and, in some cases, human safety. In this way, assessment, evaluation and certification of embedded software components...
This paper dealt with the following topics: analysis, modelling, and design methods of microsensors, microactuators, and nanotechnology, and/or sensor and actuator system; software system, models, algorithms, methods, testing, verification, reliability, optimisation, and strategies of embedded system; application of informatics to engineering education; and, embedded system applications for electron...
The many geologists have been giving us words of warning that recently the first extraordinary phenomenon of abrupt increase in CO2 has been occurring in the earth history for the latest several hundred millions. This extraordinary phenomenon is one of the most serious problems to be solved by any scientific methods. In the telecommunication fields, the electric energy is processed adequately by the...
Model-based testing is used as a cost-effective development approach especially for embedded systems in the automotive sector. In this work, we focus on two kinds of test case generation and compare two methods. Each method has different criteria for generating test cases: One is based on the theory of Markov chains and the other one is a combination of functions to get test cases for unexpected failure...
Safety and reliability cannot be tested into technical software systems on embedded control units after their development. Preventive actions have to be taken in respect of safety and reliability. An automatic and tool supported check of custom rules, industry standards and enterprise wide guidelines can support the quality assurance process. In the domain of automotive software engineering there...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.