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.
With number of ships increasing, the scale of ships being increasingly larger and anchorage ground being increasingly crowd, the accidents of dragging anchor occur more frequently in recent years. In order to improve the security of mooring ship and realize the intelligent monitoring of mooring ship, this paper reviewed the application of all kinds of navigation instruments used in the field of mooring...
We propose Powernet as an end-to-end open source technology for economically efficient, scalable and secure coordination of grid resources. It offers integrated hardware and software solutions that are judiciously divided between local embedded sensing, computing and control, which are networked with cloud-based high-level coordination for real-time optimal operations of not only centralized but also...
Obtaining Worst-Case Execution Time (WCET) estimates is a required step in real-time embedded systems during software verification. Measurement-Based Probabilistic Timing Analysis (MBPTA) aims at obtaining WCET estimates for industrial-size software running upon hardware platforms comprising high-performance features. MBPTA relies on the randomization of timing behavior (functional behavior is left...
Motivated by the challenge of developing control software provably meeting specifications for real-world problems, this paper applies formal methods to adaptive cruise control (ACC). Starting from a linear temporal logic specification for ACC, obtained by interpreting relevant ACC standards, we discuss in this paper two different control software synthesis methods. Each method produces a controller...
New applications like highly automated driving, Car-2-X, software updates over the air, or vehicles as part of the internet of things raise completely new requirements to a software platform for the next generation of ECUs. AUTOSAR as the worldwide leading standardization organization for in-vehicle software bears this challenge and paves the way making vehicles intelligent and adaptive. Based on...
This paper demonstrates targeted cyber-physical attacks on teleoperated surgical robots. These attacks exploit vulnerabilities in the robot's control system to infer a critical time during surgery to drive injection of malicious control commands to the robot. We show that these attacks can evade the safety checks of the robot, lead to catastrophic consequences in the physical system (e.g., sudden...
The software was developed to realize the braking calculation of self-designed low-floor trams throughadjusting parameters, such as the bogie number, the bogie type, vehicle parameters, electro-hydraulic braking parameters, foundation braking parameters and so on. In this software, the calculation of braking force, the brake cylinder pressure, the braking distance, braking time can be achieved. Thedistribution...
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...
The paper considers the possibilities of designing and implementing works' on port safety system for the needs of the developing Port of Bar in Montenegro which functions for decades in the transitional environment. On the basis of the secondary literature resources review - an RFID (radio frequency identification) safety model which includes PPE (personal protective equipment) garments equipped with...
A logger in the cloud capable of keeping a secure, time-synchronized and tamper-evident log of medical device and patient information allows efficient forensic analysis in cases of adverse events or attacks on interoperable medical devices. A secure logger as such must meet requirements of confidentiality and integrity of message logs and provide tamper-detection and tamper-evidence. In this paper,...
In a context where software is more and more pervasive in all systems, and where it is sometimes advocated that software complexity and size seem to provide some relevance to a probabilistic view of software behaviour, several initiatives suggest to change the way to address software in the global system safety assessment. The authors argue that whereas there are many links between safety assessment...
Given the proliferation of Unmanned Aerial Systems (UASs) for military and commercial purposes, there is a fast-approaching need for comprehensive and robust systems which secure the UAS for public safety and assurance of military goals. This paper puts forth a comprehensive system of protecting UASs against hardware and software attacks, at the lowest and highest semantic levels. This approach monitors...
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)...
When a huge event occurs it is necessary the alignment between at least two command centers, one connected to the civil protection and the other focused on safety. The communication and coordination between both command centers it is crucial, because it improves the coordination and therefore the decision making process. This paper presents the design and implementation of a technological framework...
Reliability and safety property of any hardware is an important parameter. To achieve this and to improve the performance bounds of the designed system it is important to enhance the efficiency by proper verification techniques. To overcome the problems arising due to the software crisis, formal methods are used. The use of formal methods in aerospace domain is the latest research that is being carried...
The software reliability represents one of the most crucial aspects of functional safety. Software is used in almost any electronic systems. When a safety-critical system is considered, it has to be ensured that the software is able to fulfil the minimum safety requirements. If this is not the case, the software will have to be improved until the minimum requirements are fulfilled. Reliability growth...
In the nuclear power engineering, methods of detection and diagnostics of failures, as well as methods of information support of human operators in order to improve the efficiency and reliability of the operation, play increasing role. A task that is solved within the information support is the task of calculating technical and economical indexes, which the paper is devoted to.
Cyber-Physical Systems (CPS) provide many smart features for enhancing physical processes. These systems are designed with a set of distributed hardware, software, and network components that are embedded in physical systems and environments or attached to humans. Together they function seamlessly to offer specific functionalities or features that help enhance human lives, operations or environments...
Choosing the Event-B formal method to model and develop distributed railway interlocking systems can give us a great advantage over the general purpose programming languages, especially in case of the safety analysis of these systems. Despite its many benefits, Event-B suffers from an efficient reuse mechanism, which is highly disadvantageous in the development of large interlocking systems. In this...
This paper provides an overview of methods to achieve safety relevant aspects within a radar system. It also covers the challenges imposed on the radar processing.
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.