Qualitative formal method for requirements specification and validation of hybrid real-time safety systems

2000 ◽  
Vol 147 (1) ◽  
pp. 1 ◽  
Author(s):  
J.-S. Lee ◽  
S.-D. Cha
Keyword(s):  
Real Time ◽  
Formal Method ◽  
Requirements Specification ◽  
Safety Systems

Sokrates-SA - A formal method for specifying real-time systems

1989 ◽  
Vol 27 (1-5) ◽  
pp. 513-520 ◽  
Author(s):  
Ari Okkonen ◽  
Antti Auer ◽  
Mikko Levanto ◽  
Jyrki Okkonen ◽  
Jarmo Kalaoja
Keyword(s):  
Real Time ◽  
Formal Method ◽  
Real Time Systems ◽  
Time Systems

The Integrated Application Based on Real-time Extended UML and Improved Formal Method in Real-time Embedded Software Testing

2010 ◽  
Vol 5 (12) ◽  
Author(s):  
Yongfeng Yin ◽  
Bin Liu ◽  
Zhen Li ◽  
Chun Zhang ◽  
Ning Wu
Keyword(s):  
Software Testing ◽  
Real Time ◽  
Formal Method ◽  
Embedded Software

An Environment for Requirements Specification and Analysis of Real-time Software Based on Timed Petri Nets

1988 ◽  
Vol 21 (18) ◽  
pp. 7-10
Author(s):  
S. Bologna ◽  
F. Pisacane ◽  
C. Ghezzi ◽  
D. Mandrioli
Keyword(s):  
Petri Nets ◽  
Real Time ◽  
Requirements Specification ◽  
Timed Petri Nets

scholarly journals Improving Fire Safety Systems Based On Internet Of Things And Deep Learning

2021 ◽  
Author(s):  
Mohamed Gamaleldin
Keyword(s):  
Deep Learning ◽  
Internet Of Things ◽  
Real Time ◽  
Fire Safety ◽  
Ground Truth ◽  
Current Status ◽  
Dynamic Nature ◽  
Actual Fire ◽  
People Movement ◽  
Safety Systems

Structure fires are one of the main concerns for fire safety systems. The actual fire safety of a building depends on not only how it is designed and constructed, but also on how it is operated. Computational fluid dynamics software is the current solution to reduce the casualties in the fire circumstances. However, it consumes hours to provide the results in some cases that makes it hard to run in real-time. It also does not accept any changes after starting the simulation, which makes it unsuitable for running in the dynamic nature of the fire. On the other hand, the current evacuation signs are fixed, which might guide occupants and firefighter to dangerous zones.<div><br><div>In this research, we present a smoke emulator that runs in real-time to reflect what is happening on the ground-truth. This system is achieved using a light-weight smoke emulator engine, deep learning, and internet of things. The IoT sensors are sending the measurements to correct the emulator from any deviation and reflect events such as fire starting, people movement, and the door’s status. This emulator helps the firefighter by providing them with a map that shows the smoke development in the building. They can take a snapshot from the current status of the building and try different virtual evacuation and firefighting plans to pick the best and safest for them to proceed. The system will also control the exit signs to have adaptive exit routes that guide occupants away from fire and smoke to minimize the exposure time to the toxic gases<br></div></div>

scholarly journals Intelligent and communicating real-time diagnostics for the fight against the Fire Compartments.

2018 ◽  
Vol 210 ◽  
pp. 05014
Author(s):  
B. Patte-Rouland ◽  
B. Betting ◽  
M. Lebey ◽  
E. Varea
Keyword(s):  
Experimental Data ◽  
Real Time ◽  
Emergency Response ◽  
Second Phase ◽  
Security Systems ◽  
Passive Safety Systems ◽  
Safety Systems ◽  
Real Time Information ◽  
Time Information ◽  
Numerical Approaches

This results aims to improve the effectiveness of security systems by optimizing the interaction between technological components and organizational and human intervention. Objectives are to determine the specific laws governing indoor fire phenomena by means of experimental full-scale and numerical approaches, to get real-time information about the fire during operations. A second phase consists in a transformation of the usual passive-safety systems into intelligent and communicating systems, thereby optimizing and securing the human and organizational emergency response. The dual competence numerical /experimental data is essential in this type of study since the experimental data suffer from a lack of resolution (spatial, temporal) but nevertheless represent information necessary for validating the codes.

Sign in / Sign up

Export Citation Format

Share Document