Journal articles: 'Safety logiciel'

1

PENNEROUX, J. "Lancement d'un logiciel de formation à la radioprotection." Radioprotection 29, no. 3 (July 1994): 405–6. http://dx.doi.org/10.1051/radiopro/1994012.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

PIPAUD, J. Y. "RADIOR, un logiciel d'initiation à l'optimisation de la radioprotection." Radioprotection 30, no. 1 (January 1995): 103–4. http://dx.doi.org/10.1051/radiopro/1995019.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Renaud, Ph, H. Maubert, D. Robeau, I. Linge, O. Pavlovsky, and I. Ossipiants. "PARIS : un logiciel de simulation d'états radioécologiques post-accidentels." Radioprotection 32, no. 4 (October 1997): 521–32. http://dx.doi.org/10.1051/radiopro:1997116.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Bourgois, L., and H. Lelache. "TransporaD version 2.0 un logiciel sur la réglementation des transports de matières radioactives." Radioprotection 33, no. 2 (April 1998): 189–91. http://dx.doi.org/10.1051/radiopro:1998105.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Maubert, Henri, Philippe Renaud, Jean-Christophe Bernié, Guillaume de Drouas, Philippe Fache, and Jean-Michel Métivier. "ASTRAL : un logiciel pour l'évaluation des conséquences d'un rejet accidentel de radionucléides dans l'environnement." Radioprotection 32, no. 3 (July 1997): 357–69. http://dx.doi.org/10.1051/radiopro:1997112.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

JARVIS, N. S., and A. BIRCHALL. "LUDEP 1.0, un logiciel pour ordinateur personnel qui applique le nouveau modèle pulmonaire de la CIPR." Radioprotection 29, no. 1 (January 1994): 81–86. http://dx.doi.org/10.1051/radiopro/1994023.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Egan, Rylan, Jessica Baumhour, Monica Mullin, Amelia Wilkinson, Sara Awad, Johanna Murphy, Nancy Dalgarno, Angela Coderre-Ball, and Geneviève Digby. "Resident and Attending Physician Perceptions of a Quality and Safety Curriculum." Canadian Journal of General Internal Medicine 16, no. 3 (September 21, 2021): e62-e73. http://dx.doi.org/10.22374/cjgim.v16i3.495.

Full text

Abstract:

This study sought to identify opportunities for improvement of an Internal Medicine (IM) resident quality improvement (QI)/patient safety (PS) program at an academic teaching hospital. The authors conducted semi-structured interviews with 15 residents and 6 attending physicians, which were analyzed from an inductive and thematic lens using NVivo software. Ethics was approved by the institution’s Research Ethics Board (File #: 6026140). Four themes emerged from this analysis. Residents and attending physicians agreed on (i) integrating QI/PS knowledge and skills into practice using active learning approaches. However, there was concern that requiring QI project completion through (ii) standardization of QI/PS education could create a barrier to clinical research required for sub-specialization. There was agreement that the (iii) QI/PS culture within the IM program was supportive and that a lack of safe reporting efficiency within the hospital, along with interprofessional discord, could cause (iv) external barriers to QI/PS training. By integrating these findings, evidence-informed and low-resource solutions could be incorporated into the QI/PS curriculum that uses minimal preparation requirements, and fulsome conversation-based exploration of QI/PS techniques within real-world clinical cases. RésuméCette étude visait à trouver des possibilités d’améliorer un programme d’amélioration de la qualité (AQ)/sécurité des patients (SP) pour les résidents en médecine interne (MI) à un hôpital universitaire. Les auteurs ont mené des entrevues semi-structurées auprès de 15 résidents et de 6 médecins traitants, lesquelles ont été analysées d’un point de vue inductif et thématique à l’aide du logiciel NVivo. Le comité d’éthique de la recherche de l’établissement a approuvé cette recherche (dossier no : 6026140). Quatre thèmes sont ressortis de cette analyse. Les résidents et les médecins traitants sont d’accord sur les éléments suivants : i) l’intégration dans la pratique des connaissances et des compétences en AQ/SP au moyen d’approches d’apprentissage actif. Toutefois, on craint que l’obligation de mener à bien le projet d’AQ par l’intermédiaire de ii) l’uniformisation de l’enseignement de l’AQ/SP ne crée un obstacle à la recherche clinique requise pour la sous-spécialisation. Les participants s’entendent pour dire iii) que la culture de l’AQ/SP au sein du programme de MI est fondée sur le soutien et que le manque d’efficacité lié aux déclarations relatives à la sécurité au sein de l’hôpital ainsi que les désaccords interprofessionnels pourraient causer iv) des obstacles externes à la formation sur l’AQ/SP. En intégrant ces constatations, des solutions fondées sur des données probantes et nécessitant peu de ressources pourraient être incorporées dans le programme d’AQ/SP qui utilise des exigences minimales en matière de préparation et une exploration approfondie des techniques d’AQ/SP sur le mode de la conversation dans le cadre de cas cliniques réels.

APA, Harvard, Vancouver, ISO, and other styles

8

GROUZELLE, C., F. LAYLAVOIX F., M. F. BAUDOT, and R. DUCOUSSO. "Logiciel pour une évaluation rapide des conséquences d'une retombée radioactive sur la chaîne alimentaire : applications au milieu tropical." Radioprotection 30, no. 1 (January 1995): 79–88. http://dx.doi.org/10.1051/radiopro/1995024.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Degrange, J. P., F. P. Levy, and T. Schneider. "ECRS : Un logiciel pour l'évaluation du risque et des contre-mesures associés à l'exposition au radon dans les habitations." Radioprotection 36, no. 4 (October 2001): 537–46. http://dx.doi.org/10.1051/radiopro:2001107.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Lamart, S., L. De Carlan, E. Blanchardon, and D. Franck. "Développements apportés au logiciel OEDIPE de simulation de mesures anthroporadiamétriques pour la prise en compte des données biocinétiques dans la modélisation de la contamination interne." Radioprotection 43, no. 2 (April 2008): 213–23. http://dx.doi.org/10.1051/radiopro:2007055.

Full text

APA, Harvard, Vancouver, ISO, and other styles

11

Pichard, Romain, Alexandre Philippot, Ramla Saddem, and Bernard Riera. "Safety of Manufacturing Systems Controllers by Logical Constraints With Safety Filter." IEEE Transactions on Control Systems Technology 27, no. 4 (July 2019): 1659–67. http://dx.doi.org/10.1109/tcst.2018.2827329.

Full text

APA, Harvard, Vancouver, ISO, and other styles

12

Cornelissen, Pieter A., Mark Van Vuuren, and Joris J. Van Hoof. "How logical is safety? An institutional logics perspective on safety at work." Work 66, no. 1 (June 4, 2020): 135–47. http://dx.doi.org/10.3233/wor-203158.

Full text

APA, Harvard, Vancouver, ISO, and other styles

13

Rakotoarivelo, ZH, EE Batavisoaniatsy, FI Rakotonindrina, RS Rakotomalala, AT Rabenandrianina, AAO Rakoto, and A. Rasamindrakotroka. "Knowledge, attitudes and practices regarding blood donation in a rural Malagasy population: Case of the Belobaka -Mahajanga II municipality." Africa Sanguine 24, no. 1 (December 22, 2022): 19–23. http://dx.doi.org/10.4314/asan.v24i1.3.

Full text

Abstract:

Introduction: Blood availability is a daily challenge for blood transfusion centers in Madagascar. The knowledge, attitudes and practices of the population on donation remain poorly documented. Our objective is to determine them at the level of the rural population of Belobaka in order to improve the promotion of voluntary donation.Materials and Methods: A descriptive study was conducted for 4 months on residents over 18 years of age. Simple random sampling according to Lynch's formula was done. A questionnaire prepared beforehand and translated into Malagasy by the investigators in the field was used. Data were recorded and analyzed with Statistical Package for the Social Sciences (SPSS) version 22.0 software. The consent and anonymity of the respondents were respected.Results: We included 118 people including 85 men and 33 women. The average age was 32.48 years. More than half of respondents said they knew about blood donation (56.80%), while 18.60% had already made a donation. Ignorance about blood donation and fear of blood collection (45.83%) were the main obstacles among non-donors. Replacement family donation was the main motivation reported (54.40%), followed by donations during mobile collections (22.80%).Conclusion: Major blood donation awareness strategies should be put in place to ensure blood safety in Madagascar. An anthropological approach would be particularly favorable in rural areas. Introduction : La disponibilité du sang constitue un défi quotidien pour les centres de transfusion sanguine à Madagascar. Les connaissances, attitudes et pratiques de la population sur le don restent peu documentées. Notre objectif est de les déterminer au niveau de la population rurale de Belobaka afin d’améliorer la promotion du don volontaire.Matériels et Méthodes : Une étude descriptive a été menée pendant 4 mois concernant les habitants de plus de 18 ans. Un échantillonnage aléatoire simple selon la formule de Lynch a été fait. Un questionnaire élaboré au préalable et traduit en malgache par les enquêteurs sur le terrain a été utilisé. Les données ont été enregistrées et analysées avec le logiciel Statistical Package for the Social Sciences (SPSS) version 22.0. Le consentement et l’anonymat des enquêtés ont été respectés.Résultats : Nous avons inclus 118 personnes dont 85 hommes et 33 femmes. L’âge moyen a été de 32,48 ans. Plus de la moitié des enquêtés ont affirmé avoir connaissance du don de sang (56,80%), tandis que 18,60% ont déjà effectué un don. L’ignorance sur le don de sang ainsi que la peur du prélèvement (45,83%) ont été les principaux freins chez les non donneurs. Le don familial de remplacement a été la principale motivation rapportée (54,40%), suivi des dons lors des collectes mobiles (22,80%).Conclusion : De grandes stratégies de sensibilisation sur le don de sang devraient être mises en place pour assurer la sécurité transfusionnelle à Madagascar. Une approche anthropologique serait favorable notamment dans les zones rurales.

APA, Harvard, Vancouver, ISO, and other styles

14

FUTSUHARA, Koichi, and Noboru SUGIMOTO. "A logical consideration of the safety operation system of the safety confirmation type." Transactions of the Japan Society of Mechanical Engineers Series C 56, no. 529 (1990): 2378–85. http://dx.doi.org/10.1299/kikaic.56.2378.

Full text

APA, Harvard, Vancouver, ISO, and other styles

15

Ranger, T., A. Philippot, and B. Riera. "Algebraic Synthesis of Safety Logical Filter on Manufacturing Systems." IFAC-PapersOnLine 55, no. 2 (2022): 169–74. http://dx.doi.org/10.1016/j.ifacol.2022.04.188.

Full text

APA, Harvard, Vancouver, ISO, and other styles

16

Ryabinin, Igor A., and Alexander V. Strukov. "Quantitative examples of safety assessment using logical-probabilistic methods." International Journal of Risk Assessment and Management 21, no. 1/2 (2018): 4. http://dx.doi.org/10.1504/ijram.2018.090253.

Full text

APA, Harvard, Vancouver, ISO, and other styles

17

Ryabinin, Igor A., and Alexander V. Strukov. "Quantitative examples of safety assessment using logical-probabilistic methods." International Journal of Risk Assessment and Management 21, no. 1/2 (2018): 4. http://dx.doi.org/10.1504/ijram.2018.10011305.

Full text

APA, Harvard, Vancouver, ISO, and other styles

18

Yang, Yang, Qing Xia, and Yu Zhang. "Entropy Model For Safety Culture and Safety Performance." Advances in Computer and Engineering Technology Research 1, no. 1 (December 5, 2023): 96. http://dx.doi.org/10.61935/acetr.1.1.2023.p96.

Full text

Abstract:

According to Maslow's Hierarchy of Needs, combined with the political attribute of safety management, the human's demand hierarchy and the development trend of our country's safety production management system in recent years, the realization path of security vision of port enterprises in China is proposed, including that (1) Taking safety vision as the objectives, the process of safety awareness is analyzed from the perspectives of safety perception, safety cognition, and safety decision-making, and the framework model for implementing safety awareness is established.(2) Based on the analytic hierarchy process and logical analysis, the factors with greater weight in safety performance are determined.(3) An entropy model for safety culture and safety performance are established.

APA, Harvard, Vancouver, ISO, and other styles

19

Ventrone, T. A. "A logical progression." Process Safety Progress 12, no. 1 (January 1993): J3. http://dx.doi.org/10.1002/prs.680120102.

Full text

APA, Harvard, Vancouver, ISO, and other styles

20

Karasev, Vasily, and Eugene Solozhentsev. "Hybrid logical and probabilistic models for management of socioeconomic safety." International Journal of Risk Assessment and Management 21, no. 1/2 (2018): 89. http://dx.doi.org/10.1504/ijram.2018.090258.

Full text

APA, Harvard, Vancouver, ISO, and other styles

21

Karasev, Vasily, and Eugene Solozhentsev. "Hybrid logical and probabilistic models for management of socioeconomic safety." International Journal of Risk Assessment and Management 21, no. 1/2 (2018): 88. http://dx.doi.org/10.1504/ijram.2018.10011309.

Full text

APA, Harvard, Vancouver, ISO, and other styles

22

Lim, Ho-Gon, Dong-San Kim, Sang Hoon Han, and Joon Eon Yang. "Development of logical structure for multi-unit probabilistic safety assessment." Nuclear Engineering and Technology 50, no. 8 (December 2018): 1210–16. http://dx.doi.org/10.1016/j.net.2018.10.012.

Full text

APA, Harvard, Vancouver, ISO, and other styles

23

Tchórzewska-Cieślak, Barbara, Katarzyna Pietrucha-Urbanik, Janusz Rak, Dorota Papciak, Petr Hlavínek, and Krzysztof Chmielowski. "A Safety Assessment for Consumers of Water Using Logical Trees." Applied Sciences 12, no. 21 (November 7, 2022): 11276. http://dx.doi.org/10.3390/app122111276.

Full text

Abstract:

The lack of biochemical stability in drinking water increases the secondary contamination risk in water supply systems and hence represents a sanitary threat to consumers. The work presented here assesses the likelihood of such risk. The assessment is based on data obtained from one of the water treatment plants. The assessment of the bio-chemical instability risk combines both approaches: fault and event trees. Additional consideration was naturally given to the events that initiated the contamination at the outlet of the water treatment plant. It is concluded that if it is to protect the water-supply infrastructure representing a kind of critical infrastructure, a water-supply company needs to put more emphasis on the distribution of stable water in terms of its properties and composition, thus having no potentially corrosive properties. The assessment underlines the importance that water supply utilities should equally consider both the supplied water sanitary quality and the water supply service continuity.

APA, Harvard, Vancouver, ISO, and other styles

24

Плуготаренко, Н., N. Plutogarenko, А. Долгополова, and A. Dolgopolova. "Method for Urban Environmental Safety’s Integral Assessment with the Usage of Logical-Probabilistic Approach." Safety in Technosphere 6, no. 4 (December 18, 2017): 75–82. http://dx.doi.org/10.12737/article_5a290a9c4d9b03.59307929.

Full text

Abstract:

The work has been devoted to development of method for integral assessment of an industrial city’s level of ecological security using the logical-probabilistic approach. The basic methods for integral assessment of negative factors’ impact on industrial cities’ environment and such cities’ population health. Have been developed a logical-probabilistic model for an industrial city’s ecological safety evaluation to predict this city’s development, and method for integrated assessment of industrial city’s ecological safety using logical-probabilistic approach.

APA, Harvard, Vancouver, ISO, and other styles

25

Niu, Yue, Jonathan Sterling, Harrison Grodin, and Robert Harper. "A cost-aware logical framework." Proceedings of the ACM on Programming Languages 6, POPL (January 16, 2022): 1–31. http://dx.doi.org/10.1145/3498670.

Full text

Abstract:

We present calf , a c ost- a ware l ogical f ramework for studying quantitative aspects of functional programs. Taking inspiration from recent work that reconstructs traditional aspects of programming languages in terms of a modal account of phase distinctions , we argue that the cost structure of programs motivates a phase distinction between intension and extension . Armed with this technology, we contribute a synthetic account of cost structure as a computational effect in which cost-aware programs enjoy an internal noninterference property: input/output behavior cannot depend on cost. As a full-spectrum dependent type theory, calf presents a unified language for programming and specification of both cost and behavior that can be integrated smoothly with existing mathematical libraries available in type theoretic proof assistants. We evaluate calf as a general framework for cost analysis by implementing two fundamental techniques for algorithm analysis: the method of recurrence relations and physicist’s method for amortized analysis . We deploy these techniques on a variety of case studies: we prove a tight, closed bound for Euclid’s algorithm, verify the amortized complexity of batched queues, and derive tight, closed bounds for the sequential and parallel complexity of merge sort, all fully mechanized in the Agda proof assistant. Lastly we substantiate the soundness of quantitative reasoning in calf by means of a model construction.

APA, Harvard, Vancouver, ISO, and other styles

26

Li, Huan, and You Shi Zheng. "Study on the logical relationship between system safety and PMMEL project." Journal of Physics: Conference Series 2252, no. 1 (April 1, 2022): 012066. http://dx.doi.org/10.1088/1742-6596/2252/1/012066.

Full text

Abstract:

Abstract The Master Minimum Equipment List (MMEL) is an important technical manual for civil aircraft to meet release conditions and achieve release with failures, and it is also a key reference manual for airlines to develop the minimum equipment list. This paper firstly elaborates the relationship between PMMEL, MMEL and MEL, initially studies the system safety assessment process, and focuses on the logical relationship between system safety and PMMEL project development by detailing the role of system safety assessment FHA, FMEA and FTA in the development and analysis process of PMMEL during the aircraft development phase, to ensure the PMMEL work and The logical relationship between system safety and PMMEL project development is discussed to ensure the close integration between PMMEL work and civil aircraft development, to provide theoretical basis for manufacturers to fully consider the design of PMMEL in the development phase, and then to improve the capability of the developed aircraft with failure release.

APA, Harvard, Vancouver, ISO, and other styles

27

Li, Huan, and You Shi Zheng. "Study on the logical relationship between system safety and PMMEL project." Journal of Physics: Conference Series 2252, no. 1 (April 1, 2022): 012066. http://dx.doi.org/10.1088/1742-6596/2252/1/012066.

Full text

Abstract:

Abstract The Master Minimum Equipment List (MMEL) is an important technical manual for civil aircraft to meet release conditions and achieve release with failures, and it is also a key reference manual for airlines to develop the minimum equipment list. This paper firstly elaborates the relationship between PMMEL, MMEL and MEL, initially studies the system safety assessment process, and focuses on the logical relationship between system safety and PMMEL project development by detailing the role of system safety assessment FHA, FMEA and FTA in the development and analysis process of PMMEL during the aircraft development phase, to ensure the PMMEL work and The logical relationship between system safety and PMMEL project development is discussed to ensure the close integration between PMMEL work and civil aircraft development, to provide theoretical basis for manufacturers to fully consider the design of PMMEL in the development phase, and then to improve the capability of the developed aircraft with failure release.

APA, Harvard, Vancouver, ISO, and other styles

28

Li Wei, Li Wei, and Bing-Wu Fang Li Wei. "Safety Analysis Method of Mixed Failure Model using Temporal Bayesian Network." 網際網路技術學刊 23, no. 4 (July 2022): 727–34. http://dx.doi.org/10.53106/160792642022072304008.

Full text

Abstract:

<p>Dynamic Fault Tree (DFT) is used widely in the community of reliability and safety analysis of a complex system. DFT is a high-level modeling language lacking formal semantics, so we need to convert it to a mathematical model to analyze. The conventional analysis method can only solve the DFT with discrete or exponential distribution, but not the DFT with mixed distributions. To this end, we first propose a TBN framework to represent the DFT with mixed failure distribution by extending the BN and introduce Dirac delta functions and unit-step functions into the framework to represent the logical relationship and temporal relationship between the nodes, respectively. To run the standard BN inference algorithm over TBN, we fit the failure distribution of the nodes by using k-piece and n-degree polynomials. We then propose a transformation method from DFT to TBN and prove the equivalence of the transformation. Finally, the analysis of the DFT model of the X2000 avionics system shows that our approach can effectively analyze the reliability of mixed distribution failure models. Moreover, the accuracy and efficiency of the analysis are significantly better than current mainstream methods.</p> <p> </p>

APA, Harvard, Vancouver, ISO, and other styles

29

Sugimoto, Noboru, Koichi Futsuhara, and Masao Mukaidono. "The principle and logical structure of safety in man-machine system." IEEJ Transactions on Industry Applications 107, no. 9 (1987): 1092–98. http://dx.doi.org/10.1541/ieejias.107.1092.

Full text

APA, Harvard, Vancouver, ISO, and other styles

30

Li, Zhao Hui, and Yan Chen. "Use Management System to Improve Highway Safety." Advanced Materials Research 268-270 (July 2011): 1524–27. http://dx.doi.org/10.4028/www.scientific.net/amr.268-270.1524.

Full text

Abstract:

Based on discussed the characteristics of highway traffic accidents’ severity and distribution in detail, this paper puts forward a new approach that is use safety management system to improve highway safety, establishes it’s logical architecture, puts emphasis on the advantage of institution, standard, safeguard, supervision and implementation.

APA, Harvard, Vancouver, ISO, and other styles

31

Dźwiarek, Marek. "Design of logical devices that perform guard interlocking and locking function." Mechanik 92, no. 7 (July 8, 2019): 474–76. http://dx.doi.org/10.17814/mechanik.2019.7.61.

Full text

Abstract:

Machine guards are commonly used safety measures. The aim of the research was to determine the possibilities and limitations in the application of logic circuits providing interlocking and locking safety functions associated with guards. Particular attention was paid to the prevention of the defeating of guards. In further works it is planned to develop a methodology for the selection and design of those devices.

APA, Harvard, Vancouver, ISO, and other styles

32

Sineshchuk, Yury Ivanovich, Alexandr Gennadyevich Philippov, Sergey Nikolaevich Terehin, Denis Valerjevich Nikolaev, and Igor Borisovich Saenko. "Structural-logical method of the safety analysis of the potentially dangerous objects." SPIIRAS Proceedings 2, no. 17 (March 17, 2014): 55. http://dx.doi.org/10.15622/sp.17.4.

Full text

APA, Harvard, Vancouver, ISO, and other styles

33

Backhouse, Kevin, and Roland Backhouse. "Safety of abstract interpretations for free, via logical relations and Galois connections." Science of Computer Programming 51, no. 1-2 (May 2004): 153–96. http://dx.doi.org/10.1016/j.scico.2003.06.002.

Full text

APA, Harvard, Vancouver, ISO, and other styles

34

Neal, Jack A., and Mary Dawson. "Outbreak at Mulligan Oaks: A Logical Approach to Discovering Food Safety Attributes." Journal of Hospitality & Tourism Cases 3, no. 3 (November 2014): 16–20. http://dx.doi.org/10.1177/216499871400300303.

Full text

APA, Harvard, Vancouver, ISO, and other styles

35

Or, Liran Bar, Shai Arogeti, and Daniel Hartmann. "Challenges in Future Mathematical Modelling of Hierarchical Functional Safety Control Structures within STAMP Safety Model." MATEC Web of Conferences 273 (2019): 02011. http://dx.doi.org/10.1051/matecconf/201927302011.

Full text

Abstract:

In the STAMP model, based on control theory, the control relationships between various system elements enforced by the closed Control Loops (CLs) are logical and functional. A literature survey emphasized the fact that for the moment STAMP and its main tools STPA and CAST are not associated with any numerical tools. The main rationale of our work is to understand whether STAMP matches to be a quantitative model. Furthermore, in a case that we find that numerical tools can be used in STAMP, we intend to bridge the gap between the logical-functional approach in STAMP and any of the suitable quantitative approaches applied in Engineering Control Theory (ECT). As a first step, a literature comparison was performed between the basic control parameters existing explicitly at the moment in the STAMP model, and those well known in the literature of ECT. The results reveal that there are many similar terms, especially related to conceptual and general definitions. However, we have observed that there are also basic quantitative parameters from ECT which are not yet referred to in STAMP as quantitative safety evaluation parameters. Another main finding is an inherent difference in various ECT related parameters and the CLs at the various hierarchical levels. ECT was originally developed to deal with physical systems. Thus, any machine related internal control loops within the lower-physical level of a Sociotechnical System (STS) can be directly addressed with quantitative methods from ECT. However, most of the human-machine interactions in the lower levels and the human and societal controls in the higher levels are at the moment not suitable for those methods. We assume these ECT parameters may have an important role in designing and examining systems safety and hence we suggest, should be integrated into STAMP model, in purpose to be able to enhance systems safety.

APA, Harvard, Vancouver, ISO, and other styles

36

Liu, Yiyun, and Stephanie Weirich. "Dependently-Typed Programming with Logical Equality Reflection." Proceedings of the ACM on Programming Languages 7, ICFP (August 30, 2023): 649–85. http://dx.doi.org/10.1145/3607852.

Full text

Abstract:

In dependently-typed functional programming languages that allow general recursion, programs used as proofs must be evaluated to retain type soundness. As a result, programmers must make a trade-off between performance and safety. To address this problem, we propose System DE, an explicitly-typed, moded core calculus that supports termination tracking and equality reflection. Programmers can write inductive proofs about potentially diverging programs in a logical sublanguage and reflect those proofs to the type checker, while knowing that such proofs will be erased by the compiler before execution. A key feature of System DE is its use of modes for both termination and relevance tracking, which not only simplifies the design but also leaves it open for future extension. System DE is suitable for use in the Glasgow Haskell Compiler, but could serve as the basis for any general purpose dependently-typed language.

APA, Harvard, Vancouver, ISO, and other styles

37

Chu, Jiayun, Xiaohong Bao, Tingdi Zhao, and Fuchun Ren. "Safety analysis for integrated modular avionics based on blueprints." MATEC Web of Conferences 169 (2018): 01029. http://dx.doi.org/10.1051/matecconf/201816901029.

Full text

Abstract:

The Integrated Modular Avionics System (IMA) has been a core technology for the new generation of aircrafts in recent years. It consists of a set of reusable and interoperable common functional modules. However, the highly coupled relationship of resources makes it difficult to identify and control dangers. As an effective and efficient way, the blueprints are used to describe and manage the IMA system. Owing to the system management functions provided by the blueprints, we can accurately determine the system resources configuration status, which is very crucial for safety analysis. In this paper, we explore the possibilities to conduct safety analysis based on blueprints. A safety analysis method based on blueprints is proposed, which applies mathematical logic to describe the logical relationship between targets and resources provided by the blueprints and uses semi-tensor product of matrix theory to simplify the logical expressions. Based on the mathematical model, we can conduct the fail safety analysis and identify resources failures that may undermine the IMA system safety.

APA, Harvard, Vancouver, ISO, and other styles

38

Faella, Marco, and Gennaro Parlato. "Reachability Games Modulo Theories with a Bounded Safety Player." Proceedings of the AAAI Conference on Artificial Intelligence 37, no. 5 (June 26, 2023): 6330–37. http://dx.doi.org/10.1609/aaai.v37i5.25779.

Full text

Abstract:

Solving reachability games is a fundamental problem for the analysis, verification, and synthesis of reactive systems. We consider logical reachability games modulo theories (in short, GMTs), i.e., infinite-state games whose rules are defined by logical formulas over a multi-sorted first-order theory. Our games have an asymmetric constraint: the safety player has at most k possible moves from each game configuration, whereas the reachability player has no such limitation. Even though determining the winner of such a GMT is undecidable, it can be reduced to the well-studied problem of checking the satisfiability of a system of constrained Horn clauses (CHCs), for which many off-the-shelf solvers have been developed. Winning strategies for GMTs can also be computed by resorting to suitable CHC queries. We demonstrate that GMTs can model various relevant real-world games, and that our approach can effectively solve several problems from different domains, using Z3 as the backend CHC solver.

APA, Harvard, Vancouver, ISO, and other styles

39

LOKE, SENG WAI, and ANDREW DAVISON. "Secure Prolog-based mobile code." Theory and Practice of Logic Programming 1, no. 3 (May 2001): 321–57. http://dx.doi.org/10.1017/s1471068401001211.

Full text

Abstract:

LogicWeb mobile code consists of Prolog-like rules embedded in Web pages, thereby adding logic programming behaviour to those pages. Since LogicWeb programs are downloaded from foreign hosts and executed locally, there is a need to protect the client from buggy or malicious code. A security model is crucial for making LogicWeb mobile code safe to execute. This paper presents such a model, which supports programs of varying trust levels by using different resource access policies. The implementation of the model derives from an extended operational semantics for the LogicWeb language, which provides a precise meaning of safety.

APA, Harvard, Vancouver, ISO, and other styles

40

Viatkina, Nataliia. "Memory in Terms of Logic and Semiotics." Filosofska dumka (Philosophical Thought) -, no. 4 (December 10, 2021): 142–52. http://dx.doi.org/10.15407/fd2021.04.142.

Full text

Abstract:

The phenomenon of memory is considered as a component implicitly present in the process of information communication. A short typology of memory kinds that form a referential field around so-called semantic memory is given. Through the approaches of Yu. Lotman and R. Jacobson, the classical notion of time is considered through the relationship "Past-Present-Future", which is closely related to the problems of memory. The focus is on how could the memory be considered within logic and by means of logic? As one of the ways of solving the point, to apply the tools of tense logic to the problem through the analysis of the works of Anatoly Ishmuratov (1946–2017), a prominent Ukrainian logician, is proposed. The classifications of the tenses by O. Jespersen, H. Reichenbach, W. Bull are considered. The subjective and objective axes of orientation, which form the basis of calendars, charts and scales, as fragments of time, are analyzed. According to Ishmuratov, these instruments – schemes, diagrams, etc. can be considered languages. The possibility of language objectification of meaning determines the relationship of logical inference, and thus the structuring of semantic areas, which are memories, by means the language of logic and in accordance with its structures. Through the study of logical and cognitive conditions of action, A. Ishmuratov continued to develop ideas of tense logic and their application to explain the psychological perception of objective time. He construed a scheme of semantic connections of memory as a mental act that reproduces the life path of the individual; he distinguished between memories and "pseudo-memories", which together influence the reassessment of past events, shape the individual`s experience and his ability to construe alternatives to the future and reasoning about it. A special place in A. Ishmuratov's research is occupied by his explication of temporal three-valued logic and application of temporal modalities to the analysis of so-called transient states. Further study of such approaches could help to make sense of rational explication of memory, testimonies, reminiscences of past events and give interesting results.

APA, Harvard, Vancouver, ISO, and other styles

41

Lei, Shi, Zizheng Guo, Xi Tan, Xi Chen, Chengen Li, Jiaming Zou, Shi Cao, and Guo Feng. "Cognitive Abilities Predict Safety Performance: A Study Examining High-Speed Railway Dispatchers." Journal of Advanced Transportation 2021 (June 5, 2021): 1–10. http://dx.doi.org/10.1155/2021/5538320.

Full text

Abstract:

Cognitive abilities are good predictors of safety performance in many occupations. However, this correlation has not been studied from the perspective of high-speed railway (HSR) dispatchers who play a vital role in ensuring the safety and punctuality of HSR transportation system. Therefore, studying factors affecting HSR dispatchers’ safety performance is not only of great importance in filling the theoretical gap, but also conducive to the selection and training of dispatchers, contributing to the reduction of human errors and the prevention of railway accidents. In this study, a total of 118 HSR dispatchers from a branch of China Railway were recruited to complete the tests that examined their cognitive abilities related to the dispatching job, including logical reasoning, visual multiobject tracking, working memory, task switching, and cognitive flexibility. Safety performance, including both the safety evaluation score obtained from the dispatchers’ monthly safety performance record of the Railway Bureau and the emergency disposal performance indicated by train delay time, was evaluated with a dispatch simulator. The results suggested that better abilities in visual multiobject tracking, working memory, task switching, and cognitive flexibility were correlated with higher safety evaluation score (reflecting daily safety performance) and shorter train delay time (reflecting safety and efficiency in emergency disposal). No significant correlation was found in logical reasoning. These findings support the recommendation that cognitive abilities investigated as predictors of safety performance could be useful for the selection and training of HSR dispatchers.

APA, Harvard, Vancouver, ISO, and other styles

42

Timany, Amin, Armaël Guéneau, and Lars Birkedal. "The Logical Essence of Well-Bracketed Control Flow." Proceedings of the ACM on Programming Languages 8, POPL (January 5, 2024): 575–603. http://dx.doi.org/10.1145/3632862.

Full text

Abstract:

A program is said to be well-bracketed if every called function must return before its caller can resume execution. This is often the case. Well-bracketedness has been captured semantically as a condition on strategies in fully abstract games models and multiple prior works have studied well-bracketedness by showing correctness/security properties of programs where such properties depend on the well-bracketed nature of control flow. The latter category of prior works have all used involved relational models with explicit state-transition systems capturing the relevant parts of the control flow of the program. In this paper we present the first Hoare-style program logic based on separation logic for reasoning about well-bracketedness and use it to show correctness of well-bracketed programs both directly and also through defining unary and binary logical relations models based on this program logic. All results presented in this paper are formalized on top of the Iris framework and mechanized in the Coq proof assistant.

APA, Harvard, Vancouver, ISO, and other styles

43

Grodin, Harrison, Yue Niu, Jonathan Sterling, and Robert Harper. "Decalf: A Directed, Effectful Cost-Aware Logical Framework." Proceedings of the ACM on Programming Languages 8, POPL (January 5, 2024): 273–301. http://dx.doi.org/10.1145/3632852.

Full text

Abstract:

We present decalf , a d irected, e ffectful c ost- a ware l ogical f ramework for studying quantitative aspects of functional programs with effects. Like calf , the language is based on a formal phase distinction between the extension and the intension of a program, its pure behavior as distinct from its cost measured by an effectful step-counting primitive. The type theory ensures that the behavior is unaffected by the cost accounting. Unlike calf , the present language takes account of effects , such as probabilistic choice and mutable state. This extension requires a reformulation of calf ’s approach to cost accounting: rather than rely on a ”separable” notion of cost, here a cost bound is simply another program . To make this formal, we equip every type with an intrinsic preorder, relaxing the precise cost accounting intrinsic to a program to a looser but nevertheless informative estimate. For example, the cost bound of a probabilistic program is itself a probabilistic program that specifies the distribution of costs. This approach serves as a streamlined alternative to the standard method of isolating a cost recurrence and readily extends to higher-order, effectful programs. The development proceeds by first introducing the decalf type system, which is based on an intrinsic ordering among terms that restricts in the extensional phase to extensional equality, but in the intensional phase reflects an approximation of the cost of a program of interest. This formulation is then applied to a number of illustrative examples, including pure and effectful sorting algorithms, simple probabilistic programs, and higher-order functions. Finally, we justify decalf via a model in the topos of augmented simplicial sets.

APA, Harvard, Vancouver, ISO, and other styles

44

Weber, Hendrik, Julian Bock, Jens Klimke, Christian Roesener, Johannes Hiller, Robert Krajewski, Adrian Zlocki, and Lutz Eckstein. "A framework for definition of logical scenarios for safety assurance of automated driving." Traffic Injury Prevention 20, sup1 (June 12, 2019): S65—S70. http://dx.doi.org/10.1080/15389588.2019.1630827.

Full text

APA, Harvard, Vancouver, ISO, and other styles

45

Georges, Aïna Linn, Alix Trieu, and Lars Birkedal. "Le temps des cerises: efficient temporal stack safety on capability machines using directed capabilities." Proceedings of the ACM on Programming Languages 6, OOPSLA1 (December 8, 2022): 1–30. http://dx.doi.org/10.1145/3527318.

Full text

Abstract:

Capability machines are a type of CPUs that support fine-grained privilege separation using capabilities , machine words that include forms of authority. Formal models of capability machines and associated calling conventions have so far focused on establishing two forms of stack safety properties, namely local state encapsulation and well-bracketed control flow. We introduce a novel kind of directed capabilities and show how to use them to make an earlier suggested calling convention more efficient. In contrast to earlier work on capability machine models we do not only consider integrity properties but also confidentiality properties; we provide a unary logical relation to reason about the former and a binary logical relation to reason about the latter, each expressive enough to reason about temporal stack safety. While the logical relations are useful for reasoning about concrete examples, they do not on their own demonstrate that stack safety holds for a large class of programs. Therefore, we also show full abstraction of a compiler from an overlay semantics that internalizes the calling convention as a single call step and explicitly keeps track of the call stack and frame lifetimes to a base capability machine. All results have been mechanized in Coq.

APA, Harvard, Vancouver, ISO, and other styles

46

Perez-Cruet, Mick J., Dino Samartzis, and Richard G. Fessler. "Anterior Cervical Discectomy and Corpectomy." Operative Neurosurgery 58, suppl_4 (April 1, 2006): ONS—355—ONS—359. http://dx.doi.org/10.1227/01.neu.0000205285.20336.c2.

Full text

Abstract:

Abstract Objective: The objective of this review article is to describe the authors' operative technique for performing anterior cervical corpectomy and fusion. Methods: The authors reviewed their operative technique and experience to clearly detail the general methods utilized to safely and effectively perform anterior cervical corpectomy and fusion. Specific nuances peculiar to the authors' technique were identified and highlighted. Results: The operative technique for anterior cervical corpectomy, including nuances for enhancing ease or outcome of surgery, is described in detail. Drawings and photographs are included where appropriate to highlight specific aspects of the procedural technique. Conclusion: Anterior cervical corpectomy and fusion is a well known technique that proceeds in a consistent and logical sequence of maneuvers. Specific technical nuances at various points enhance the ease and safety of the technique, as well as the completeness of the eventual result.

APA, Harvard, Vancouver, ISO, and other styles

47

Gopal, T. V. "Logical Foundations for Reasoning in Cyber - Physical Systems." Oriental journal of computer science and technology 16, no. 01 (May 30, 2023): 01–11. http://dx.doi.org/10.13005/ojcst16.01.01.

Full text

Abstract:

This paper aims at building the causal relations and event structures13 to study the complex and evolving cyber – physical systems with illustrations of the reasoning based on Robotics24 and Policy Analysis25 for Communication Systems. An empirical analysis points to the realism that network security is also a geometric theory with safety and authentication tending to geometric formulae that make the larger structures. Security is very much a matter of perception too. The proposed approach also factors the perceptual aspects of the human mind. This paper includes several interesting possibilities for using linear algebra, discrete mathematics, analysis, and topology in the domains such as economics, game theory, robotics and biology to mention a few.

APA, Harvard, Vancouver, ISO, and other styles

48

Grau, Bernardo Cuenca, and Egor V. Kostylev. "Logical Foundations of Linked Data Anonymisation." Journal of Artificial Intelligence Research 64 (February 16, 2019): 253–314. http://dx.doi.org/10.1613/jair.1.11355.

Full text

Abstract:

The widespread adoption of the Linked Data paradigm has been driven by the increasing demand for information exchange between organisations, as well as by regulations in domains such as health care and governance that require certain data to be published. In this setting, sensitive information is at high risk of disclosure since published data can be often seamlessly linkedwith arbitrary external data sources.In this paper we lay the logical foundations of anonymisation in the context of Linked Data. We consider anonymisations of RDF graphs (and, more generally, relational datasets with labelled nulls) and define notions of policy-compliant and linkage-safe anonymisations. Policy compliance ensures that an anonymised dataset does not reveal any sensitive information as specified by a policy query. Linkage safety ensures that an anonymised dataset remains compliant even if it is linked to (possibly unknown) external datasets available on the Web, thus providing provable protection guarantees against data linkage attacks. We establish the computational complexity of the underpinning decision problems both under the open-world semantics inherent to RDF and under the assumption that an attacker has complete, closed-world knowledge over some parts of the original data.

APA, Harvard, Vancouver, ISO, and other styles

49

Chumachenko, Serhii, Yevhen Morshch, Kostyantin Lysychenko, Andrii Pruskyi, and Roman Shevchenko. "Structural and logical model of the mechanism for regulating technogenic safety in emergency situations of military-technogenic origin." Legal, regulatory and metrological support of information security system in Ukraine, no. 2(38) (July 21, 2021): 52–66. http://dx.doi.org/10.20535/2074-9481.2(38).2019.234200.

Full text

Abstract:

To ensure stable management of technogenic safety and civil protection in these conditions, it is necessary to develop an information model for managing technogenic security under verious conditions of use of the Armed Forces of Ukraine with the provision of minimal risks and threats of emergencies of military technogenic origin. The information model provides for three components, namely: the first is a model for managing technogenic security safety in the zone of the joint forces operation in a steady state; the second is a model for managing technogenic safety in the area of the joint forces operation in an emergency of natural or technogenic origin; third is a model for managing technogenic security in the area of the joint forces operation in an emergency of military-technogenic origin. The paper shows that the information model of the mechanism of man-made safety regulation during emergencies of military-man-made origin is a set of specific methods, forms, techniques, tools and levers of man-made safety regulation, through the improvement of which, in fact, the man-made safety system is improved. regional level. On the example of solving the practical problem of determining the depth and area of distribution of the primary cloud of highly toxic substances and its impact on military facilities, shows the use of information model to provide the decision maker with necessary and sufficient information to make management decisions to ensure military-man-made security . To assess the effectiveness of mechanisms for state regulation of man-made safety at the regional level, it is proposed to use the method of hierarchy analysis. According to this model, the subject of management (management bodies in the field of technogenic safety) exerts a controlling influence (on the basis of laws, decrees, by-laws, standards, resolutions, orders, programs of ecological direction) on the object of management (social facilities, enterprises, natural objects), which in accordance with the received control impact, changes its state, activity, quantitative and qualitative parameters of the state or impact on the environment.

APA, Harvard, Vancouver, ISO, and other styles

50

El Koursi, E. "Évaluation des logiciels critiques: application à la méthode BAssessment of safety critical software: Application of method B." Recherche - Transports - Sécurité 58 (March 1998): 21–36. http://dx.doi.org/10.1016/s0761-8980(98)80018-6.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Journal articles on the topic 'Safety logiciel'

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