scholarly journals Early Verification and Validation of Mission Critical Systems

2005 ◽  
Vol 133 ◽  
pp. 237-254 ◽  
Author(s):  
C. Ponsard ◽  
P. Massonet ◽  
A. Rifaut ◽  
J.F. Molderez ◽  
A. van Lamsweerde ◽  
...  
Keyword(s):  
Verification And Validation ◽  
Critical Systems ◽  
Mission Critical

Early verification and validation of mission critical systems

2006 ◽  
Vol 30 (3) ◽  
pp. 233-247 ◽  
Author(s):  
C. Ponsard ◽  
P. Massonet ◽  
J. F. Molderez ◽  
A. Rifaut ◽  
A. van Lamsweerde ◽  
...  
Keyword(s):  
Verification And Validation ◽  
Critical Systems ◽  
Mission Critical

Quantifying the Security Posture of Containerized Mission Critical Systems

2018 ◽  
Author(s):  
Matthew Ridley ◽  
Carlos Otero ◽  
David Elliott ◽  
Xavier Merino
Keyword(s):  
Critical Systems ◽  
Mission Critical

Quantifying the Security Posture of Containerized Mission Critical Systems

2018 ◽  
Author(s):  
Matthew Ridley ◽  
Carlos Otero ◽  
David Elliott ◽  
Xavier Merino
Keyword(s):  
Critical Systems ◽  
Mission Critical

scholarly journals On the Need to Create Intelligent Control Systems for Systems with a Critical Mission

2021 ◽  
pp. 60-66
Author(s):  
В. Б. Бетелин ◽  
Д. А. Моргун
Keyword(s):  
Control Systems ◽  
Intelligent Control ◽  
Software Components ◽  
Application Software ◽  
Critical Systems ◽  
Power Outages ◽  
Self Monitoring ◽  
Intelligent Control Systems ◽  
Digital Control Systems ◽  
Mission Critical

Происходящие в мире события свидетельствуют о возрастании угрозы перехвата управления системами с критической миссией (СКМ). Приводятся конкретные примеры инцидентов, один из них — массовые отключения электроэнергии в Венесуэле. Обосновывается необходимость разработки технологии создания цифровых систем управления, обеспечивающей парирование угрозы перехвата управления и нештатного функционирования систем с критической миссией. В основе этой технологии — концепция цифровых двойников объектов управления цифровых систем управления этими объектами, включая все аппаратные и программные компоненты, а также интеллектуальные средства самоконтроля и самокоррекции функционирования элементной базы, вычислительной и коммуникационной техники, базового и прикладного программного обеспечения. There is an ongoing threat of control interception in mission-critical systems (MCS). Specific examples of such incidents are presented, one of them is the massive power outages in Venezuela. We specify the reasons for creating an approach to developing digital control systems for MCS resistant to control interception and abnormal functioning. This technology is based on the digital twin concept. A twin represents all the hardware and software components, as includes smart tools for the hardware, core and application software self-monitoring and self-correction.  

Sign in / Sign up

Export Citation Format

Share Document