The Principles of Life Cycle Supporting System for Mission-Critical Systems

Происходящие в мире события свидетельствуют о возрастании угрозы перехвата управления системами с критической миссией (СКМ). Приводятся конкретные примеры инцидентов, один из них — массовые отключения электроэнергии в Венесуэле. Обосновывается необходимость разработки технологии создания цифровых систем управления, обеспечивающей парирование угрозы перехвата управления и нештатного функционирования систем с критической миссией. В основе этой технологии — концепция цифровых двойников объектов управления цифровых систем управления этими объектами, включая все аппаратные и программные компоненты, а также интеллектуальные средства самоконтроля и самокоррекции функционирования элементной базы, вычислительной и коммуникационной техники, базового и прикладного программного обеспечения. 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.  

Download Full-text

Towards Industrial Integration of MBSE into PLM for Mission-Critical Systems

INCOSE International Symposium ◽

10.1002/j.2334-5837.2016.00306.x ◽

2016 ◽

Vol 26 (1) ◽

pp. 2462-2477 ◽

Cited By ~ 5

Author(s):

Saulius Pavalkis

Keyword(s):

Critical Systems ◽

Mission Critical

Download Full-text

Advanced Rule-Based Techniques in Mission Critical Systems

10.1109/securware.2008.47 ◽

2008 ◽

Cited By ~ 1

Author(s):

Maite Avelino ◽

Francisco de la Torre

Keyword(s):

Critical Systems ◽

Rule Based ◽

Mission Critical

Download Full-text

Independent Verification and Validation of FPGA-Based Design for Airborne Electronic Applications

Advances in Systems Analysis, Software Engineering, and High Performance Computing - Crowdsourcing and Probabilistic Decision-Making in Software Engineering ◽

10.4018/978-1-5225-9659-2.ch010 ◽

2020 ◽

pp. 153-166

Author(s):

Sudha Srinivasan ◽

D. S. Chauhan ◽

Rekha R.

Keyword(s):

Life Cycle ◽

Embedded Systems ◽

Verification And Validation ◽

Critical Systems ◽

Fpga Design ◽

Independent Verification ◽

Detection And Identification ◽

Development Life Cycle ◽

Field Programmable ◽

Programmable Gate Arrays

Field programmable gate arrays (FPGAs) are finding increasing number of applications in high integrity safety critical systems of aerospace and defence industry. Though FPGA design goes through various development processes, it is widely observed that the critical errors are observed in the final stages of development, thereby impacting time and cost. The risk of failure in complex embedded systems is overcome by using the independent verification and validation (IV&V) technique. Independent verification and validation (IV&V) of FPGA-based design is essential for evaluating the correctness, quality, and safety of the airborne embedded systems throughout the development life cycle and provides early detection and identification of risk elements. The process of IV&V and its planning needs to be initiated early in the development life cycle. This chapter describes the IV&V methodology for FPGA-based design during the development life cycle along with the certification process.

Download Full-text

Katana

Security-Aware Systems Applications and Software Development Methods ◽

10.4018/978-1-4666-1580-9.ch012 ◽

2012 ◽

pp. 217-233

Author(s):

Sergey Bratus ◽

James Oakley ◽

Ashwin Ramaswamy ◽

Sean W. Smith ◽

Michael E. Locasto

Keyword(s):

Object File ◽

Critical Systems ◽

End User ◽

Standard Source ◽

Novel Method ◽

Mission Critical ◽

Global Data

The mechanics of hot patching (the process of upgrading a program while it executes) remain understudied, even though it offers capabilities that act as practical benefits for both consumer and mission-critical systems. A reliable hot patching procedure would serve particularly well by reducing the downtime necessary for critical functionality or security upgrades. However, hot patching also carries the risk—real or perceived—of leaving the system in an inconsistent state, which leads many owners to forgo its benefits as too risky; for systems where availability is critical, this decision may result in leaving systems un-patched and vulnerable. In this paper, the authors present a novel method for hot patching ELF binaries that supports synchronized global data and code updates, and reasoning about the results of applying the hot patch. In this regard, the Patch Object format was developed to encode patches as a special type of ELF re-locatable object file. The authors then built a tool, Katana, which automatically creates these patch objects as a by-product of the standard source build process. Katana also allows an end-user to apply the Patch Objects to a running process.

Download Full-text