Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,400,060 papers from all fields of science
Search
Sign In
Create Free Account
Critical systems thinking
Known as:
History of critical systems thinking
Critical systems thinking is a systems thinking framework that wants to bring unity to the diversity of different systems approaches and advises…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
10 relations
Boundary critique
Complexity
DSRP
Kristo Ivanov
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Computer Simulation of Discrete Human-Machine Interaction for Providing Reliability and Cybersecurity of Critical Systems
E. Lavrov
,
A. Volosiuk
,
N. Pasko
,
Vitaliy Gonchar
,
G. Kozhevnikov
Third International Conference on Human Factors…
2018
Corpus ID: 52127585
The article considers the issues of preventing damage to complex critical systems, caused by cybersecurity unreliability and…
Expand
2017
2017
Resilience at the edge in cyber-physical systems
A. Dubey
,
G. Karsai
,
Subhav Pradhan
International Conference on Fog and Mobile Edge…
2017
Corpus ID: 3839003
As the number of low cost computing devices at the edge of communication network increase, there are greater opportunities to…
Expand
2014
2014
The Development and Validation of a Traceability Assessment Model
Gilbert Regan
,
F. McCaffery
,
Kevin McDaid
,
Derek Flood
International Conference on Software Process…
2014
Corpus ID: 24748704
Regulation normally requires critical systems to be certified before entering service. This involves submission of a safety case…
Expand
Highly Cited
2010
Highly Cited
2010
Verification of a Timed Multitask System With Uppaal
Houda Bel Mokadem
,
B. Bérard
,
V. Gourcuff
,
Jean-Marc Roussel
,
O. D. Smet
IEEE Transactions on Automation Science and…
2010
Corpus ID: 15787582
System and program verification has been a large area of research since the introduction of computers in industrial systems. It…
Expand
2008
2008
SEU Rates in Atmospheric Environments: Variations Due to Cross-Section Fits and Environment Models
Alex Hands
,
Clive Dyer
,
Fan Lei
IEEE Transactions on Nuclear Science
2008
Corpus ID: 19802450
The wide range in predicted SEU rates in avionics devices is analyzed in relation to fitted device cross-section curves…
Expand
2008
2008
Experimenting Formal Proofs of Petri Nets Refinements
C. Choppy
,
Micaela Mayero
,
L. Petrucci
Refine@FM
2008
Corpus ID: 17629792
2008
2008
Pandemic Influenza, Worker Absenteeism and Impacts on Freight Transportation
Dean A. Jones
,
L. Nozick
,
M. Turnquist
,
William J. Sawaya
Proceedings of the 41st Annual Hawaii…
2008
Corpus ID: 15066673
A pandemic influenza outbreak could cause serious disruption to operations of several critical infrastructures and concern about…
Expand
2006
2006
Integrated plant maintenance management using enhanced RCM mechanism
H. Gabbar
,
H. Yamashita
,
Kazuhiko Suzuki
2006
Corpus ID: 55040333
Traditional reliability-centered maintenance (RCM) process is widely used to decide maintenance strategies using reliability data…
Expand
2003
2003
Risk-Based Analysis and Decision Making in Multi-Disciplinary Environments
M. Feather
,
S. Cornford
,
K. Moran
2003
Corpus ID: 110047172
A risk-based decision-making process conceived of and developed at JPL and NASA, has been used to help plan and guide novel…
Expand
Review
1999
Review
1999
Applying SOFL to develop a University Information System
Shaoying Liu
,
Masaomi Shibata
,
R. Sato
Proceedings Sixth Asia Pacific Software…
1999
Corpus ID: 3430454
How to effectively apply formal methods under schedule constraints to develop real systems is an important issue to address. We…
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
or Only Accept Required