Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 226,377,080 papers from all fields of science
Search
Sign In
Create Free Account
Critical system
A critical system is a system which must be highly reliable and retain this reliability as they evolve without incurring prohibitive costs. There are…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
8 relations
Altran Praxis
Formal methods
Mission critical
Redundancy (engineering)
Expand
Broader (2)
Control engineering
Systems engineering
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Privacy-friendly secure bidding for smart grid demand-response
Mohammad Shahriar Rahman
,
A. Basu
,
S. Kiyomoto
,
M. Z. A. Bhuiyan
Information Sciences
2017
Corpus ID: 205465822
2014
2014
Dependability of Self-Optimizing Mechatronic Systems
J. Gausemeier
,
F. Rammig
,
Wilhelm Schäfer
,
W. Sextro
2014
Corpus ID: 108101753
Intelligent technical systems, which combine mechanical, electrical and software engineering with methods from control…
Expand
2012
2012
Evaluating service disciplines for mobile elements in wireless ad hoc sensor networks
Liang He
,
Zhe Yang
,
Jianping Pan
,
Lin X. Cai
,
Jingdong Xu
Proceedings IEEE INFOCOM
2012
Corpus ID: 15494469
The introduction of mobile elements in wireless sensor networks creates a new dimension to reduce and balance the energy…
Expand
2011
2011
Worst-case temperature analysis for real-time systems
Devendra Rai
,
Hoeseok Yang
,
Iuliana Bacivarov
,
Jian-Jia Chen
,
L. Thiele
Design, Automation and Test in Europe
2011
Corpus ID: 13258002
With the evolution of today's semiconductor technology, chip temperature increases rapidly mainly due to the growth in power…
Expand
2006
2006
Multidisciplinary perspective on accident investigation
S. Basnyat
,
N. Chozos
,
Philippe A. Palanque
Reliability Engineering & System Safety
2006
Corpus ID: 40169582
2006
2006
Security Engineering Using Problem Frames
Denis Hatebur
,
M. Heisel
,
Holger Schmidt
Emerging Trends in Information and Communication…
2006
Corpus ID: 17211153
We present a method for security engineering, which is based on two special kinds of problem frames that serve to structure…
Expand
2006
2006
Coexistence of the broadcasting satellite service with fixed service systems in frequency bands above 10 GHz
A. Panagopoulos
,
Pantelis-Daniel M. Arapoglou
,
G. Chatzarakis
,
J. Kanellopoulos
,
P. Cottis
IEEE transactions on broadcasting
2006
Corpus ID: 8397762
The allocation of certain frequency bands to both the broadcasting satellite service and the fixed service on a primary basis…
Expand
2004
2004
A Least Privilege Model for Static Separation Kernels
T. Levin
,
C. Irvine
,
Thuy D. Nguyen
2004
Corpus ID: 9713238
Abstract : We extend the separation kernel abstraction to represent the enforcement of the principle of least privilege. In…
Expand
Review
2000
Review
2000
A New View of Silicon Electrochemistry
H. Ll
,
J. Carstensen
,
M. Christophersen
,
G. Hasse
2000
Corpus ID: 55192254
The salient features of the current burst model for the Si–electrolyte interface is presented in a short overview. In the current…
Expand
1979
1979
Access Control in Parallel Programs
J. McGraw
,
G. Andrews
IEEE Transactions on Software Engineering
1979
Corpus ID: 16655657
An important component of a programming language for writing operating systems, or other large parallel systems, is the set of…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE