DEIS: Dependability Engineering Innovation for Cyber-Physical Systems

Wei, Ran; Kelly, Tim; Hawkins, Richard; Armengaud, Eric

doi:10.1007/978-3-319-74730-9_37

Cited by 13 publications

(8 citation statements)

References 3 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Cyber-Physical Systems -CPS). Industry sees huge economic potential in such systems -particularly due to their open (OASs connect to each other at runtime) and adaptive (OASs adapt to changing contexts) nature, which enables new types of promising applications in domains such as automotive 3 , health care, and home automation [32]. Since the majority of application domains of OAS are safety-critical, it is imperative to assure the safety and/or security of such systems.…”

Section: Sacm and Runtime System Assurancementioning

confidence: 99%

“…However, on modelling language level, GSN and CAE are not capable for this task. In a first step towards runtime system assurance, SACM is used in the DEIS project [32] as a backbone for its Open Dependability Exchange metamodel (ODE), which is used to assure the dependability of Cyber-Physical Systems at runtime, as illustrated in Figure 2. System assurance at runtime is achieved by having an assurance case model which links to ODE models (as evidence) to form the argumentation for system assurance 4 .…”

Section: Sacm and Runtime System Assurancementioning

confidence: 99%

See 1 more Smart Citation

Model based system assurance using the structured assurance case metamodel

Wei

Kelly

Dai

et al. 2019

Journal of Systems and Software

Self Cite

View full text Add to dashboard Cite

Assurance cases are used to demonstrate confidence in system properties of interest (e.g. safety and/or security). A number of system assurance approaches are adopted by industries in the safety-critical domain. However, the task of constructing assurance cases remains a manual, trivial and informal process. The Structured Assurance Case Metamodel (SACM) is a standard specified by the Object Management Group (OMG). SACM provides a richer set of features than existing system assurance languages/approaches. SACM provides a foundation for model-based system assurance, which has great potentials in growing technology domains such as Open Adaptive Systems. However, the intended usage of SACM has not been sufficiently explained. In addition, there has been no support to interoperate between existing assurance case (models) and SACM models.In this article, we explain the intended usage of SACM based on our involvement in the OMG specification process of SACM. In addition, to promote a model-based approach, we provide SACM compliant metamodels for existing system assurance approaches (the Goal Structuring Notation and Claims-Arguments-Evidence), and the transformations from these models to SACM. We also briefly discuss the tool support for model-based system assurance which helps practitioners to make the transition from existing system assurance approaches to model-based system assurance using SACM.

show abstract

Section: Sacm and Runtime System Assurancementioning

confidence: 99%

Section: Sacm and Runtime System Assurancementioning

confidence: 99%

Model based system assurance using the structured assurance case metamodel

Wei

Kelly

Dai

et al. 2019

Journal of Systems and Software

Self Cite

View full text Add to dashboard Cite

show abstract

“…In the DEIS (Dependability Engineering Innovation for Cyber Physical Systems) project [17], researchers are tackling the challenge that CPS are typically loosely coupled and build temporary system configurations. The DEIS project aims for a modelling and integration framework for assuring the dependability of CPS based on the concept of a Digital Dependability Identity.…”

Section: Related Workmentioning

confidence: 99%

Towards a holistic software systems engineering approach for dependable autonomous systems

Aniculăesei

Grieser

Rausch

et al. 2018

Proceedings of the 1st International Workshop on Software Engineering for AI in Autonomous Systems

View full text Add to dashboard Cite

Autonomous systems are gaining momentum in various application domains, such as autonomous vehicles, autonomous transport robotics and self-adaptation in smart homes. Product liability regulations impose high standards on manufacturers of such systems with respect to dependability (safety, security and privacy). Today's conventional engineering methods are not adequate for providing guarantees with respect to dependability requirements in a costefficient manner, e.g. road tests in the automotive industry sum up millions of miles before a system can be considered sufficiently safe. System engineers will no longer be able to test and respectively formally verify autonomous systems during development time in order to guarantee the dependability requirements in advance. In this vision paper, we introduce a new holistic software systems engineering approach for autonomous systems, which integrates development time methods as well as operation time techniques. With this approach, we aim to give the users a transparent view of the confidence level of the autonomous system under use with respect to the dependability requirements. We present already obtained results and point out research goals to be addressed in the future.

show abstract

“…The SI is responsible for monitoring, operation and control of transmission and distribution of electrical systems that can remarkably develop the reliability and efficiency of the power and energy systems. If such systems fail, they might have several negative and harmful effects on other systems, and can lead to short-term or long-term collapse in important infrastructures [4,5]. Nowadays, numerous countries in the world regard the power network system as a pivotal infrastructure and have formed and stablished security and safety measures and related policies for this important issue [6].…”

Section: Introductionmentioning

confidence: 99%

False Data Injection Attack Detection based on Hilbert-Huang Transform in AC Smart Islands

et al. 2020

View full text Add to dashboard Cite

In Smart Island (SI) systems, the operators of power distribution system usually utilize actual-time measurement information as the Advanced Metering Infrastructure (AMI) to have accurate, efficient, advanced control and monitoring. SI system can be vulnerable to complicated information integrity attacks such as False Data Injection Attack (FDIA) on some equipment including sensors and controllers, which can generate misleading operational decision in the system. Today, lack of detailed research in the evaluation of power system that links the FDIAs with system stability is felt, and it will be important for both assessment of the effect of cyber-attack and taking preventive protection measures. In this regards, time-frequency-based differential approach is proposed for SI cyber-attack detection according to non-stationary signal assessment. In this paper, non-stationary signal processing approach of Hilbert-Huang Transform (HHT) is performed for the FDIA detection in several case studies. Since various critical case studies with a small FDIA in data where accurate and efficient detection can be a challenge, the simulation results confirm the efficiency of HHT approach. In this research, the configuration of the SI test case is developed in the MATLAB software with several Distributed Generations (DGs). As a result, it is found that the HHT approach is completely efficient and reliable for FDIA detection target in AC-SI. The simulation results verify that the proposed model is able to achieve accuracy rate of 93.17%.

show abstract

DEIS: Dependability Engineering Innovation for Cyber-Physical Systems

Cited by 13 publications

References 3 publications

Model based system assurance using the structured assurance case metamodel

Model based system assurance using the structured assurance case metamodel

Towards a holistic software systems engineering approach for dependable autonomous systems

False Data Injection Attack Detection based on Hilbert-Huang Transform in AC Smart Islands

Contact Info

Product

Resources

About