SADLI: Functional Programming in a Safety Critical Application

1996 ◽  
pp. 223-242
Author(s):  
Morris Chudleigh ◽  
Chris Berridge ◽  
Jenny Butler ◽  
Rod May ◽  
Ian Poole
Keyword(s):  
Functional Programming ◽  
Safety Critical ◽  
Safety Critical Application

Design methodology for battery powered embedded systems — In safety critical application

2009 ◽  
Vol 31 (2) ◽  
pp. 499-503 ◽  
Author(s):  
Joydeb Roy Chowdury ◽  
Sayantica Pattanayak ◽  
A.K. Bhattacharjee
Keyword(s):  
Embedded Systems ◽  
Design Methodology ◽  
Safety Critical ◽  
Safety Critical Application

Modeling and Realization of CBTC Interlocking System Using SCADE

2013 ◽  
Vol 823 ◽  
pp. 445-450
Author(s):  
Xi Wang ◽  
Shuo Liu
Keyword(s):  
Practical Application ◽  
Railway Transportation ◽  
High Demand ◽  
Safety Critical ◽  
Train Control ◽  
Passenger Flow ◽  
Core Function ◽  
Big City ◽  
Safety Critical Application ◽  
Software Codes

With the rapidly growing of passenger flow in big city, Communications Based Train Control (CBTC) system is believed to be the chief choice for urban railway transportation system. Interlocking system is a key safety critical application for CBTC, as it provides trains safety routes both in normal condition and under degraded mode. To deal with the logic complexity and high demand for safety, this paper addresses a novel scheme for modeling and realization of CBTC interlocking system. Using SCADE toolset, core function model prototypes are elaborated and software codes are generated automatically. The practical application indicates that this method provides an accurate and complete description for the whole system, and offers a path to gain high quality system implementation.

Testing a safety-critical application

1994 ◽  
Author(s):  
John C. Knight ◽  
Aaron G. Cass ◽  
Antonio M. Fernández ◽  
Kevin G. Wika
Keyword(s):  
Safety Critical ◽  
Safety Critical Application
Sign in / Sign up

Export Citation Format

Share Document