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.
The decisional capability of robotic systems has expended significantly in recent years. Their validation typically implies expensive and laborious test campaigns in the field. Part of the validation could use simulation means, but there is currently no systematic method to test robots in virtual worlds. This work aims to provide such a method. We discuss the challenges regarding the definition of...
When using formal verification on critical software, an important question involves whether we have we specified enough properties for a given implementation model. To address this question, coverage metrics for property-based formal verification have been proposed. Existing metrics are usually based on mutation, where the implementation model is repeatedly modified and re-analyzed to determine whether...
Modern systems are becoming ever more complex and, thus, the possibility of failures in their operation is also growing. The complexity makes it practically impossible to make the hardware and software error-free without the special effort invested in the design process. Recently, a design methodology with the objective to avoid unacceptable risk of physical injury or of damage to the health of people,...
In order to perform efficient testing of software intensive safety-critical products, organisations often utilise hardware-in-the-loop simulation of the system under test surrounding environment. This way, the system could be invoked and its behaviour could be observed in a controlled setting rather than in the field. However, what effect simulation quality might have on the effectiveness of the testing...
Safety-critical systems in domains such as aviation, railway, and automotive are often subject to a formal process of safety certification. The goal of this process is to ensure that these systems will operate safely without posing risks to the user, the public, or the environment [1]. It is typically expensive and time consuming for companies to certify their software. Therefore, any attempt to automate...
Cyber physical Systems (CPS) are a key technology to enable the development of highly automated and autonomous maritime systems. The development of new complex and distributed safety-critical systems increases the challenges of testing due to a variety of Verification and Validation (V+V) methods, strictly required confidence to functional correctness of heterogenous cooperating systems and management...
In-field test of electronic devices is becoming increasingly important due to the wide adoption of electronic systems in safety-critical applications. Hence, it is crucial to devise and deploy effective solutions supporting the test during the operational phase of all the components of an electronic system, including the memory modules embedded in a SoC. Some key aspects include the possible reuse...
The ability to navigate in diverse and previously unknown environments is a critical service of autonomous robots. The validation of the navigation software typically involves test campaigns in the field, which are costly and potentially risky for the robot itself or its environment. An alternative approach is to perform simulation-based testing, by immersing the software in virtual worlds. A question...
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,...
Embedded software, such as railway, aviation, and medical devices, must provide users with safety and reliability software called safety-critical software. It is required to thoroughly analysis requirements, and to provide users with software with high quality attributes of reliability and safety as a result of clear requirement analysis. To analysis the requirements, we mainly use the white box view...
The proper alignment of requirements engineering and testing (RET) can be key to software's success. Three practices can provide effective RET alignment: using test cases as requirements, harvesting trace links, and reducing distances between requirements engineers and testers. The Web extra https://youtu.be/M65ZKxfxqME is an audio podcast of author Elizabeth Bjarnason reading the the Requirements...
This paper aims to bring out the interrupt driven approach, taken for the design of checkout software in a completely automated environment. The Checkout Software is used for the complete automation of spacecraft checkout operations during Integrated Spacecraft Testing (IST). The checkout operations carried out for spacecraft testing include acquisition of multiple chains of telemetry in real time,...
DO-331 is the supplement of DO-178C for model-based development. DO-331 is an objective-based guidance, which defines a set of objectives that have to be achieved for the model-based development of aeronautical software. The guidance also recommends the evidence in terms of activities and work products that should respectively be carried out and produced to meet the objectives. To explain why the...
With expanding weight on the need to lessen CO2 emanations and fuel utilization, engine producers and vehicle integrators are searching for more radical approaches to build engine proficiency. One strategy is to draw vitality from various waste warmth sources. A turbocharger is a minimal and effective method for accomplishing this end and Cummins Turbo Technologies is working with various clients...
Process of development complex electronic control units (ECUs) is usually complex and requires several iterations (releases). After each iteration, it is necessary to perform detailed testing and verification of all components in a testing environment that is as similar as possible to the real system. For this kind of testing it is recommended to use the automated testing environment that generates...
Safety and reliability are key if unmanned aerial systems (UAS) are to move from research and become an everyday part of our lives. How can safety and reliability be maintained when cost and timeliness are such pressing factors in small UAS development? In this paper, it is shown that with open-source flight control software (provided by the authors), sophisticated testing practices (hardware-in-the-loop)...
A new methodology and algorithm is presented for testing on-chip memories concurrently with the normal operation of a processor, which has little or no effect on its performance. The test algorithm uses a series of short burst of memory access and does not destroy the memory contents. This paper describes the implementation of the memory built-in self-test (MBIST) methodology in the ARM® Cortex®-M7...
Today, it does control and manage hardware depended on software in most of industry (automobile, ship, airplane, nuclear power, defense, communication). Due on this, software errors cause great damage in all industry, which becomes the rise of safe software issue. All software development companies are focused on develop and test software for high quality, and make efforts to get certificate of software...
This paper explains the possibilities and limitations inherent in the approach contained in Annex D of IEC61508-7 [1] for determining the safety integrity level (SIL) of software (SW) and provides simulation results to demonstrate the necessity of uniform sampling of safety critical SW inputs — a point often overlooked in the application of the Annex D information by safety assessors. The following...
Model Based Systems Engineering (MBSE) is seeing increased application in planning and design of NASA's missions. This suggests the question: what will be the corresponding practice of Model Based Mission Assurance (MBMA)? Contemporaneously, NASA's Office of Safety and Mission Assurance (OSMA) is evaluating a new objectives-based approach to standards to ensure that the Safety and Mission Assurance...
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.