Formal requirements modeling for cyber-physical systems engineering: an integrated solution based on FORM-L and Modelica

Bouskela, Daniel; Falcone, Alberto; Garro, Alfredo; Jardin, Audrey; Otter, Martin; Nguyen, Thanh-Hung; Tundis, Andrea

doi:10.1007/s00766-021-00359-z

Cited by 20 publications

(4 citation statements)

References 57 publications

(79 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…However, these approaches have not been adapted to the protocols used in the automotive industry and may not be directly applicable to security engineering in the automotive field. Bouskela et al [ 37 ] presented an integrated solution for formally defining system requirements and automating their verification through simulation. Kumar et al [ 38 ] proposed a supervised text categorization approach for automatically extracting and classifying non-functional requirements.…”

Section: Related Workmentioning

confidence: 99%

A Framework for Cybersecurity Requirements Management in the Automotive Domain

Luo

Jiang

Wang

et al. 2023

Sensors

View full text Add to dashboard Cite

The rapid development of intelligent connected vehicles has increased the attack surface of vehicles and made the complexity of vehicle systems unprecedented. Original equipment manufacturers (OEMs) need to accurately represent and identify threats and match corresponding security requirements. Meanwhile, the fast iteration cycle of modern vehicles requires development engineers to quickly obtain cybersecurity requirements for new features in their developed systems in order to develop system code that meets cybersecurity requirements. However, existing threat identification and cybersecurity requirement methods in the automotive domain cannot accurately describe and identify threats for a new feature while also quickly matching appropriate cybersecurity requirements. This article proposes a cybersecurity requirements management system (CRMS) framework to assist OEM security experts in conducting comprehensive automated threat analysis and risk assessment and to help development engineers identify security requirements prior to software development. The proposed CRMS framework enables development engineers to quickly model their systems using the UML-based (i.e., capable of describing systems using UML) Eclipse Modeling Framework and security experts to integrate their security experience into a threat library and security requirement library expressed in Alloy formal language. In order to ensure accurate matching between the two, a middleware communication framework called the component channel messaging and interface (CCMI) framework, specifically designed for the automotive domain, is proposed. The CCMI communication framework enables the fast model of development engineers to match with the formal model of security experts for threat and security requirement matching, achieving accurate and automated threat and risk identification and security requirement matching. To validate our work, we conducted experiments on the proposed framework and compared the results with the HEAVENS approach. The results showed that the proposed framework is superior in terms of threat detection rates and coverage rates of security requirements. Moreover, it also saves analysis time for large and complex systems, and the cost-saving effect becomes more pronounced with increasing system complexity.

show abstract

Section: Related Workmentioning

confidence: 99%

A Framework for Cybersecurity Requirements Management in the Automotive Domain

Luo

Jiang

Wang

et al. 2023

Sensors

View full text Add to dashboard Cite

show abstract

“…For UX based on software needs, there aren't any specific datasets available now. The lack of automated UX evaluation methods creates a research gap, requiring significant effort from UX evaluators [12,13]. UX evaluators regret conducting manual evaluations like surveys.…”

Section: Introductionmentioning

confidence: 99%

Software Requirements Engineering and User Experience Design Modeling of Big Data Analysis using Convolution-Bidirectional Temporal Convolutional Network

Xu Yang

2024

jes

View full text Add to dashboard Cite

The study of user perception and interaction with applications is referred to as user experience, or UX. The intricacy and versatility of software products, from requirements engineering to product functionality are well recognized. UX evaluations are often depends on prototypes, but it's important to consider the semantics embedded in software requirements to ensure project success. In this manuscript, Software Requirements Engineering and User Experience Design Modeling of Big Data Analysis using Convolution-Bidirectional Temporal Convolutional Network (SRE-UEDM-BDA-CBTCN) is proposed. The input data are collected from Requirements dataset. The collected data are given to the Convolution-Bidirectional Temporal Convolutional Network (CBTCN) to Design Modeling of Big Data Analysis user experience based on the dataset. In general, CBTCN does not express any adaption of optimization techniques for determining the ideal parameters to accurate Design user experience. Hence, African Vultures Optimization Algorithm (AVOA) is proposed in this work to improve the weight parameter of CBTCN. The proposed model is implemented and the efficiency is evaluated utilizing some performance metrics like accuracy, precision, specificity, sensitivity and F1-Score. The proposed SRE-UEDM-BDA-CBTCN method provides 28.46%, 21.34 and 33.81% higher accuracy, 22.88%, 26.52% and 34.63% higher Precision and 28.46%, 21.34 and 33.81% higher specificity compared with the existing techniques like Holistic big data integrated artificial intelligent modeling to improve privacy and safety in data management of smart cities (AIM-BDI-SDM), Exploring the factors that affect user experience in mobile-health applications: A text-mining and machine-learning approach (MHA-UED-MLA) and Towards Measuring User Experience based on Software Requirements (TM-UEB-SR).

show abstract

“…With the increasing complexity of cyber-physical systems such as self-driving cars [1], their architectural design focusing on modelling and mapping system artifacts (e.g., requirements and functions) needs to be optimized [2]. Such optimization requires accounting for design change as one of the key issues in the field of cyber-physical systems [3].…”

Section: Introductionmentioning

confidence: 99%

On the Conceptualization of Tools for Traceability-Based Change Impact Analysis Using a Domain-Specific Modeling Approach

Awad,

Boyer

2023

2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)

View full text Add to dashboard Cite

In the context of system architecture design, design changes are deemed as an important issue in the field of cyber-physical systems. This is due to their costs that can increase up to several folds with each step of the life cycle, from conceptual design to operation. Accordingly, before putting such changes into practice, their impacts need to be analyzed based on traceability of dependencies among elements in system artifacts. However, traceability-based Change Impact Analysis (CIA) is time consuming and error-prone process, if performed manually. Thus, a number of tools have been developed in this regard. Yet, in the absence of approaches guiding the specification and implementation of such tools, research reveals their inadequacy for the needs of the industry. To overcome this, this paper proposes a domain-specific modeling approach for the conceptualization of traceability-based CIA tools. Such approach is composed of three building blocks. First, a language for traceability-based CIA designed around the concept of "CIA parameters" (i.e., all kind of information that could contribute to quantitative or qualitative change impact assessment). Second, a modeling procedure referring to a multi-view modeling approach that explains how to use the traceability language to allow creation and machine processing of models (i.e., analysis of models in terms of change impact). Third, mechanisms and algorithms focusing on the implementation of the modeling procedure on a metamodeling platform. The proposed approach is thus an attempt to bridge the gap between design and implementation of traceability-based CIA tools. The approach is illustrated on an example from the aviation field.

show abstract

Formal requirements modeling for cyber-physical systems engineering: an integrated solution based on FORM-L and Modelica

Cited by 20 publications

References 57 publications

A Framework for Cybersecurity Requirements Management in the Automotive Domain

A Framework for Cybersecurity Requirements Management in the Automotive Domain

Software Requirements Engineering and User Experience Design Modeling of Big Data Analysis using Convolution-Bidirectional Temporal Convolutional Network

On the Conceptualization of Tools for Traceability-Based Change Impact Analysis Using a Domain-Specific Modeling Approach

Contact Info

Product

Resources

About