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.
Modern driver assistance systems are often using a wide range of equipped sensors as primary data source. The reliability of each sensor is specified by the manufacturer and influences the system reliability distinctly. To prevent potential fatal system failures, diverse failure prevention mechanisms are included. Nevertheless, a certain level of reliability of the system has to be guaranteed to meet...
Highly customizable products and mass customiza-tion -- as increasing trends of the last years -- are mainly responsible for an immense growth of complexity within the digital representations of knowledge of car manufacturers. We developed a method to detect and analyze inconsistencies by employing a Multi-Valued Decision Diagram (MDD) which isused to encode the set of all valid product configurations...
Embedded systems in automotive engineering are getting more and more complex due to a higher rate of integration and shared usage of sensor signals. A common solution to testing these systems is deriving test cases from models, so called model-based testing. In practice, generated test suites are typically very huge and have to be reduced by methods of regression-test selection and prioritization...
Embedded systems become increasingly complex and distributed. Although there is necessity for thourough testing, exhaustive validiation and verification is hardly possible in industry due to time and resource restrictions. In the past the reason for this has often been that it was to time-consuming to specify, to execute, and to evaluate test cases for the first design models and the integrated embedded...
In embedded automotive real-time systems correct timing is required to effectively implement distributed applications, time-triggered communication, and integration of intelligent safety applications. We use formal schedulability analysis to validate the task timing for asynchronous real-time systems in an automotive context. Restricting the computational model to purely time-triggered task activation...
Model-driven testing based on Markov chain usage models (MCUM) is an established method to address testing issues. It is not possible, however, to describe by means of MCUMs the timing of stimuli and time dependencies between inputs and outputs of a system. Additional concepts and information is needed. In this paper it is presented how Timed Usage Models (TUM) can be used to solve this issue. Concepts...
Designing integrated electronic control units (ECU) in the automotive domain is challenging especially when legacy sub-systems are involved. Nevertheless, important design decisions have to be made at early design stages when some performance parameters of new sub-systems may not be validated yet. To account for uncertainty in the system development we use statistical modeling and discrete event simulation...
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.