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.
Innovation processes and methods have taken center stage in many organizations as companies begin to evaluate new ways to deliver growth and maintain a competitive edge. Specifically, the proliferation of methods originating in software development (agile) and product development (design thinking) put pressure on organizations to dedicate resources to apply these methods, irrespective of industry...
A quantitative comparison of different approaches to control the trajectory of an autonomous vehicle can be achieved by measuring the overall performance of the whole system in closed loop. This work compares two trajectory generation and control approaches for autonomous driving in simulation. One approach is based on a low frequency check of geometric safety distances and a high frequency check...
In this paper we present the use of linear programming to systematically create control software for choreographed UAVs. This application requires the control of multiple UAVs where each UAV follows a predefined trajectory while simultaneously maintaining safety properties, such as keeping a safe distance between each other and geofencing. Modeling and incorporating safety requirements into the movement...
Despite being known since a long time, memory violations are still a very important cause of security problems in low-level programming languages containing data parsers. We address this problem by proposing a pragmatic solution to fix not only bugs, but classes of bugs. First, using a fast and safe language such as Rust, and then using a parser combinator. We discuss the advantages and difficulties...
Over the last two decades, numerous studies have been explored the relationship between the personality of individual team members and team outcome. Although every software team possess its own climate in order to exchange the knowledge transfer among the team members, it has been considered as the factor have the impact on team performance. Therefore, in this study we conducted an exploratory study...
Technologies for autonomous vehicles, “smart” roadways and ride-hailing services are advancing at a dizzying pace. They are also beginning to interconnect and interoperate to form complex systems-of-systems. The cyberattack surfaces of these systems-of-systems are expanding exponentially. Currently, many related systems are standalone, but when they are integrated, vulnerabilities of, and threats...
The article deals with the analysis of selected hazardous states caused by the failure of some of the critical subsystems of a mobile robot and describes mechanisms ensuring well-defined behavior in case of such a failure. The failures include communication problems (low quality of wireless communication or complete interruption), software problems (freezing or crashing of a software subsystem) and...
Persistent data storage problem in modern automotive vehicles can be trivially viewed, as function of storing favorite radio stations, all the way up to safety critical functions, like black box. In this paper we present one solution for persistent data storage and quick integration in automotive industry. Goal of this paper is to develop adaptive software solution, with ability for quick response...
Software has emerged as a significant part of many domains, including financial service platforms, social networks and vehicle control. Standards organizations have responded to this by creating regulations to address issues such as safety and privacy. In this context, compliance of software with standards has emerged as a key issue. For software development organizations, compliance is a complex...
This paper proposes an inter-vehicle live media content distribution system among neighboring vehicles for driving safety on roads. The proposed system can enlarge a driver's range of visibility by means of sharing front-end views among neighbor vehicles. Meanwhile, the system can assist in securing the safety of drivers on roads. Prototypical implementation exhibits scenarios, usages and demonstration...
Soft targets and crowded places are closely related with a risk of attacks or negative incidents, which can cause the loss of human live or interests protected by law. Soft targets are specified as the objects (building or event) with a large number of visitors in a closed place at the same time and simultaneously without integrated the special security and safety measures into the management processes...
Allowing swift release cycles, Continuous Delivery has become popular in application software development and is starting to be applied in safety-critical domains such as the automotive industry. These domains require thorough analysis regarding safety constraints, which can be achieved by the execution of safety tests resulting from a safety analysis on the product. With continuous delivery in place,...
Exposure to safety-critical thinking grows in importance as society increasingly depends upon software to control physical devices with potential safety impacts. In this unique graduate capstone experience we engaged graduate Software Engineering students in the specification, design, implementation, validation, and assurance of potentially safety-critical software-intensive products involving physical...
Certification schemes exist to regulate software systems and prevent them from being deployed before they are judged fit to use. However, practitioners are often unsatisfied with the efficiency of certification standards and processes. In this study, we analyzed two certification standards, Common Criteria and DO-178C, and collected insights from literature and from interviews with subject-matter...
Cultural diversity of large crowds is one of the major concerns when participants overstep the predefined guidelines. Such behaviors eradicate crowds' safety, resulting massive casualties. Advent of tracking devices and smartphones with multiple sensing abilities can leverage to capture crowds' real-time spatio-temporal (ST) data to serve emergency service plans. In this paper, we present a Spatio-Temporal...
Deployable Emergency Locator Transmitter (ELT) has been a growing topic in the engineering. With more and more people traveling in the most advanced airplanes, it has become utmost necessary to develop the systems which can make air transportation safer. The major characteristic about this Deployable ELT is that it will detect an unavoidable crash before the impact on the ground or terrain with the...
Many guidelines for safety-critical industries, such as aeronautics, medical devices, and railway communications, specify that traceability must be used to demonstrate that a rigorous development process has been followed and to provide evidence that the developed system is safe for use. However, creating accurate and complete traceability is costly and remains a practical challenge. The significant...
With growing dependence on software in embedded and cyber-physical systems where vulnerabilities and malware can lead to disasters, efficient and accurate verification has become a crucial need for safety and cybersecurity. Formal verification of large software has remained an elusive target, riddled with problems of low accuracy and high computational complexity. The need for automating verification...
According to the WHO Global status report on road safety 2015, seat belts have a great impact in increasing safety of passengers; both in terms of injuries and fatalities. Although seat belts have been proven effective in saving lives, they are largely ignored by many drivers. Seat belts are often seen as an inconvenience and are under-utilized. With this background, and the motivation to encourage...
With the increasing adoption of embedded systems in critical automotive applications, the verification of hardware designs reliability is becoming a strictly regulated process where the ISO26262 standard plays a key role. Today crucial verification activities such as failure analysis and FMEA are still relying heavily on reliability engineer expertise, as automatic methods supporting them are still...
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.