Filters








24,232 Hits in 5.7 sec

Less Manual Work for Safety Engineers: Towards an Automated Safety Reasoning with Safety Patterns [article]

Yuri Gil Dantas
2020 pre-print
This paper proposes the use of logic programming engines for the automated reasoning about system safety.  ...  We propose a domain-specific language for embedded system safety and specify as disjunctive logic programs reasoning principles used by safety engineers to deploy safety patterns, e.g., when to use safety  ...  The goal is to enable safety engineers to use our automated reasoning with models written in AutoFOCUS3.  ... 
doi:10.4204/eptcs.325.29 arXiv:2009.10251v1 fatcat:u3d6lxgmnzbg5gumi5vdkt6q4e

Security Engineering for ISO 21434 [article]

Yuri Gil Dantas, Vivek Nigam, Harald Ruess
2021 arXiv   pre-print
In this white paper, we propose a security engineering approach that can ease this process by relying on Rigorous Security Assessments and Incremental Assessment Maintenance methods supported by automation  ...  Engineers have to deploy processes that include several security risk assessment methods to produce security arguments and evidence supporting item security claims.  ...  Currently, the machinery is based on the logic programming engine DLV [25] for automating safety and security reasoning principles such as pattern recommendation.  ... 
arXiv:2012.15080v3 fatcat:lxxau4ie25flba2szmnqw3n4b4

Software engineering for safety

Robyn R. Lutz
2000 Proceedings of the conference on The future of Software engineering - ICSE '00  
: ABSTRACT This report describes the current state of software engineering for safety and proposes some directions for needed work that appears to be achievable in the near future.  ...  Promote collaboration with related fields in order to exploit advances in areas such as security and survivability, software architecture, theoretical computer science, human factors engineering, and software  ...  In another critical application Feather instead used a database as the underlying reasoning engine for automated consistency analysis [16] .  ... 
doi:10.1145/336512.336556 dblp:conf/icse/Lutz00 fatcat:to4aaglfyra7tcdc443izhdq3e

Model-Based Safety and Security Engineering [article]

Vivek Nigam and Alexander Pretschner and Harald Ruess
2019 arXiv   pre-print
We conclude pointing out that these are the first steps towards a wide range of techniques to support Safety and Security Engineering.  ...  In particular, (1) we demonstrate how to extract in an automated fashion security relevant information from safety assessments by translating GSN-Models into ADTs; (2) We show how security results can  ...  We also thank the AF3 team for helping us with the implementation of features in AF3. Finally, we also thank the fortiss Safety and Security Reading group.  ... 
arXiv:1810.04866v2 fatcat:b5szqz755vdj7bfgh4xsluqyyy

Safe-by-Design in Engineering: An Overview and Comparative Analysis of Engineering Disciplines

Pieter van Gelder, Pim Klaassen, Behnam Taebi, Bart Walhout, Ruud van Ommen, Ibo van de Poel, Zoe Robaey, Lotte Asveld, Ruud Balkenende, Frank Hollmann, Erik Jan van Kampen, Nima Khakzad (+7 others)
2021 International Journal of Environmental Research and Public Health  
We argue that Safe-by-Design is best considered as a specific elaboration of Responsible Research and Innovation, with an explicit focus on safety in relation to other important values in engineering such  ...  Safe-by-Design provides for an intellectual venue where social science and the humanities (SSH) collaborate on technological developments and innovation by helping to proactively incorporate safety considerations  ...  Acknowledgments: The authors gratefully acknowledge Sheri Six for work as the language editor of the current paper, as well as the four anonymous reviewers of the paper.  ... 
doi:10.3390/ijerph18126329 pmid:34208018 fatcat:tdhni2tkhfdjzevyhfnkczzvhm

Compliance-aware engineering process plans: the case of space software engineering processes

Julieth Patricia Castellanos-Ardila, Barbara Gallina, Guido Governatori
2021 Artificial Intelligence and Law  
Our analysis is based on qualitative criteria targeting the effort dictated by task demands required to create a CaEPP for software development with ACCEPT.  ...  Space software is safety and mission-critical, and it is often the result of industrial cooperation. Such cooperation is coordinated through compliance with relevant standards.  ...  Acknowledgements This work is supported by the EU and VINNOVA via the ECSEL JU project AMASS (No. 692474) Funding Open access funding provided by Mälardalen University.  ... 
doi:10.1007/s10506-021-09285-5 fatcat:mjppy6q37bggle4txs5riv34sy

Engineering failure analysis and design optimisation with HiP-HOPS

Yiannis Papadopoulos, Martin Walker, David Parker, Erich Rüde, Rainer Hamann, Andreas Uhlig, Uwe Grätz, Rune Lien
2011 Engineering Failure Analysis  
An alternative approach employs model-checking of state automata to study the effects of failure and verify system safety properties.  ...  We summarise these contributions and demonstrate the application of HiP-HOPS on a simplified fuel oil system for a ship engine.  ...  Acknowledgements This work was supported by the EU Projects SAFEDOR (Grant 516278), ATESST2 (Grant 224442), and MAENAD (Grant 260057).  ... 
doi:10.1016/j.engfailanal.2010.09.025 fatcat:yawoy7llzfaqdoeiip62tbui6m

Safety-engineered intravenous catheter utilization among Canadian pediatric anesthesiologists

Kimmo Murto, Sophie Breton, Kelly-Ann Ramakko, Mary Aglipay, Rob Perverseff, Gregory L. Bryson
2015 Canadian Journal of Anesthesia  
Safety-engineered intravenous catheters (SEICs) have been designed to reduce NSIs but have not been well received.  ...  Bryson contributed to the conception and design of the study. the primary reason for non-use.  ...  Tait for his input regarding survey questions and Johanna Spaans for reviewing and editing the manuscript.  ... 
doi:10.1007/s12630-015-0351-x pmid:25724790 fatcat:i5vvjkfhk5e55j25ec3n4mh7ka

Antifragility: systems engineering at its best

Eric Verhulst, Bernhard Sputh, Pieter Van Schaik
2015 Journal of Reliable Intelligent Environments  
Systems engineering has emerged because of the growing complexity of systems and the growing need for systems to provide a reliable service.  ...  What the user expects is an acceptable quality of service (QoS), a property that is difficult to measure as it is a qualitative one.  ...  The reason for this is that with the advent of programmable components in system design, systems engineering became dominantly a discrete domain problem, whereas the preceding technologies were dominantly  ... 
doi:10.1007/s40860-015-0013-3 fatcat:emcxdozmmzd25onnidwcwnnpzu

Derivational software engineering

Douglas R. Smith, Louis Hoebel
2010 Proceedings of the FSE/SDP workshop on Future of software engineering research - FoSER '10  
For example, if a design pattern were formalized, and pre-analyzed for its properties, then it would be possible to generate certification evidence at the same time that the code pattern is instantiated  ...  To address these deficiencies, a science of design providing solid foundations for software engineering will focus on derivation structure as the essence of software.  ...  An ultimate end of software engineering is providing the tooling to meet those needs through an automated requirements-driven process of creating and evolving software.  ... 
doi:10.1145/1882362.1882434 dblp:conf/sigsoft/SmithH10 fatcat:2gzj5gmyd5bghcqt4h3okyjqbe

Design for safety: A cognitive engineering approach to the control and management of nuclear power plants

Guy A. Boy, Kara A. Schmitt
2013 Annals of Nuclear Energy  
The automation within is an important portion of this maturity, and must be understood well.  ...  This paper presents an analytical approach to design for safety that is based on 30 years of experience in the field of Human-centered design.  ...  Human in control through envelopeprotected system; May use advisory systems; System management manual. Assisted Manual Control Primarily manual control with some automation support.  ... 
doi:10.1016/j.anucene.2012.08.027 fatcat:4hi7o6ezwbe7zhfilzndqyzsem

Resilience Engineering [chapter]

Kazuo Furuta
2014 Reflections on the Fukushima Daiichi Nuclear Accident  
engineering is an area where technical methodologies to implement resilience into socio-technical systems are studied.  ...  In this chapter, the prehistory of resilience engineering will be described first where the focal point of systems safety has gradually shifted from hardware component failures to the resilience of complex  ...  This group examined behavioral patterns of work groups under high-risk and stressful conditions such as aircraft carriers, air traffic control, and nuclear power plants.  ... 
doi:10.1007/978-3-319-12090-4_24 fatcat:jyboftjgvrbvdaqx5vlq4s65nq

From Object Orientation to Goal Orientation: A Paradigm Shift for Requirements Engineering [chapter]

Axel van Lamsweerde, Emmanuel Letier
2004 Lecture Notes in Computer Science  
A safety injection system for a nuclear power plant is used as a running example to illustrate the key role of goals while engineering requirements for high assurance systems.  ...  Recent surveys have confirmed the growing recognition of RE as an area of primary concern in software engineering research and practice.  ...  Acknowledgement The work of Emmanuel Letier was supported by the "Fonds National de la Recherche Scientifique" (FNRS).  ... 
doi:10.1007/978-3-540-24626-8_23 fatcat:uvwqeqtpybdztcpy2zrplxbu4a

Collaborative Verification-Driven Engineering of Hybrid Systems

Stefan Mitsch, Grant Olney Passmore, André Platzer
2014 Mathematics in Computer Science  
Hybrid systems with both discrete and continuous dynamics are an important model for real-world cyber-physical systems.  ...  This paper introduces a verification-driven engineering toolset that extends our previous work on hybrid and arithmetic verification with tools for (i) graphical (UML) and textual modeling of hybrid systems  ...  Finally, in Section 5 we conclude the paper with an outlook on real-world application of the toolset and possible directions for future work.  ... 
doi:10.1007/s11786-014-0176-y fatcat:urc6l7ssmrdezef2ev72bo6uzq

Software Engineering in Industrial Automation: State-of-the-Art Review

Valeriy Vyatkin
2013 IEEE Transactions on Industrial Informatics  
This is mixed with classic automation artefacts, such as the set of most influential international standards and dominating industrial practices.  ...  This paper presents one perspective on recent developments related to software engineering in the industrial automation sector that spans from manufacturing factory automation to process control systems  ...  The design of large BASs with thousands of devices is a laborious task with a lot of recurrent works for identical automated rooms.  ... 
doi:10.1109/tii.2013.2258165 fatcat:sx4qitarozdehokrdm2cwrp5oe
« Previous Showing results 1 — 15 out of 24,232 results