Relevant bibliographies by topics / Safety Standards Formalization

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Book chapters
  4. Conference papers

Academic literature on the topic 'Safety Standards Formalization'

Author: Grafiati
Published: 25 June 2021
Last updated: 29 July 2025

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

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Safety Standards Formalization.'

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.

Journal articles on the topic "Safety Standards Formalization"

1

Antipov, V. E., and V. V. Selifanov. "Problems of formalization of ISMS processes." Interexpo GEO-Siberia 6 (May 18, 2022): 3–8. http://dx.doi.org/10.33764/2618-981x-2022-6-3-8.

Full text
Abstract:
This article raises the problem of formalization of processes in the information security management system. The question of the necessity and importance of the stage of formalization of processes, the study and analysis of national and international standards is considered. In the course of the work, approaches to the development of an information security management system were analyzed, as well as national standards ГОСТ Р ИСО/МЭК 27001-2006, ГОСТ Р ИСО/МЭК 27002-2012 and ГОСТ Р ИСО/МЭК 27005-2010, which are the main ones when creating an information security management system (ISMS) and ap
APA, Harvard, Vancouver, ISO, and other styles
2

Wong, Wing C., Mary Bedner, and Mary B. Satterfield. "The Formalization of a Biological Safety Program at the National Institute of Standards and Technology." Applied Biosafety 18, no. 4 (2013): 187–90. http://dx.doi.org/10.1177/153567601301800405.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Shyshatska, Olena, Liubomyr Matiichuk, and Andrii Shyshatskyy. "Specification and Verification of a Formal Model for a Real-Time System Using TLA+." Central Ukrainian Scientific Bulletin. Technical Sciences 2, no. 11(42) (2025): 38–44. https://doi.org/10.32515/2664-262x.2025.11(42).2.38-44.

Full text
Abstract:
The paper describes theoretical and applied aspects of modeling real-time information systems using the example of a continuous glucose monitoring (CGM) system. The primary focus is on the application of formal methods, in particular the TLA+ specification language and modal logics, which ensure mathematical precision in describing system behavior. A formal model of the CGM system is constructed, safety invariants are defined, and automated model verification is performed using the TLC mechanism. The obtained results can be used to improve the reliability and justify the correctness of softwar
APA, Harvard, Vancouver, ISO, and other styles
4

Troka, Pranvera, Marsela Luarasi, and Ilir Kapaj. "Food Safety Practices in Artisanal and Semi-Automated Dairy Processors: Evidence from Fier, Albania." Agriculture 15, no. 7 (2025): 762. https://doi.org/10.3390/agriculture15070762.

Full text
Abstract:
Food safety and traceability in dairy processing plants are essential for public health and industry sustainability. This study provides an empirical assessment of food safety and traceability practices among artisanal and semi-automated dairy processors in Fier, Albania, which is the country’s leading milk-producing region. Based on structured interviews with 18 dairy processors, we examined practices related to supplier management, quality control, facility conditions, staff hygiene, and equipment sanitation. The results reveal significant gaps in milk supplier inspections, biochemical testi
APA, Harvard, Vancouver, ISO, and other styles
5

Kachynska, Nataliia F., Olena V. Zemlyanska, Arkadii M. Husiev, Hlib V. Demchuk, and Andrii I. Kovtun. "Labour Protection as a Component of Effective Management of a Modern Enterprise." Scientific Bulletin of Mukachevo State University Series “Economics” 8, no. 1 (2021): 77–85. http://dx.doi.org/10.52566/msu-econ.8(1).2021.77-85.

Full text
Abstract:
Occupational safety issues, especially in a large enterprise, constitute key components of the social and labour sphere, which largely affect the operation of the entire enterprise. In modern economic environment, where every company aims to produce competitive, high-quality products and make a profit, maintaining the health and efficiency of each employee is a top priority. Any socially oriented enterprise is interested, first and foremost, in reducing the level of accidents, injuries, industrial and occupational diseases of employees. The purpose of the study was to identify and assess the r
APA, Harvard, Vancouver, ISO, and other styles
6

Debbech, Sana, Simon Collart-Dutilleul, and Philippe Bon. "An Ontological Approach to Support Dysfunctional Analysis for Railway Systems Design." JUCS - Journal of Universal Computer Science 26, no. 5 (2020): 549–82. http://dx.doi.org/10.3897/jucs.2020.030.

Full text
Abstract:
Dysfunctional analysis is an essential and demanding task in the early development stages of safety-critical systems (SCSs). Nevertheless, current practices present several drawbacks. Generally, a common dysfunctional analysis conceptualization is missing and it is dependent on safety analysis techniques. Moreover, some safety analysis methods require well-known system behaviors expressed by dynamic models such as sequence diagrams and finite automata. However, the dynamic character of these models increases their susceptibility to changes and then they are not obtainable in the early design s
APA, Harvard, Vancouver, ISO, and other styles
7

Debbech, Sana, Simon Collart-Dutilleul, and Philippe Bon. "An Ontological Approach to Support Dysfunctional Analysis for Railway Systems Design." JUCS - Journal of Universal Computer Science 26, no. (5) (2020): 549–82. https://doi.org/10.3897/jucs.2020.030.

Full text
Abstract:
Dysfunctional analysis is an essential and demanding task in the early development stages of safety-critical systems (SCSs). Nevertheless, current practices present several drawbacks. Generally, a common dysfunctional analysis conceptualization is missing and it is dependent on safety analysis techniques. Moreover, some safety analysis methods require well-known system behaviors expressed by dynamic models such as sequence diagrams and finite automata. However, the dynamic character of these models increases their susceptibility to changes and then they are not obtainable in the early design s
APA, Harvard, Vancouver, ISO, and other styles
8

Wasiullah, Prof (Dr ). Mohd, Prof (Dr ). Piyush Yadav, Sushil Yadav, and Saurabh rai Saurabh rai. "A compressive review on “The Evolution and Impact of Good Clinical Practice (GCP) Guidelines in Modern Clinical Research”." International Journal of Pharmaceutical Research and Applications 10, no. 2 (2025): 2791–97. https://doi.org/10.35629/4494-100227912797.

Full text
Abstract:
Good Clinical Practice (GCP) guidelines for the ethical and scientific foundation for the conduct of clinical research involving human subjects. The development of GCP has been a response to historical ethical breaches and the increasing need for global harmonization in clinical research standards. Beginning with early ethical codes like the Nuremberg Code and the Declaration of Helsinki, and catalyzed by events such as the thalidomide tragedy and the Tuskegee Syphilis Study, the evolution of GCP reflects society’s growing recognition of the need to safeguard the rights, safety, and well-being
APA, Harvard, Vancouver, ISO, and other styles
9

Tri Wahyuni, Nurlely, and Ratna Wardani. "Penerapan Manajemen Asuhan Keperawatan Profesional Sebagai Upaya Peningkatan Mutu Asuhan." Jurnal Abdi Kesehatan dan Kedokteran 4, no. 2 (2025): 1–10. https://doi.org/10.55018/jakk.v4i2.71.

Full text
Abstract:
Professional Nursing Care Management (PNCM) is a structured approach aimed at improving the quality of nursing services by emphasizing patient safety and professional standards. Despite its significance, many hospitals encounter barriers in implementing PNCM optimally due to uneven educational levels, limited nurse competencies, unsupportive management systems, and low staff motivation. These challenges can lead to suboptimal nurse performance and reduced care quality. This community-based project aimed to improve nursing care quality at Dayaku Raja Regional Public Hospital through the impleme
APA, Harvard, Vancouver, ISO, and other styles
10

Gorokhov, M. M., and P. M. Kurguzkin. "Formalization of Natural-Technical System Characteristics for System Approach to Assess its Ecological State." Intellekt. Sist. Proizv. 21, no. 4 (2023): 47–52. http://dx.doi.org/10.22213/2410-9304-2023-4-47-52.

Full text
Abstract:
The increased attention of the State to the problem of environmental safety is associated with the growth of anthropogenic and man-made impacts on the environment. Reducing this impact is the goal of implementing federal-level policy documents. The achievement of program goals in the sphere of environmental is associated with the development, planning and implementation of a set of environmental measures at various levels. It is obvious that the effectiveness of these measures is largely determined by the completeness and reliability of current and forecast information on the state of the envi
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Safety Standards Formalization"

1

Castellanos, Ardila Julieth Patricia. "Facilitating Automated Compliance Checking of Processes against Safety Standards." Licentiate thesis, Mälardalens högskola, Inbyggda system, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-42752.

Full text
Abstract:
A system is safety-critical if its malfunctioning could have catastrophic consequences for people, property or the environment, e.g., the failure in a car's braking system could be potentially tragic. To produce such type of systems, special procedures, and strategies, that permit their safer deployment into society, should be used. Therefore, manufacturers of safety-critical systems comply with domain-specific safety standards, which embody the public consensus of acceptably safe. Safety standards also contain a repository of expert knowledge and best practices that can, to some extent, facil
APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Safety Standards Formalization"

1

Titolo, Laura, Mariano Moscato, Marco A. Feliu, Paolo Masci, and César A. Muñoz. "Rigorous Floating-Point Round-Off Error Analysis in PRECiSA 4.0." In Lecture Notes in Computer Science. Springer Nature Switzerland, 2024. http://dx.doi.org/10.1007/978-3-031-71177-0_2.

Full text
Abstract:
AbstractSmall round-off errors in safety-critical systems can lead to catastrophic consequences. In this context, determining if the result computed by a floating-point program is accurate enough with respect to its ideal real-number counterpart is essential. This paper presents PRECiSA 4.0, a tool that rigorously estimates the accumulated round-off error of a floating-point program. PRECiSA 4.0 combines static analysis, optimization techniques, and theorem proving to provide a modular approach for computing a provably correct round-off error estimation. PRECiSA 4.0 adds several features to pr
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Safety Standards Formalization"

1

Zhao, Yongwang, Zhibin Yang, David Sanan, and Yang Liu. "Event-based formalization of safety-critical operating system standards: An experience report on ARINC 653 using Event-B." In 2015 IEEE 26th International Symposium on Software Reliability Engineering (ISSRE). IEEE, 2015. http://dx.doi.org/10.1109/issre.2015.7381821.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Pokshevnytska, Tetyana. "Groundwater monitoring for drinking water supply in Ternopil city." In International Conference of Young Scientists on Meteorology, Hydrology and Environmental Monitoring. Ukrainian Hydrometeorological Institute, 2023. http://dx.doi.org/10.15407/icys-mhem.2023.035.

Full text
Abstract:
The problem of contamination of underground sources of water supply in Ukraine is currently serious and requires immediate resolution. It is necessary to conduct systematic monitoring of water quality, develop and implement strategies to reduce emissions of hazardous substances and ensure proper storage of toxic waste. It is also important to increase public awareness of the need to protect the environment and use environmentally friendly technologies. In order to study the complex system of "groundwater quality - environmental impact - population health" and identify relationships between its
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Safety Standards Formalization' for particular source types:
Journal articles
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!

To the bibliography