A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Filters
ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study
2014
Electronic Communications of the EASST
Preserved Fulltext
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]
2019
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2016
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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
2005
Annual proceedings. Association for the Advancement of Automotive Medicine
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2006
BMJ Quality & Safety
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2014
2014 IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2018
Journal of Civil Engineering and Management
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2021
International Journal for Research in Applied Science and Engineering Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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]
2022
SpringerBriefs in Applied Sciences and Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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]
2021
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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
2020
MATEC Web of Conferences
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2022
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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]
2018
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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]
1995
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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