A Safe, Secure, and Predictable Software Architecture for Deep Learning in Safety-Critical Systems

2020 ◽  
Vol 12 (3) ◽  
pp. 78-82 ◽  
Author(s):  
Alessandro Biondi ◽  
Federico Nesti ◽  
Giorgiomaria Cicero ◽  
Daniel Casini ◽  
Giorgio Buttazzo
Keyword(s):  
Deep Learning ◽  
Software Architecture ◽  
Critical Systems ◽  
Safety Critical ◽  
Safety Critical Systems

Task Scheduler Based Design of Software Architecture for Distributed Timed Automata in Safety Critical Systems

2011 ◽  
Vol 403-408 ◽  
pp. 3430-3437
Author(s):  
Yogendra Namjoshi
Keyword(s):  
Software Architecture ◽  
Real Time ◽  
Timed Automata ◽  
Critical Systems ◽  
Critical System ◽  
Signaling Systems ◽  
Safety Critical ◽  
Safety Critical System ◽  
System A ◽  
Safety Critical Systems

The paper revisits the approach of distributed timed automata in order to improve and optimize the methodology used in order to increase the availability of a safety critical system and implements using embedded real time task scheduler. A double wheel counter or digital axle counter system, a typical safety critical system that is used in solid state based railway signaling systems, is considered for achieving higher availability under certain failures. The improvement in the software architecture is influenced by the theory of task scheduler of real time operating system.

Generation of testing script based on XML for safety-critical systems

2011 ◽  
Vol 31 (1) ◽  
pp. 281-285
Author(s):  
Huan HE ◽  
Zhong-wei XU ◽  
Gang YU ◽  
Shi-yu YANG
Keyword(s):  
Critical Systems ◽  
Safety Critical ◽  
Safety Critical Systems
Sign in / Sign up

Export Citation Format

Share Document