Log in

Relevant bibliographies by topics / Safety Software Solution / Journal articles

To see the other types of publications on this topic, follow the link: Safety Software Solution.

Journal articles on the topic 'Safety Software Solution'

Author: Grafiati

Published: 28 July 2024

Last updated: 31 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 journal articles for your research on the topic 'Safety Software Solution.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.

1

Gomin, E. A., V. D. Davidenko, O. V. Davidenko, et al. "Argus Solution Reactor Nuclear Safety Validation Using the DAREUS Software Package." Physics of Atomic Nuclei 81, no. 8 (2018): 1187–92. http://dx.doi.org/10.1134/s1063778818080112.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Zakrzewski, Pawel, Janusz Narkiewicz, and Darren Brenchley. "Safety Critical Software Development Methodologies in Avionics." Transactions on Aerospace Research 2020, no. 2 (2020): 59–71. http://dx.doi.org/10.2478/tar-2020-0011.

Full text

Abstract:

AbstractThis article summarizes avionics safety-critical software development methodologies and implications of the DO-178C standard from an Agile application perspective. We explain the safety-critical software categorization. It also outlines the main differences and advantages of different approaches to the development process, from Waterfall through the V-model to Iterative and Incremental. Agile principles are explained as well as a Scrum – which is a popular framework in the non-safety-critical software industry. The application of Agile, for safety-critical software considerations, is b

APA, Harvard, Vancouver, ISO, and other styles

3

Arinicheva, O. V., E. V. Vlasov, and V. A. Grehov. "SPECIAL SOFTWARE FOR PILOT TRAINING." World of Transport and Transportation 15, no. 5 (2017): 208–16. http://dx.doi.org/10.30932/1992-3252-2017-15-5-19.

Full text

Abstract:

[For the English abstract and full text of the article please see the attached PDF-File (English version follows Russian version)].ABSTRACT The article is devoted to description of methodological problems, occurred during application of special software package intended for training civil aviation personnel within the program «CRM - two-man crew resource management». The authors suggest approaches to solution of main problems in assessment of efficiency of interaction in the aircraft crew, and to realization of suggested solutions. The article continues previously discussed topic (see World of

APA, Harvard, Vancouver, ISO, and other styles

4

Kumazawa, Tsutomu, Munehiro Takimoto, Yasushi Kodama, and Yasushi Kambayashi. "Memoization in Model Checking for Safety Properties with Multi-Swarm Particle Swarm Optimization." Electronics 13, no. 21 (2024): 4199. http://dx.doi.org/10.3390/electronics13214199.

Full text

Abstract:

In software engineering, errors or faults in software systems often lead to critical social problems. One effective methodology to tackle this problem is model checking, which is an automated formal verification technique. In traditional model checking, the task of finding specification errors is reduced to deterministic search techniques such as Depth-First Search. Recent research has shown that swarm intelligence offers a powerful search capability compared to traditional techniques. In particular, multi-swarm Particle Swarm Optimization is known to be efficient and can mitigate the state-sp

APA, Harvard, Vancouver, ISO, and other styles

5

Zieja, Mariusz, Karol Kawka, Konrad Wojtowicz, Adam Wetoszka, and Tomasz Pietrzak. "PORTABLE BIOMETRIC MODULE SOFTWARE FOR MILITARY AVIATION SUPPORT SYSTEM." Aviation and Security Issues 4, no. 2 (2023): 235–52. http://dx.doi.org/10.55676/asi.v4i2.70.

Full text

Abstract:

The article discusses a software solution that addresses the integration of portable devices into the maintenance system of the Polish Air Force. In order to meet the requirements of this solution, it is essential to have a mobile device that can collaborate with military systems on a civilian network and process classified information. The current regulations and existing solutions suggest the need to establish a procedure for wireless data synchronization through the global Internet. The scope of this solution includes developing a method for exchanging data and ensuring data security. To en

APA, Harvard, Vancouver, ISO, and other styles

6

Niu, Wen-jie. "Determination of Slope Safety Factor with Analytical Solution and Searching Critical Slip Surface with Genetic-Traversal Random Method." Scientific World Journal 2014 (2014): 1–13. http://dx.doi.org/10.1155/2014/950531.

Full text

Abstract:

In the current practice, to determine the safety factor of a slope with two-dimensional circular potential failure surface, one of the searching methods for the critical slip surface is Genetic Algorithm (GA), while the method to calculate the slope safety factor is Fellenius’ slices method. However GA needs to be validated with more numeric tests, while Fellenius’ slices method is just an approximate method like finite element method. This paper proposed a new method to determine the minimum slope safety factor which is the determination of slope safety factor with analytical solution and sea

APA, Harvard, Vancouver, ISO, and other styles

7

Zhou, Jie, John Criswell, and Michael Hicks. "Fat Pointers for Temporal Memory Safety of C." Proceedings of the ACM on Programming Languages 7, OOPSLA1 (2023): 316–47. http://dx.doi.org/10.1145/3586038.

Full text

Abstract:

Temporal memory safety bugs, especially use-after-free and double free bugs, pose a major security threat to C programs. Real-world exploits utilizing these bugs enable attackers to read and write arbitrary memory locations, causing disastrous violations of confidentiality, integrity, and availability. Many previous solutions retrofit temporal memory safety to C, but they all either incur high performance overhead and/or miss detecting certain types of temporal memory safety bugs. In this paper, we propose a temporal memory safety solution that is both efficient and comprehensive. Specifically

APA, Harvard, Vancouver, ISO, and other styles

8

Ilcea, Gabriel Ioan, Pop Emil, and Ionut-Alin Popa. "INTRINSIC SAFETY AND POSITIVE SECURITY WITH AN EMBEDDED SOFTWARE SOLUTION FOR EQUIPMENT USED IN SPACES WITH AN EXPLOSIVE POTENTIAL ATMOSPHERE." CBU International Conference Proceedings 6 (September 25, 2018): 1077–82. http://dx.doi.org/10.12955/cbup.v6.1297.

Full text

Abstract:

In this paper intrinsic safety and positive security distance control with an embedded software solution used in spaces with an explosive potential atmosphere is approached, in comparison to those which use just hardware technology. In sectors with an explosive potential atmosphere, a combined mixture of flammable materials, oxygen, and the presence of an ignition source (mostly caused by electric devices) can cause an explosion. For this reason, in areas with a risk of explosion the electrical equipment is made using an anti- explosive safety for the inputs and outputs called intrinsic safety

APA, Harvard, Vancouver, ISO, and other styles

9

Liu, Maomao, Liping Wu, Xingbo Zhang, and Yan Li. "Safety Management Solution for Health Monitoring User Terminals Based on Trusted Computing." Scientific Programming 2022 (March 2, 2022): 1–10. http://dx.doi.org/10.1155/2022/1485550.

Full text

Abstract:

The safety hazards of the monitoring platform must be solved to ensure the safety of health monitoring user terminals (HMUTs). To accurately measure the safety level of the safety management system, it is necessary to carry out effective trusted computing. However, the current trusted computing often ignores the subjectivity and personalization of trust, failing to consider the influence of privacy leak on trust. To solve these problems, this paper explores the safety management solution for HMUTs based on trusted computing. Specifically, the authors established a multidimensional trusted comp

APA, Harvard, Vancouver, ISO, and other styles

10

Kulkarni, Deepak, and Roberta Blake Marietta. "INTEGRATED FUNCTIONAL AND EXECUTIONAL MODELING OF SOFTWARE USING WEB-BASED DATABASES." Journal of Integrated Design and Process Science: Transactions of the SDPS, Official Journal of the Society for Design and Process Science 4, no. 3 (2000): 1–12. http://dx.doi.org/10.3233/jid-2000-4301.

Full text

Abstract:

During software development and maintenance, an engineer needs to be able to answer a variety of questions about the software in a very short time, many of which relate to information generated during the specification and design phases. In the current state of practice, this is sometimes not possible. Any solution to this problem should allow group usability of information, automatic creation of information in target form from the structure in which it was created and selective fast access. This paper presents a framework for doing so based on integrated modeling of software, use of automatic

APA, Harvard, Vancouver, ISO, and other styles

11

Lenggana, Bhre Wangsa, Agung Nugroho, and Ubaidillah Ubaidillah. "Structural Simulation of Wheelchair Ramp using Finite Element Method." Journal of Mechanical Engineering Science and Technology (JMEST) 8, no. 2 (2024): 306. https://doi.org/10.17977/um016v8i12024p306.

Full text

Abstract:

Wheelchairs are essential mobility aids for people with disabilities, but they are often limited to flat surfaces and cannot overcome height differences. Portable ramps are an effective solution to overcome this limitation. This research aims to simulate and analyze the structure of a portable ramp for wheelchairs. Simulations were conducted using finite element method analysis software to assess the portable ramp's von Mises stress, deformation, and safety factor in various loading positions. Finite element method (FEM) analysis software was utilized to evaluate key mechanical properties, inc

APA, Harvard, Vancouver, ISO, and other styles

12

Zhou, Jian Lan. "A Comprehensive Agent-Based Safety Solution Meeting the Controllable Work System." Key Engineering Materials 467-469 (February 2011): 1493–98. http://dx.doi.org/10.4028/www.scientific.net/kem.467-469.1493.

Full text

Abstract:

This paper proposes and implements a comprehensive software system based on agents and mobile agents techniques, which firstly deals with the network admission control and authorization, adopting the traditional password authentication schema and an intelligent, flexible sensor whose kernel is the NDIS-hooking driver. Agent Message Protocol over UDP/TCP is proposed to secure and encrypt the communication data among stationary agents and server components, which eradicates malicious codes embedded or spread in the internal network. In order to avoid the above software agents mangled or destroye

APA, Harvard, Vancouver, ISO, and other styles

13

Jovanovic, Mihailo, Ivan Babic, Milan Cabarkapa, et al. "SOSerbia: Android-Based Software Platform for Sending Emergency Messages." Complexity 2018 (October 23, 2018): 1–9. http://dx.doi.org/10.1155/2018/8283919.

Full text

Abstract:

This paper presents Android-based SOS platform named SOSerbia for sending emergency messages by citizens in Serbia. The heart of the platform is SOS client Android application which is an easy and simple solution for sending SOS messages with unique combination of volume buttons. The proposed platform solves a lot of safety, security, and emergency problems for people who can be in dangerous situations. After a person presses a correct combination of buttons, a message with his or her location is sent to the operating center of the Serbian Police. The platform merges several appropriately comb

APA, Harvard, Vancouver, ISO, and other styles

14

Vytečka, Marcel, Vít Ondroušek, Jan Kolomazník, and Michal Hammerschmiedt. "Design and Implementation of the Remote Control of the Manipulator." Acta Universitatis Agriculturae et Silviculturae Mendelianae Brunensis 62, no. 6 (2014): 1521–25. http://dx.doi.org/10.11118/actaun201462061521.

Full text

Abstract:

This article is focused on the design and implementation of the complex solution of the remote control of the industrial manipulator Katana 6M180. The main aim is to increase utilization of the machine and its monitoring, whereas the safety standards won’t be affected. Both parts of the design, the hardware as well as the software one, are discussed in this article. The hardware part consists of the protective cage, controllable lighting, power circuits, electronics, server, several cameras used for image processing of the working space and one IP camera used for monitoring. The software tools

APA, Harvard, Vancouver, ISO, and other styles

15

Theocharis, Efstathios, Michail Papoutsidakis, Andrew Short, and Konstantia Zisimou. "Low-Cost Solution for Adding Safety Functions to Programmable Logic Controllers (PLCs)." WSEAS TRANSACTIONS ON SYSTEMS AND CONTROL 18 (September 26, 2023): 283–93. http://dx.doi.org/10.37394/23203.2023.18.28.

Full text

Abstract:

Increasing requirements in automation and production make control systems more complex and vulnerable to failure. Breakdowns can cause delays in production, material damage, and above all, work-related accidents. For this reason, directives and legislation have been created at the country, European Union, and global levels that define the essential safety and requirements of industrial equipment. Guidelines must be observed by those involved in the design, supply, purchase, or use of industrial equipment in the European Union and several countries outside the European Union. Some guidelines (C

APA, Harvard, Vancouver, ISO, and other styles

16

Rawarkar, C. W. "SkyLogistics - The Complete Drone Delivery Solution." International Journal for Research in Applied Science and Engineering Technology 12, no. 4 (2024): 1389–94. http://dx.doi.org/10.22214/ijraset.2024.60039.

Full text

Abstract:

Abstract: SkyLogistics introduces an innovative drone delivery system aimed at transforming last-mile logistics. Fueled by the growing demand for swift and reliable package delivery solutions, our approach integrates hardware design, software development, and user interface enhancements to deliver seamless experiences. Extensive testing underscores SkyLogistics' exceptional delivery precision, speed, and customer satisfaction while complying with airspace regulations and safety standards. Overcoming challenges like regulatory conformity and scalability, SkyLogistics sets the stage for future a

APA, Harvard, Vancouver, ISO, and other styles

17

Kulibaba, Irina, and Vladimir Barinov. "Software solution for growing crops on an individual land plot." BIO Web of Conferences 141 (2024): 01018. https://doi.org/10.1051/bioconf/202414101018.

Full text

Abstract:

The paper defines the importance of agriculture for the population of the countries that are members of the Eurasian Economic Alliance. The article briefly characterizes the state of the agricultural sector in Russia, the Republics of Tajikistan, Belarus, Kyrgyzstan and Kazakhstan. The level and problems characteristic of crop production on individual land plots to meet their own needs and the sale of products for food and processing industry are established. The aim of the work is to create a software product that provides a high level of crop yields for individual subsidiary plots. The use o

APA, Harvard, Vancouver, ISO, and other styles

18

Eichholz, Lutz. "The Implications of a Co-Created Software Solution for Mobility in Rural Areas." Smart Cities 6, no. 5 (2023): 2706–21. http://dx.doi.org/10.3390/smartcities6050122.

Full text

Abstract:

This paper explores the challenges in providing digital services of general interest in rural areas and proposes co-created ride-sharing software solutions to address the specific needs of these regions. This applied research is part of the Smarte.Land.Regionen project, which aims to improve digital public services at the district level. Focusing on rural mobility, the paper introduces ride-sharing benches enhanced with software as a possible low-threshold solution. Via workshops, surveys, and market research, the study identifies barriers to the adoption of ride-sharing benches and investigat

APA, Harvard, Vancouver, ISO, and other styles

19

Gulyamov, Said. "Advanced Technologies as a Solution for Transportation Challenges in Developing Megacities: The Positive Case of China." International Journal of Law and Policy 2, no. 10 (2024): 1–12. http://dx.doi.org/10.59022/ijlp.231.

Full text

Abstract:

Rapid urbanization in developing megacities like Beijing has led to pressing transportation challenges, including severe traffic congestion, increased emissions, and poor road safety. This paper examines how advanced software systems, new technologies, and innovative engineering solutions adopted in Beijing can serve as models for sustainable transportation improvements in other emerging megacities. Intelligent transportation systems, advanced traffic control platforms, autonomous vehicle networks, smart mobility apps, big data analytics, and cloud computing have positively impacted congestion

APA, Harvard, Vancouver, ISO, and other styles

20

Kim, ByeongKoo, Kihwan (Eric) Son, Minkoo Kim, and Hyeyoun (Melody) Na. "Tandem OLED: The Solution for In‐Vehicle Displays in the SDV‐Based EV Era." Information Display 40, no. 2 (2024): 19–23. http://dx.doi.org/10.1002/msid.1469.

Full text

Abstract:

AbstractElectric vehicles are evolving into software‐defined vehicles, or “smartphones on wheels,” and require improvements in screenification, power management, safety enhancement, and vehicle‐to‐everything communication.

APA, Harvard, Vancouver, ISO, and other styles

21

Makri, E., J. ten Brinke, R. Evers, P. Man, and H. Olthof. "Privacy-Friendly Wi-Fi-Based Occupancy Estimation with Minimal Resources." International Journal of Ambient Computing and Intelligence 9, no. 4 (2018): 34–51. http://dx.doi.org/10.4018/ijaci.2018100103.

Full text

Abstract:

Occupancy estimation is becoming an increasingly popular research topic, as solutions can be deployed both to the challenges of demand-driven ambient comfort control applications, and to the challenges of building safety and security. With this article, the authors aim to estimate the number of people in a particular area of a building, using only existing infrastructure. To achieve this, information is collected from the Wi-Fi Access Points installed throughout a building, in such a way that the privacy of the persons using the Wi-Fi resources remains intact. While several approaches have bee

APA, Harvard, Vancouver, ISO, and other styles

22

Wylie, M., and E. Rajabally. "Safety Assurance of Maritime Autonomous Surface Ships." Journal of Physics: Conference Series 2867, no. 1 (2024): 012045. http://dx.doi.org/10.1088/1742-6596/2867/1/012045.

Full text

Abstract:

Abstract Safety of Maritime Autonomous Surface Ships (MASS) is inherently complex owing to the dynamic and unpredictable nature of the maritime environment. This is exacerbated by the pace of change in enabling technologies and their disruptive impact. Integral to the safety assurance of MASS is assessment and mitigation of risk. The International Maritime Organisation (IMO) defines Risk as “the combination of frequency and severity of the consequence”. The advent of software-controlled systems has introduced difficulties in quantifying frequencies; an issue which is more prevalent in the cont

APA, Harvard, Vancouver, ISO, and other styles

23

Street, Derek. "IPSec Solution." EDPACS 38, no. 5 (2008): 6–17. http://dx.doi.org/10.1080/07366980802379871.

Full text

APA, Harvard, Vancouver, ISO, and other styles

24

Aversa, Rocco, Beniamino Di Martino, Michele Di Natale, and Salvatore Venticinque. "Agents Network for Automatic Safety Check in Constructing Sites." International Journal of Adaptive, Resilient and Autonomic Systems 2, no. 2 (2011): 23–36. http://dx.doi.org/10.4018/jaras.2011040102.

Full text

Abstract:

Compliance with safety standards in constructing sites is a mandatory activity that helps prevent a high number of fatalities during working activities. Unfortunately, because of negligence or limited resources, safety checks are not performed with regularity and this causes a high number of accidents. This paper proposes a distributed solution for automated checking of safety rules, secure logging of violations, and real-time execution of reactions. The constructing site is modeled as a pervasive environment where software agents, executing on smart devices, can detect and interact with peopl

APA, Harvard, Vancouver, ISO, and other styles

25

Delleji, Tijeni, Feten Slimeni, and Mohsen Lefi. "A C4 Software for Anti Drone System." Defence Science Journal 74, no. 5 (2024): 635–42. http://dx.doi.org/10.14429/dsj.74.19504.

Full text

Abstract:

Mini unmanned aerial vehicles (UAVs), commonly known as small drones, have seen outstanding advancements in recent years and have been used in a variety of fields. However, their potential misuse for illegal activities and the risks they pose to safety and privacy have raised concerns. To address these issues, we propose a Command, Control, Communications, and Computers (C4) software able to manage and control anti-drone systems. Our software solution includes an easy-to-use dashboard that processes and displays video data from surveillance sensors. It incorporates AI-powered functionalities,

APA, Harvard, Vancouver, ISO, and other styles

26

Warżała, Rafał. "Modern Integrated Platform Management System Laboratory for Polish Naval Academy: Design and Implementation." Scientific Journal of Polish Naval Academy 220-221, no. 1-2 (2020): 59–71. http://dx.doi.org/10.2478/sjpna-2020-0005.

Full text

Abstract:

AbstractThis article contains a description of the implemented STANTOS™ Integrated Platform Management System (IPMS) laboratory created by Research and Development Center Maritime Technology Center for the Polish Naval Academy in Gdynia. The author briefly described the topology of the solution, justifies the choice of hardware and software solutions. Concept of use was written, where the usefulness of the implemented laboratory was motivated, with a focus on cases where safety plays a key role.

APA, Harvard, Vancouver, ISO, and other styles

27

Сазонова and Svetlana Sazonova. "SOLUTION APPLICATIONS OPERATION OF GAS SUPPLY SYSTEMS TO ENSURE THEIR SAFETY." Modeling of systems and processes 8, no. 4 (2016): 58–63. http://dx.doi.org/10.12737/19526.

Full text

Abstract:

For the functioning of the system of gas supply deals with methods of solving the problem of static evaluation. In the diagnosis of the technical state of functioning of gas supply systems in the software of the automated control systems need to solve the problem of static evaluation. In the real world there is a lack of experimental data on the state of functioning of gas supply systems. Using modern scientific approach to the formation of psevdoizmereny in the problem of static evaluation will be possible to overcome the uncertainty of operating information systems. Availability of full info

APA, Harvard, Vancouver, ISO, and other styles

28

Jenekar, Rutuja V. "Campus Safeguard Enhancing Safety Standards." International Journal for Research in Applied Science and Engineering Technology 12, no. 3 (2024): 2325–31. http://dx.doi.org/10.22214/ijraset.2024.59353.

Full text

Abstract:

Abstract: Campus Safeguard, an innovative software solution engineered to fortify student safety and intercommunication within academic settings. With the mounting concerns surrounding student welfare, including incidents of suicides and disappearances, this cutting-edge application revolutionizes the leave authorization process by engaging parents in real-time decision-making. Harnessing the power of technology, Campus Safeguard facilitates seamless communication between college authorities and guardians, significantly truncating response times during crises. Its transparent methodology in le

APA, Harvard, Vancouver, ISO, and other styles

29

Ling, Tao, Jiao Jiao Li, Rui-Juan Xu, Bin Wang, and Wei-Hong Ge. "Topical Diclofenac Solution for Osteoarthritis of the Knee: An Updated Meta-Analysis of Randomized Controlled Trials." BioMed Research International 2020 (November 24, 2020): 1–11. http://dx.doi.org/10.1155/2020/1758071.

Full text

Abstract:

This study was performed to assess the efficacy and safety of a topical diclofenac solution in patients with knee osteoarthritis (OA). PubMed, Embase, Cochrane Library, Web of Science, and Scopus databases were searched for randomized controlled trials until June 2020. The WOMAC pain, stiffness, physical function subscales, pain on walking, and the occurrence of adverse events were pooled to comprehensively analyse the efficacy and safety of topical diclofenac solution. All statistical analyses were conducted using Review Manager 5.3 software. Five RCTs were included, which provided high-quali

APA, Harvard, Vancouver, ISO, and other styles

30

ILLARRAMENDI REZABAL, MIREN, ASIER IRIARTE, AITOR ARRIETA AGUERRI,, GOIURIA SAGARDUI MENDIETA, and FELIX LARRINAGA BARRENECHEA. "DIGITAL SAFETY MANAGER: IOT SERVICE TO ASSURE THE SAFE BEHAVIOUR OF MACHINES AND CONTROLS IN THE DIGITAL INDUSTRY." DYNA 97, no. 1 (2022): 18–22. http://dx.doi.org/10.6036/10243.

Full text

Abstract:

The digital industry requires increasingly complex and reliable software systems. They need to control and make critical decisions at runtime. As a consequence, the verification and validation of these systems has become a major research challenge. At design and development time, model testing techniques are used while run-time verification aims at verifying that a system satisfies a given property. The latter technique complements the former. The solution presented in this paper targets embedded systems whose software components are designed by state machines defined by Unified Modelling Lang

APA, Harvard, Vancouver, ISO, and other styles

31

Gorbachev, A. S., and V. I. Shilov. "Hardware and Software for Acoustic Sounding." Occupational Safety in Industry, no. 3 (March 2022): 20–25. http://dx.doi.org/10.24000/0409-2961-2022-3-20-25.

Full text

Abstract:

The article is devoted to the development of one of the new directions for solving mining and geological problems based on the specific features of the formation of an artificial acoustic signal. To register an artificial acoustic signal, an intrinsically safe portable recorder was developed and manufactured approved for use in the explosive environments. Recording of the acoustic information in the mine is carried out on a carrier in the digital form, on the surface it is transferred to a personal computer equipped with a special program for processing this signal Geoscan-RIVAS. The program r

APA, Harvard, Vancouver, ISO, and other styles

32

White, Neil, Stuart Matthews, and Roderick Chapman. "Formal verification: will the seedling ever flower?" Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences 375, no. 2104 (2017): 20150402. http://dx.doi.org/10.1098/rsta.2015.0402.

Full text

Abstract:

In one sense, formal specification and verification have been highly successful: techniques have been developed in pioneering academic research, transferred to software companies through training and partnerships, and successfully deployed in systems with national significance. Altran UK has been in the vanguard of this movement. This paper summarizes some of our key deployments of formal techniques over the past 20 years, including both security- and safety-critical systems. The impact of formal techniques, however, remains within an industrial niche, and while government and suppliers across

APA, Harvard, Vancouver, ISO, and other styles

33

Shperling, Vladimir K., and Alexander A. Yakimenko. "Development of an architectural software solution for Internet of Thing devices." Analysis and data processing systems, no. 2 (June 20, 2023): 43–58. http://dx.doi.org/10.17212/2782-2001-2023-2-43-58.

Full text

Abstract:

The article presents the development of an architectural software solution for Internet of Things (IoT) devices that implements the functionality of an automatic medical drug dispenser, based on the ESP32 hardware platform and utilizing the capabilities of the existing real-time operating systems (RTOS). The software architecture for IoT devices was designed with scalability and fault tolerance in mind. All components of the system interact with each other through asynchronous callback functions, which provides flexibility and extensibility to the architecture. Testing for system fault toleran

APA, Harvard, Vancouver, ISO, and other styles

34

Popov, Valery A., and Valentin V. Elantsev. "Increasing efficiency and safety of operation of underground tunnel escalators. The software architecture." Izvestiya MGTU MAMI 17, no. 1 (2023): 63–76. http://dx.doi.org/10.17816/2074-0530-109890.

Full text

Abstract:

BACKGROUND: An essential condition of existence for enterprises of all forms in the face of rapid external and internal transformations is digital reformation of their business processes. The Saint Petersburg subway is no exception, which has an aging fleet of escalators, for which the introduction of digital technologies, accompanied by the optimization of the control system for the main technological processes, can provide a balance between ever-increasing costs and limited, not always rhythmically flowing supplies. AIMS: To establish one of the possible options for the software archit

APA, Harvard, Vancouver, ISO, and other styles

35

Salazar, Fernando, Joaquín Irazábal, and André Conde. "SOLDIER: SOLution for Dam behavior Interpretation and safety Evaluation with boosted Regression trees." SoftwareX 25 (February 2024): 101598. http://dx.doi.org/10.1016/j.softx.2023.101598.

Full text

APA, Harvard, Vancouver, ISO, and other styles

36

Li, Pengju. "Nanomaterials in Sports Training and Its Biological Safety." Scientific Programming 2022 (September 6, 2022): 1–9. http://dx.doi.org/10.1155/2022/5769228.

Full text

Abstract:

Nanomaterials have many special functions. Sports field provides a platform for nanomaterials to show their excellent performance. At the same time, nanomaterials in the body may also have negative effects on cells, lung tissue, liver and kidney tissue, and brain tissue; there are certain biological safety risks. Based on the above background, this article studies the application and biological safety of nanomaterials in sports training. In this article, silver nanoparticles were prepared by improved liquid-phase chemical reduction method and photochemical reduction method. The antibacterial p

APA, Harvard, Vancouver, ISO, and other styles

37

Hao, Ying Qi, and Si Qi Wang. "The Internal Stress Optimization of Structural Model Based on Super Finite Element Calculating Software." Applied Mechanics and Materials 353-356 (August 2013): 3334–40. http://dx.doi.org/10.4028/www.scientific.net/amm.353-356.3334.

Full text

Abstract:

The structural optimization based on FE (Finite Element) software ANSYS is an emerging subject which is combines computational mechanics, mathematical programming, computer science and other engineering subject. Up to now, substantial research breakthroughs have been achieved in optimization theory. This essay is mainly about the theory analysis and internal stress optimization on the modal displayed on the contests of the Fifth National Structure Design Contest for College Student, including selection of basic components, size detail optimization of components. The optimization of structural

APA, Harvard, Vancouver, ISO, and other styles

38

Rychlicki, Mariusz, Zbigniew Kasprzyk, Małgorzata Pełka, and Adam Rosiński. "Use of Wireless Sensor Networks for Area-Based Speed Control and Traffic Monitoring." Applied Sciences 14, no. 20 (2024): 9243. http://dx.doi.org/10.3390/app14209243.

Full text

Abstract:

This paper reviews the potential of low-power wireless networks to improve road safety. The authors characterized this type of network and its application in road transport. They also presented the available technologies, highlighting one that was considered the most promising for transport applications. The study includes an innovative and proprietary concept of area-based vehicle speed monitoring using this technology and describes its potential for enhancing road safety. Assumptions and a model for the deployment of network equipment within the planned implementation area were developed. Us

APA, Harvard, Vancouver, ISO, and other styles

39

Ruiqi Luo, Ruiqi Luo, and Luo Zhong Ruiqi Luo. "Medicine Safety Assessment Method based on Dynamic Dual Optimization." 網際網路技術學刊 23, no. 3 (2022): 611–19. http://dx.doi.org/10.53106/160792642022052303019.

Full text

Abstract:

<p>As people pay more and more attention to medicine safety issues, related medicine safety monitoring platforms are also rapidly popularized. However, previous work has poor accuracy and low efficiency in medicine safety assessment. In this paper, the medicine safety evaluation index system of the medicine safety monitoring platform is determined from four aspects: medicine research and development, medicine market, medicine production, and medicine uses. In order to solve the problems of the medicine safety evaluation model, such as low evaluation accuracy, slow convergence speed, and

APA, Harvard, Vancouver, ISO, and other styles

40

Ferreira, José, Alan Oliveira, André Souto, and José Cecílio. "Software-Based Security Approach for Networked Embedded Devices." ACM SIGAda Ada Letters 43, no. 1 (2023): 73–77. http://dx.doi.org/10.1145/3631483.3631495.

Full text

Abstract:

As the Internet of Things (IoT) continues to expand, data security has become increasingly important for ensuring privacy and safety, especially given the sensitive and, sometimes, critical nature of the data handled by IoT devices. There exist hardware-based trusted execution environments used to protect data, but they are not compatible with low-cost devices that lack hardware-assisted security features. The research in this paper presents software-based protection and encryption mechanisms explicitly designed for embedded devices. The proposed architecture consists of two parts: the Agent,

APA, Harvard, Vancouver, ISO, and other styles

41

Ila Chandana Kumari P, Et al. "COVID-19 Regional Safety Assessment Using Evaluation Based on Distance from Average Solution (EDAS) Method." International Journal on Recent and Innovation Trends in Computing and Communication 11, no. 10 (2023): 1833–43. http://dx.doi.org/10.17762/ijritcc.v11i10.8760.

Full text

Abstract:

The process of assessing the safety and risk level of a particular region or area in respect to the COVID-19 pandemic is known as COVID-19 Regional Safety Assessment. It involves analyzing various factors, such as the number of active cases, testing and reporting capabilities, vaccination rates, healthcare system capacity, implementation of public health measures, travel restrictions, presence of variants of concern, and localized outbreaks. A complete evaluation of regional safety is necessary for public health professionals, legislators, and residents to successfully prevent the spread of CO

APA, Harvard, Vancouver, ISO, and other styles

42

Pikner, Heiko, Raivo Sell, Jüri Majak, and Kristo Karjust. "Safety System Assessment Case Study of Automated Vehicle Shuttle." Electronics 11, no. 7 (2022): 1162. http://dx.doi.org/10.3390/electronics11071162.

Full text

Abstract:

Automated vehicle (AV) minibuses, i.e., AV shuttles, are gaining popularity in the testing of new types of transportation services in real traffic conditions. AV shuttles have moved from closed test areas to low-traffic public sites such as local residential areas, technology parks, university campuses, etc. These types of vehicles are usually low-speed and rely on a lidar-camera sensor set and a self-driving software stack. These new use cases are increasing these systems’ safety demands. In addition to functional safety, many other aspects need to be considered. In this study, a risk analysi

APA, Harvard, Vancouver, ISO, and other styles

43

Dumitrescu, Mariana. "Conducting safety analysis and simulations for protection of a delivery electric system with essential power consumers." MATEC Web of Conferences 342 (2021): 04013. http://dx.doi.org/10.1051/matecconf/202134204013.

Full text

Abstract:

The paper presents a real power delivery system with essential consumers safety analysis. The two levels voltage networks 6kV and 0,4kV are modeled with the help of Edsa software and short-circuit simulation is conducted in order to obtain the computed values of the currents to all the network buses. The results are used to implement a technical solution for an important safety improvement of the analysed system.

APA, Harvard, Vancouver, ISO, and other styles

44

Daniel, Teixeira Leite. "APPLICATION OF DRONES AND OSS FOR MAPPING AND VISUAL INSPECTION OF EMBANKMENT DAMS." Proceedings of the Fourth International DAM WORLD Conference - ISBN 978-972-49-2312-3 1, LNEC (2020): 521–32. https://doi.org/10.5281/zenodo.4592528.

Full text

Abstract:

To evaluate the safety conditions for a geotechnical structure, particularly a dam is very important to know its actual geometry and to perform visual inspections as a tool to aid the dam monitoring. Nowadays drone technology is becoming more available making it a valuable tool to aid for visual inspections and geometry assessment. On the contrary, the software for image processing and model generation is still quite expensive and requires up-to-date hardware. Open Source Software (OSS) is a different approach in which instead of a copyright user are granted a copyleft licensing allowing for a

APA, Harvard, Vancouver, ISO, and other styles

45

Carpenter, Chris. "Technical Solution Improves Safety, Efficiency of Well Construction Offshore Australia." Journal of Petroleum Technology 73, no. 10 (2021): 46–48. http://dx.doi.org/10.2118/1021-0046-jpt.

Full text

Abstract:

This article, written by JPT Technology Editor Chris Carpenter, contains highlights of paper SPE 202353, “Drilling-Performance and Risk-Management Optimization Offshore Australia: Improving Overall Safety and Efficiency of the Well-Construction Process,” by Chandrasekhar Kirthi Singam, Farshid Hafezi, and Clyde Rebello, Schlumberger, et al., prepared for the 2020 SPE Asia Pacific Oil and Gas Conference and Exhibition, originally scheduled to be held in Perth, Australia, 20–22 October. The paper has not been peer reviewed. The emergence of real-time well construction performance-monitoring cent

APA, Harvard, Vancouver, ISO, and other styles

46

Zhu, Yongjian, Ying Jing, Manna Wang, Yuzhe Wang, and Kaiquan Liu. "Design of Automotive Software Upgrade Simulation Test Bench." Frontiers in Science and Engineering 5, no. 2 (2025): 67–74. https://doi.org/10.54691/m3p01674.

Full text

Abstract:

With the rapid development of automotive electronics technology, automotive software upgrades have become an indispensable part of the modern automotive industry. To ensure the safety and reliability of software upgrades, the design of simulation test benches has become particularly important. This article aims to explore a design scheme for an automotive software upgrade simulation test bench. Through a detailed analysis of the hardware and software architecture of the bench, an integrated testing platform is proposed. This platform can simulate real car operating environments and conduct com

APA, Harvard, Vancouver, ISO, and other styles

47

BUDNIKOVA, I. K., N. M. ABDULLINA, and E. V. PRIIMAK. "SOFTWARE DEVELOPMENT FOR AUTOMATED VIDEO PROCESSING SYSTEMS." Herald of Technological University 27, no. 3 (2024): 84–89. http://dx.doi.org/10.55421/1998-7072_2024_27_3_84.

Full text

Abstract:

Trunk pipeline transportation is the most important component of fuel and energy complex of Russia. In accordance with the regulations, control of equipment operation, compliance with labor protection and industrial safety requirements at production facilities as high-risk areas is carried out. Based on the results of monitoring the operation of road construction equipment, it was established that the majority of violations occur in the operation of video recording equipment. To optimize the process of managing video information, the authors have developed a software package (PC) using artific

APA, Harvard, Vancouver, ISO, and other styles

48

Shlyapnikova, D. K., and S. V. Alekhina. "Operating room of the future — impact of technologies on operating room equipment." Medsestra (Nurse), no. 9 (September 16, 2024): 6–10. http://dx.doi.org/10.33920/med-05-2409-01.

Full text

Abstract:

«Smart operating room» is a comprehensive solution designed to increase the productivity of the surgeon and patient safety. To create it, the university experts developed and tested a number of innovative hardware and software products that provide prompt access to up-to-date information about the patient’s condition.

APA, Harvard, Vancouver, ISO, and other styles

49

He, Yu Hong. "Three Dimension Units Theory and Hydraulic Converse Siphon Structure." Advanced Materials Research 1030-1032 (September 2014): 1282–85. http://dx.doi.org/10.4028/www.scientific.net/amr.1030-1032.1282.

Full text

Abstract:

In hydraulic structures, it is difficult to guarantee a converse siphon safety without good reaction force design between converse siphon structure and the foundation. Therefore, the special connection units, three dimension units, were adopted in this paper. The structural program design methods were used to compile three dimension units calculation software. It would give better solution to reaction force design between converse siphon structure and the foundation. It provided sufficient theoretical reference for a hydraulic converse siphon safety design.

APA, Harvard, Vancouver, ISO, and other styles

50

Bazzi, Abir, Adnan Shaout, and Di Ma. "Software Update Methodologies for Feature-Based Product Lines: A Combined Design Approach." Software 3, no. 3 (2024): 328–44. http://dx.doi.org/10.3390/software3030017.

Full text

Abstract:

The automotive industry is experiencing a significant shift, transitioning from traditional hardware-centric systems to more advanced software-defined architectures. This change is enabling enhanced autonomy, connectivity, safety, and improved in-vehicle experiences. Service-oriented architecture is crucial for achieving software-defined vehicles and creating new business opportunities for original equipment manufacturers. A software update approach that is rich in variability and based on a Merkle tree approach is proposed for new vehicle architecture requirements. Given the complexity of sof

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!