Transformation of Function Block Diagrams to UPPAAL timed automata for the verification of safety applications

2012 ◽  
Vol 36 (2) ◽  
pp. 338-345 ◽  
Author(s):  
Doaa Soliman ◽  
Kleanthis Thramboulidis ◽  
Georg Frey
Keyword(s):  
Timed Automata ◽  
Transformation Of Function ◽  
Function Block ◽  
Safety Applications

Function Block Diagram to UPPAAL Timed Automata Transformation Based on Formal Models

2012 ◽  
Vol 45 (6) ◽  
pp. 1653-1659 ◽  
Author(s):  
Doaa Soliman ◽  
Kleanthis Thramboulidis ◽  
Georg Frey
Keyword(s):  
Timed Automata ◽  
Block Diagram ◽  
Formal Models ◽  
Function Block

Effectiveness of GPS/INS simulators for current and future range safety applications

2001 ◽  
Author(s):  
A. Soltz ◽  
L. Stanley ◽  
A. Tetewsky ◽  
R. Phillips ◽  
A. Bogner ◽  
...  
Keyword(s):  
Safety Applications

Various Safety Devices for Machinery Safety Applications

2014 ◽  
Vol 68 (11) ◽  
pp. 1290-1299
Author(s):  
Keiji Otake ◽  
Yuji Yamada
Keyword(s):  
Safety Devices ◽  
Safety Applications

Modeling and Verifying Services of Internet of Things Based on Timed Automata

2011 ◽  
Vol 34 (8) ◽  
pp. 1365-1377 ◽  
Author(s):  
Li-Xing LI ◽  
Zhi JIN ◽  
Ge LI
Keyword(s):  
Internet Of Things ◽  
Timed Automata

scholarly journals PyroMEMS as Future Technological Building Blocks for Advanced Microenergetic Systems

Micromachines ◽  
2021 ◽  
Vol 12 (2) ◽  
pp. 118
Author(s):  
Jean-Laurent Pouchairet ◽  
Carole Rossi
Keyword(s):  
Building Block ◽  
Building Blocks ◽  
Small Scale ◽  
Technological Evolution ◽  
Research Groups ◽  
Function Block ◽  
The Past ◽  
New Methods ◽  
Safety And Reliability ◽  
Electronically Controllable

For the past two decades, many research groups have investigated new methods for reducing the size and cost of safe and arm-fire systems, while also improving their safety and reliability, through batch processing. Simultaneously, micro- and nanotechnology advancements regarding nanothermite materials have enabled the production of a key technological building block: pyrotechnical microsystems (pyroMEMS). This building block simply consists of microscale electric initiators with a thin thermite layer as the ignition charge. This microscale to millimeter-scale addressable pyroMEMS enables the integration of intelligence into centimeter-scale pyrotechnical systems. To illustrate this technological evolution, we hereby present the development of a smart infrared (IR) electronically controllable flare consisting of three distinct components: (1) a controllable pyrotechnical ejection block comprising three independently addressable small-scale propellers, all integrated into a one-piece molded and interconnected device, (2) a terminal function block comprising a structured IR pyrotechnical loaf coupled with a microinitiation stage integrating low-energy addressable pyroMEMS, and (3) a connected, autonomous, STANAG 4187 compliant, electronic sensor arming and firing block.

Sign in / Sign up

Export Citation Format

Share Document