A high order collaboration and real time formal model for automatic testing of safety critical systems

Jianghua Lv; Shilong Ma; Xianjun Li; Jiangong Song

doi:10.1007/s11704-015-2254-y

A high order collaboration and real time formal model for automatic testing of safety critical systems

Frontiers of Computer Science ◽

10.1007/s11704-015-2254-y ◽

2015 ◽

Vol 9 (4) ◽

pp. 495-510

Author(s):

Jianghua Lv ◽

Shilong Ma ◽

Xianjun Li ◽

Jiangong Song

Keyword(s):

Real Time ◽

Formal Model ◽

High Order ◽

Automatic Testing ◽

Critical Systems ◽

Safety Critical ◽

Safety Critical Systems

Download Full-text

Hazard analysis of real-time safety critical systems using hierarchical communicating real-time state machines formal model

2017 12th International Conference on Computer Engineering and Systems (ICCES) ◽

10.1109/icces.2017.8275381 ◽

2017 ◽

Cited By ~ 1

Author(s):

Ahmed M. Bakr ◽

Mostafa M. Fouda ◽

May Salama ◽

Abdelwahab K. Alsammak ◽

Hossam Yahia

Keyword(s):

Real Time ◽

Formal Model ◽

Hazard Analysis ◽

State Machines ◽

Critical Systems ◽

Safety Critical ◽

Safety Critical Systems

Download Full-text

Integrated safety critical systems on reliable real time network

Proceedings of the 8th International Scientific and Practical Conference of Students, Post-graduates and Young Scientists. Modern Technique and Technologies. MTT'2002 (Cat. No.02EX550) ◽

10.1109/pdcat.2003.1236260 ◽

2004 ◽

Cited By ~ 1

Author(s):

Shiping Yang ◽

Nan Sang ◽

Guangze Xiong

Keyword(s):

Real Time ◽

Critical Systems ◽

Safety Critical ◽

Safety Critical Systems

Download Full-text

Real-Time and Safety-Critical Systems

High-Integrity System Specification and Design ◽

10.1007/978-1-4471-3431-2_6 ◽

1999 ◽

pp. 359-528

Author(s):

Jonathan Ostroff ◽

Susan Gerhart ◽

Dan Craigen ◽

Ted Ralston ◽

Nancy G. Leveson ◽

...

Keyword(s):

Real Time ◽

Critical Systems ◽

Safety Critical ◽

Safety Critical Systems

Download Full-text

Modeling real-time safety critical systems using hierarchical communicating real-time state machines and c-lang parser

2017 Eighth International Conference on Intelligent Computing and Information Systems (ICICIS) ◽

10.1109/intelcis.2017.8260054 ◽

2017 ◽

Cited By ~ 1

Author(s):

Ahmed M. Bakr ◽

Mostafa M. Fouda ◽

May Salama ◽

Abdelwahab K. Alsammak ◽

Hossam Yahia

Keyword(s):

Real Time ◽

State Machines ◽

Critical Systems ◽

Safety Critical ◽

Safety Critical Systems

Download Full-text

A flexible environment for rapid prototyping and analysis of distributed real-time safety-critical systems

Control Engineering Practice ◽

10.1016/j.conengprac.2006.04.005 ◽

2007 ◽

Vol 15 (1) ◽

pp. 77-94 ◽

Cited By ~ 14

Author(s):

H.A. Thompson ◽

D.N. Ramos-Hernandez ◽

J. Fu ◽

L. Jiang ◽

I. Choi ◽

...

Keyword(s):

Rapid Prototyping ◽

Real Time ◽

Critical Systems ◽

Safety Critical ◽

Safety Critical Systems

Download Full-text

Newthink - An Orwellian specification language for real-time safety critical systems

Fourth Euromicro workshop on Real-Time Systems ◽

10.1109/emwrt.1992.637483 ◽

1992 ◽

Cited By ~ 2

Author(s):

P. Mukherjee ◽

V. Stavridou

Keyword(s):

Real Time ◽

Specification Language ◽

Critical Systems ◽

Safety Critical ◽

Safety Critical Systems

Download Full-text

Real-time safety-critical systems: analysis and synthesis

Software Engineering Journal ◽

10.1049/sej.1994.0036 ◽

1994 ◽

Vol 9 (6) ◽

pp. 267 ◽

Cited By ~ 17

Author(s):

A. Burns ◽

J.A. McDermid

Keyword(s):

Real Time ◽

Systems Analysis ◽

Critical Systems ◽

Safety Critical ◽

Analysis And Synthesis ◽

Safety Critical Systems

Download Full-text

Real-time scheduling algorithm for safety-critical systems on faulty multicore environments

Real-Time Systems ◽

10.1007/s11241-016-9258-z ◽

2016 ◽

Vol 53 (1) ◽

pp. 45-81 ◽

Cited By ~ 12

Author(s):

Risat Mahmud Pathan

Keyword(s):

Real Time ◽

Scheduling Algorithm ◽

Critical Systems ◽

Real Time Scheduling ◽

Safety Critical ◽

Time Scheduling ◽

Safety Critical Systems

Download Full-text

Design of a high performance FPGA based fault injector for real-time safety-critical systems

ASAP 2011 - 22nd IEEE International Conference on Application-specific Systems, Architectures and Processors ◽

10.1109/asap.2011.6043278 ◽

2011 ◽

Cited By ~ 1

Author(s):

Marko Miklo ◽

Carl R. Elks ◽

Ronald D. Williams

Keyword(s):

Real Time ◽

High Performance ◽

Critical Systems ◽

Safety Critical ◽

Safety Critical Systems

Download Full-text

K-Induction Based Verification of Real-Time Safety Critical Systems

New Results in Dependability and Computer Systems - Advances in Intelligent Systems and Computing ◽

10.1007/978-3-319-00945-2_43 ◽

2013 ◽

pp. 469-478 ◽

Cited By ~ 2

Author(s):

Tamás Tóth ◽

András Vörös ◽

István Majzik

Keyword(s):

Real Time ◽

Critical Systems ◽

Safety Critical ◽

Safety Critical Systems

Download Full-text