ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
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
Related Documents
Cited By
References
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
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
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
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
The shift to multicores in real-time and safety-critical systems
2015 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS)
◽
10.1109/codesisss.2015.7331385
◽
2015
◽
Cited By ~ 20
Author(s):
Selma Saidi
◽
Rolf Ernst
◽
Sascha Uhrig
◽
Henrik Theiling
◽
Benoit Dupont de Dinechin
Keyword(s):
Real Time
◽
Critical Systems
◽
Safety Critical
◽
Safety Critical Systems
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close