113,503 Hits in 5.2 sec

ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study

Christian Brenner, Joel Greenyer, Jörg Holtmann, Grischa Liebel, Gerald Stieglbauer, Matthias Tichy
2014 Electronic Communications of the EASST  
In many areas, such as automotive, healthcare, or production, we find software-intensive systems with complex real-time requirements.  ...  In this paper, we present the first tool supporting the play-out of MSDs with real-time constraints.  ...  In the next section, we provide details of how this runtime is extended to support real-time MSDs. Timed Simulation Real-time systems can behave differently depending on the passing of time.  ... 
doi:10.14279/tuj.eceasst.67.948 dblp:journals/eceasst/BrennerGHLST14 fatcat:bo2us25xtjcgdibzuurgxoglfe

Challenges of Real-World Reinforcement Learning [article]

Gabriel Dulac-Arnold, Daniel Mankowitz, Todd Hester
2019 arXiv   pre-print
However, much of the research advances in RL are often hard to leverage in real-world systems due to a series of assumptions that are rarely satisfied in practice.  ...  Reinforcement learning (RL) has proven its worth in a series of artificial domains, and is beginning to show some successes in real-world scenarios.  ...  One major challenge with addressing these safety concerns in real systems is that safety violations will likely be very rare in logs of the system.  ... 
arXiv:1904.12901v1 fatcat:ldkpy7apkjchppos3lk5up5sxa

Compliance, Functional Safety and Fault Detection by Formal Methods [chapter]

Christof Fetzer, Christoph Weidenbach, Patrick Wischnewski
2016 Lecture Notes in Computer Science  
Furthermore, it does not support fault detection at run time. We suggest an approach towards formal safety, compliance and fault detection at run time via an auditor.  ...  A full fledged formal verification of the overall car is not realistic and even hard to obtain for single non-trivial components such as assistant systems.  ...  The auditor protects the IP of the manufacturer by processing in real-time all data and only keep data in case a violation of regulation was detected.  ... 
doi:10.1007/978-3-319-47169-3_48 fatcat:2vuizzismjfj7bla4x2txdiqae

Page 7346 of Mathematical Reviews Vol. , Issue 2000j [page]

2000 Mathematical Reviews  
Every computation that violates a safety prop- erty has a finite prefix along which the property is violated.  ...  The formalism of RAL is an event-based logical system able to express properties of liveness, fairness, safety and timing con- straints.  ... 

An optimal solution for enhancing ambulance safety: implementing a driver performance feedback and monitoring device in ground emergency medical service vehicles

Nadine R Levick, Jon Swanson
2005 Annual proceedings. Association for the Advancement of Automotive Medicine  
A prospective study was conducted to determine if emergency vehicle driver risk behavior could be improved with an onboard computer-monitoring device, with real time auditory feedback.  ...  In >1.9 million recorded miles, performance improved from a baseline low of 0.018 miles between penalty counts to a high of 15.8 miles between counts. Seatbelt violations dropped from 13,500 to 4.  ...  Use of an on board computer system with real time feedback and monitoring should be encouraged for widespread implementation throughout the EMS system to optimize safety.  ... 
pmid:16179138 pmcid:PMC3217460 fatcat:ghaieyvrqrb6pjzho2nng2bniq

Violations and migrations in health care: a framework for understanding and management

R Amalberti, C Vincent, Y Auroy, G de Saint Maurice
2006 BMJ Quality & Safety  
ACKNOWLEDGEMENTS This paper is an extension of an unpublished working paper presented at The Canadian Healthcare Safety Symposium, Edmonton, Alberta, Canada, 14-16 October 2004.  ...  and the manner in which a system migrates to the boundaries of safety.  ...  Furthermore, these violations can become more frequent and more severe over time so that the whole system ''migrates'' to the boundaries of safety until an accident or recalibration occurs which forces  ... 
doi:10.1136/qshc.2005.015982 pmid:17142612 pmcid:PMC2464877 fatcat:byyxchprq5h5bge2m2fw7pvr7i

Ingredients for the Specification of Mixed-Criticality Real-Time Systems

Raimund Kirner
2014 2014 IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing  
In this paper we argue that mixed criticality properties as well as real-time properties have to be considered together in order to provide the maximal utility of a system.  ...  In this paper we study the requirements to specify mixed criticality real-time systems (MCRTS). Mixed criticality systems have been studied intensively over the last years.  ...  In case that any timing violation of a service would put the system at high risk of damaging failure, the service is called a hard real-time service.  ... 
doi:10.1109/isorc.2014.40 dblp:conf/isorc/Kirner14a fatcat:hherxad24zfufbyczljn7ibmcy

A real-time control approach based on intelligent video surveillance for violations by construction workers

Shengyu GUO, Chaohua XIONG, Peisong GONG
2018 Journal of Civil Engineering and Management  
In addition, real-time alerts of these unsafe acts are produced simultaneously.  ...  Thus, the proposed approach promotes behavioral safety management on construction since it effectively controls workers' violations by real-time monitoring and analysis.  ...  Furthermore, available safety models combining behavioral and cultural factors explain the necessity of controlling worker's violation to some extent.  ... 
doi:10.3846/jcem.2018.301 fatcat:yswz57xaobe5vbmvhml2egik24

Helmet Wearing Detection for Riders Safety

Shobha Rani
2021 International Journal for Research in Applied Science and Engineering Technology  
The system takes a video of real time as the input and detects moving objects in the scene.  ...  In order to discourage this behavior police force has been made for traffic to issue violation ticket. This process will be done manual, time consuming and very tedious.  ...  This process involves the detection of the helmet in the real time video running on the system. SIFT algorithm will identify the helmet very fast and gives the output faster.  ... 
doi:10.22214/ijraset.2021.37254 fatcat:darwdh4szzh55igvou37fughjm

Beyond the Traditional Analyses and Resource Management in Real-Time Systems [chapter]

Federico Reghenzani
2022 SpringerBriefs in Applied Sciences and Technology  
AbstractThe difficulties in estimating the Worst-Case Execution Time (WCET) of applications make the use of modern computing architectures limited in real-time systems.  ...  Critical embedded systems require the tasks of hard real-time applications to meet their deadlines, and formal proofs on the validity of this condition are usually required by certification authorities  ...  probability of violation, corresponding to the real one, would be just another term in the failure analysis of safety-critical systems.  ... 
doi:10.1007/978-3-030-85918-3_6 fatcat:fzgxrcnbd5a57hbe2kmzpjcr4m

Learning Robot Trajectories subject to Kinematic Joint Constraints [article]

Jonas C. Kiemel, Torsten Kröger
2021 arXiv   pre-print
In addition, the influence of the selected prediction frequency on the learning performance and on the computing effort is highlighted by various experiments.  ...  We show that our approach is preferable to penalizing constraint violations as it provides explicit guarantees and does not distort the desired optimization target.  ...  As explained in the introduction, inevitable violations might occur at a later point in time.  ... 
arXiv:2011.00563v2 fatcat:66d6gu5oufaofmvbu7nb4wwqtq

A novel real-time safety level calculation approach based on STPA

Apostolos Zeleskidis, Ioannis M. Dokas, Basil Papadopoulos, K. Stamoulis, M. Papanikou, A. Apostolidis, A. Plioutsias, H. Karakoc
2020 MATEC Web of Conferences  
The proposed approach utilises (1) an STPA hazard analysis applied to the system in question, (2) system operational data from domain experts regarding process duration and reaction times, and (3) real-time  ...  This paper aims to introduce a new perspective on the problem of measuring and managing the actual safety level of highly complex socio-technical systems in real time and discusses related limitations  ...  Finally, the creation of an operational system is planned where the approach will be installed into a real system to calculate its safety level in real time. Figure. 1 . 1 The proposed approach.  ... 
doi:10.1051/matecconf/202031401001 fatcat:7tb3dca6qre6nokhrx3hdglreq

Industrial-Strength Verification of Solid State Interlocking Programs [article]

Alexei Iliasov, Dominic Taylor, Linas Laibinis, Alexander Romanovsky
2022 arXiv   pre-print
In the last two years SafeCap has been successfully used to verify 26 real-world mainline interlockings, developed by different suppliers and design offices.  ...  It ensures fully-automated verification of safety properties using the state of the art techniques (automated theorem provers and solvers), and provides diagnostics in terms of the notations used by engineers  ...  Any violations of the safety invariants are reported as findings in the final report.  ... 
arXiv:2108.10091v2 fatcat:66aejovznbfjpachl4m54fasza

Toward `verifying' a Water Treatment System [article]

Jingyi Wang and Jun Sun and Yifan Jia and Shengchao Qin and Zhiwu Xu
2018 arXiv   pre-print
Given a set of safety requirements, the objective is to either show that the system is safe with a high probability (so that a system shutdown is rarely triggered due to safety violation) or not.  ...  In this work, we report our experience on combining model learning and abstraction refinement to analyze a challenging system, i.e., a real-world Secure Water Treatment system (SWaT).  ...  Acknowledgement The work was supported in part by Singapore NRF Award No. NRF2014NCR-NCR001-40, NSFC projects 61772347, 61502308, STFSC project JCYJ20170302153712968.  ... 
arXiv:1712.04155v2 fatcat:7egktzg3zjgtzjcgg2fbpkqvkm

Verification of real-time systems by successive over and under approximation [chapter]

David L. Dill, Howard Wong-Toi
1995 Lecture Notes in Computer Science  
In terms of real-time system verification, this enables us to efficiently verify properties of the full class of timed safety automata augmented with urgency semantics.  ...  In safety verification, different abstractions can yield true lower or upper approximations of the set of reachable states.  ...  In the algorithms below, we approximate in equation (1) Real-time systems We augment the definition of timed safety automata (TSAs) [19, 15] with urgency semantics.  ... 
doi:10.1007/3-540-60045-0_66 fatcat:5qrxqdg2lvh7xny3gpq6fu6rgi
« Previous Showing results 1 — 15 out of 113,503 results