Rankings
Publications
Search Publications
Cited-By Search
Sources
Publishers
Scholars
Scholars
Top Cited Scholars
Organizations
About
Login
Register
Home
Publications
Building Large, Complex, Distributed Safety-Critical Operating Systems
Home
Publications
Building Large, Complex, Distributed Safety-Critical Operating Systems
Building Large, Complex, Distributed Safety-Critical Operating Systems
HW
Horst F. Wedde
Horst F. Wedde
JL
Jon A. Lind
Jon A. Lind
Publisher Website
Google Scholar
Add to library
Cite
Download
Share
Download
1 January 1997
journal article
Published by
Springer Nature
in
Real-Time Systems
Vol. 13
(3)
,
277-302
https://doi.org/10.1023/a:1007915628098
Abstract
No abstract available
Keywords
EXTREME MODEL CASE
COARSE SYSTEM MODEL
SAFETY-CRITICAL OPERATINGSYSTEMS
DESIGN PROBLEM
SAFETY-CRITICAL SYSTEM
PERFORMANCE-DRIVENAND PERFORMANCE-BASED METHODOLOGY
AGENERAL METHODOLOGY
DATA PROFILE
PREVIOUS DESIGN
5-STEP DESIGN
METHODOLOGY INCREMENTAL EXPERIMENTATION
SYSTEM MODELING
OPERATING SYSTEM
SAFETY CRITICAL SYSTEMS
DISTRIBUTED FILE SYSTEM
REAL TIME
Cited by 14 articles