[PDF] Top 20 Safety monitoring for autonomous systems: interactive elicitation of safety rules

... model of the system in a specific context in order to analyze its ...set of inputs (called a test case) is given to the system. For symbolic inputs, we talk about symbolic ...execution. For ... Voir le document complet

... thesis, Safety Monitoring, Safety Rules, Reactive ...Ensuring safety is a critical issue for the deployment of hazardous and complex reactive systems such as ... Voir le document complet

... Abstract—Safety-critical autonomous systems, like robots working in collaboration with humans, are about to be used in diverse environments such as industry but also public spaces or ...Those ... Voir le document complet

... support autonomous functions on-board spacecraft. An analysis of current standards and techniques in space and other domains, and a survey of software autonomy projects from the point of view ... Voir le document complet

... ification of systems in general and safety monitoring in particular, the problem of elicitation of the properties to be monitored has not been specifically addressed, to ... Voir le document complet

... tolerance, Safety, Autonomous system, Safety monitor, Model checking, Safety rules ...New safety critical systems are about to enter into our homes, work places or ... Voir le document complet

... assessment of the first direct mechanism involves assumptions on the inherent safety of the vehicle system such as: the vehicle system has a proper and reliable functioning, the interactions with ... Voir le document complet

... to systems with moderate size. The full set of states for larger systems is usually too big to design a ...controller. For this reason, flourishing ongoing research has emerged the ... Voir le document complet

... regulated safety (based on prescribed safety rules and procedures)- and managed safety (based on operators’ knowledge and ...field of ready-mixed concrete delivery to worksites is ... Voir le document complet

... L’accès à ce site Web et l’utilisation de son contenu sont assujettis aux conditions présentées dans le site LISEZ CES CONDITIONS ATTENTIVEMENT AVANT D’UTILISER CE SITE WEB. Paper (National Research Council of ... Voir le document complet

... guage for describing the architectures that coordinate the interactions in a distributed system, parameterized by (i) the number of components of each type that are active in the system, ...shape ... Voir le document complet

... The reportable incidents which are not covered by the mandatory reporting systems of Investigation Authority in Australia are covered by mandatory reporting systems [r] ... Voir le document complet

... Tools for bounded-time safety verification based on computing flowpipes enclosing reach- able sets of non-linear ODEs, such as ...nature of the initial and the forbidden sets of ...set ... Voir le document complet

... elaboration of situational judgement tests (SJT), defined by McDaniel et ...during safety trainings, in order to evaluate if workers consider SCB as a privileged way of action in their professional ... Voir le document complet

... For the publisher’s version, please access the DOI link below./ Pour consulter la version de l’éditeur, utilisez le lien DOI ci-dessous. https://doi.org/10.4224/20331469 Access and use of this website and ... Voir le document complet

... Among them, four organizational requirements are considered to be relatively unique to high-speed maglev systems, and particularly significant: (1) Advanced safety trai[r] ... Voir le document complet

... approach for improving the dependability of systems (and not just computer ...codes of practice reflect lessons learned from previous ...design of new systems will take into ... Voir le document complet

... Introduction Safety is important in interactions between human and robots ...case of intermittent contact interface ICI, contact is inevitable between humans and ...terms of human safety, ... Voir le document complet

... adaptation of the ITS facilities for an efficient large scale simulation (iTETRIS ) can be demonstrated by referring to the methodology adapted for implementation of the communication- related ... Voir le document complet

... responsible for design must understand how the structure works, and this requires a fundamental knowledge of statics, dynamics, material behaviour, structural strength and ...concept of fail-safe ... Voir le document complet