Serwis Infona wykorzystuje pliki cookies (ciasteczka). Są to wartości tekstowe, zapamiętywane przez przeglądarkę na urządzeniu użytkownika. Nasz serwis ma dostęp do tych wartości oraz wykorzystuje je do zapamiętania danych dotyczących użytkownika, takich jak np. ustawienia (typu widok ekranu, wybór języka interfejsu), zapamiętanie zalogowania. Korzystanie z serwisu Infona oznacza zgodę na zapis informacji i ich wykorzystanie dla celów korzytania z serwisu. Więcej informacji można znaleźć w Polityce prywatności oraz Regulaminie serwisu. Zamknięcie tego okienka potwierdza zapoznanie się z informacją o plikach cookies, akceptację polityki prywatności i regulaminu oraz sposobu wykorzystywania plików cookies w serwisie. Możesz zmienić ustawienia obsługi cookies w swojej przeglądarce.
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...
ISO 26262 requires for each item the creation of a safety case. Such creation is extremely time-consuming. Currently, no satisfying approach is at disposal to speed up such creation. OSLC (Open Services for Lifecycle Collaboration) is a standard for tool interoperability, which, if enabled, permits effective documentation management, needed for efficient safety case creation. OSLC defines a set of...
The assurance of autonomous systems and the technologies that drive them is a major research challenge in the safety-critical systems engineering domain. The nature of many of these Machine Learning (ML) and Artificial Intelligence (AI) approaches raises a number of additional, technology-specific assurance concerns. One such approach is the Bayesian Network (BN) probabilistic modelling framework...
Market readiness of on-board automotive software-intensive systems is tightly linked to the availability of appropriate certification schemes aimed at keeping the car makers confident and the consumers safe - especially in the context of Autonomous Driving, which is the next frontier of the automotive industry. Advanced driver assistance systems (ADAS) are going to be pervasively used in modern automobiles...
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...
This work presents a demonstrator for safety-critical applications based on a low-cost FPGA platform. The main goal of the demonstrator is to show the features and benefits of a fault-injection tool for FPGAs called FIJI (Fault Injection Instrumenter) that was developed by the authors of this paper. Besides, the demonstrator should illustrate typical sources of hardware/software faults as well as...
The growing connectivity of the systems that we rely on e.g. transportation vehicles is pushing towards the introduction of new standards aimed at providing a baseline to address cybersecurity besides safety. If the interplay of the two normative spaces is not mastered, compliance management might become more time consuming and costly, preventing engineers from dedicating their energies to system...
Internet of Things (IoT) proved to have the potential to transform the industrial and consumer's environment. Radio Frequency Identification (RFID) technology, as a primary stage of IoT, has been successfully integrated in the continuous deployment tracking-aiming solutions included into pervasive networks. Three software applications dealing with RFID-based applications for real-time localization...
Our research work aims to develop a monitoring and control system in potentially explosive environments using microcontrollers. The paper presents a micro-system designed and achieved within the Metrology Laboratory of S.C. SIP S.A. It describes the user interface software structure built and used with the acquisition and transfer modules as well as managing the signals received in a SQL SERVER 2008...
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 the paper, principles of constructing systems and functional abilities of information support of human-operators (IOSS) of power units of nuclear power plants (NPP) and their place within the system of upper unit-level of automated process control systems (APCS) of NPP. The purpose of implementation of the NPP IOSS is preventing or decreasing the frequency and heaviness of operator errors appearing...
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...
We describe a framework for constructing an IV&V case, which is an expanded safety case, in order to applyIndependent Verification and Validation (IV&V). The objectivesof IV&V at the Japan Aerospace Exploration Agency (JAXA) areto reduce and explain the risks of products. Although a safety caseis a useful framework to explain the risks to customers, virtuallyall past studies...
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...
An approach to CEGAR-based model checking which has proved to be successful on large models employs Craig interpolation to efficiently construct parsimonious abstractions. Following this design, we introduce new applications, universal safety interpolant and existential error interpolant, of Craig interpolation that can systematically reduce the program state space to be explored for safety verification...
Software model checking constitutes an undecidable problem and, as such, even an ideal tool will in some cases fail to give a conclusive answer. In practice, software model checkers fail often and usually do not provide any information on what was effectively checked. The purpose of this work is to provide a conceptual framing to extend software model checkers in a way that allows users to access...
Developers neglect to update legacy software dependencies, resulting in buggy and insecure software. One explanation for this neglect is the difficulty of constantly checking for the availability of new software updates, verifying their safety, and addressing any migration efforts needed when upgrading a dependency. Emerging tools attempt to address this problem by introducing automated pull requests...
The rapidly growing software content within the vehicles continue to make automotive systems more intelligent through the addition of software enabled electronics. A plethora of change in the automotive industry is largely driven by the embedded software technology. The Advanced Driver Assistance Systems are one of such innovations of technology which are gaining widespread momentum in today's ever...
The vehicle software has many errors potentially because of the increased complexity of the electrical / electronic system of the vehicle. And in accordance with the ISO26262 standard, functional safety requirements for vehicle electronic modules are increasing. Therefore, in this paper, we analyze the failure modes which are required in ISO26262 Part 5, 6. And we propose design guidelines to meet...
Security attacks on medical devices have been shown to have potential safety concerns. Because of this, stakeholders (device makers, regulators, users, etc.) have increasing interest in enhancing security in medical devices. An effective means to approach this objective is to integrate systematic security requirements elicitation and analysis into the design and evaluation of medical device software...
Podaj zakres dat dla filtrowania wyświetlonych wyników. Możesz podać datę początkową, końcową lub obie daty. Daty możesz wpisać ręcznie lub wybrać za pomocą kalendarza.