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.
Nowadays, software development innovations are heavily found in electronic control units for the automotive sector. Software in this sector has grown considerably, though, the number of vehicle recalls because of software defects has grown accordingly. Because of this situation, different proposals arise in the various phases of the software development life cycle which aim to prevent these defects...
Internet of Things represents a challenge in the automotive industry development, as it demands for innovation, integration, safety and security. These lead to highly sophisticated requirements set for the design process. The difficulty of managing natural language requirements may lead to inherent errors such as incompleteness, ambiguousness, etc. Adding formality to the requirements is recognized...
In the context of safety-critical product lines, industries have to face an urgent challenge: reduction of time and cost for the creation of a safety case. A safety case is a contextualized structured argument constituted of process and product-based sub-arguments to show that a system is acceptably safe. Its creation is an extremely time-consuming and costly activity. To reduce time and cost, reuse...
Hydraulic power steering systems, which can provide large steering assist force, are widely used for heavy-duty commercial vehicles to enhance the driving comfort. Such systems have great influences on vehicle controllability, steering stability and safety. However, interpolated table from experiment data was used as the assist force to study the vehicle dynamics in many previous works, so the transient...
A seamless model-based methodology for requirements specification becomes increasingly the key to successful software systems engineering. The enhanced activity diagrams of UML 2 offer a promising intuitive modeling approach for requirements capturing. On this basis, we propose a formal syntax and operational semantics and extend activity diagrams to LADs (Live Activity Diagrams) by liveness-enriched...
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.