Security Vulnerability Analyses of Large Language Models (LLMs) through Extension of the Common Vulnerability Scoring System (CVSS) Framework

Large Language Models (LLMs) have revolutionized Generative Artificial Intelligence (GenAI) tasks, becoming an integral part of various applications in society, including text generation, translation, summarization, and more. However, their widespread usage emphasizes the critical need to enhance their security posture to ensure the integrity and reliability of their outputs and minimize harmful effects. Prompt injections and training data poisoning attacks are two of the most prominent vulnerabilities in LLMs, which could potentially lead to unpredictable and undesirable behaviors, such as biased outputs, misinformation propagation, and even malicious content generation. The Common Vulnerability Scoring System (CVSS) framework provides a standardized approach to capturing the principal characteristics of vulnerabilities, facilitating a deeper understanding of their severity within the security and AI communities. By extending the current CVSS framework, we generate scores for these vulnerabilities such that organizations can prioritize mitigation efforts, allocate resources effectively, and implement targeted security measures to defend against potential risks.

Model-Based Systems Engineering Approach to Design a Human Settlement to Better Serve Displaced People

The challenge of transitioning from temporary humanitarian settlements to more sustainable human settlements is due to a significant increase in the number of forcibly displaced people over recent decades, difficulties in providing social services that meet the required standards, and the prolongation of emergencies. Despite this challenging context, short-term considerations continue to guide their planning and management rather than more integrated, longer-term perspectives, thus preventing viable, sustainable development. Over the years, the design of humanitarian settlements has not been adapted to local contexts and perspectives, nor to the dynamics of urbanization and population growth and data. In addition, the current approach to temporary settlement harms the environment and can strain limited resources. Inefficient land use and ad hoc development models have compounded difficulties and generated new challenges. As a result, living conditions in settlements have deteriorated over the last few decades and continue to pose new challenges. The stakes are such that major shortcomings have emerged along the way, leading to disruption, budget overruns in a context marked by a steady decline in funding. However, some attempts have been made to shift towards more sustainable approaches, but these have mainly focused on vague, sector-oriented themes, failing to consider systematic and integration views. This study is a contribution in addressing these shortcomings by designing a model-driving solution, emphasizing an integrated system conceptualized as a system of systems. This paper proposes a new methodology for designing an integrated and sustainable human settlement model, based on Model-Based Systems Engineering and a Systems Modeling Language to provide valuable insights toward sustainable solutions for displaced populations aligning with the United Nations 2030 agenda for sustainable development.

A Systems Approach to Assessing Sustainability Capacity in Kalobeyei Refugee Settlement in Turkana County, Kenya

Refugee settlements face several challenges in transitioning from a temporary planning approach to more sustainable settlements. This is mainly due to an increase in the number of forcibly displaced people over the last few decades, and the difficulties of sustainably providing social services that meet the required standards. The development of refugee settlements assumed that forcibly displaced people would return to their places or countries of origin. Unfortunately, displacement situations are prolonged indefinitely, forcing these people to spend most of their lives in conditions that are often deplorable and substandard, and therefore unsustainable. In most cases, the establishment of refugee settlements is triggered by an emergency caused by an influx of forcibly displaced people, who need to be accommodated urgently and provided with some form of international assistance and protection. This leaves little or no time for proper planning for long-term development as required. In addition, the current approach to temporary settlement harms the environment and can strain limited resources with ad hoc development models that have exacerbated difficulties. As a result, living conditions in refugee settlements have deteriorated over the last few decades and continue to pose challenges as to how best to design, plan, and sustain settlements over time. To contribute to addressing these challenges, this study proposes a new methodology supported by Model-Based Systems Engineering (MBSE) and a Systems Modeling Language (SysML) to develop a typical sustainable human settlement system model, which has functionally and operationally executed using a Systems Engineering (SE) approach. To assess the sustainability capacity of the proposed system, this work applies a matrix of crossed impact multiplication through a case study by conducting a system capacity interdependence analysis (SCIA) using the MICMAC methodology (Cross-impact matrix multiplication applied to classification) to assess the interdependency that exist between the sub-systems categories to deliver services at the system level. The sustainability analysis results based on capacity variables influence and dependency models shows that development activities in the settlement are unstable and, therefore, unsustainable since there is no apparent difference between the influential and dependent data used for the assessment. These results illustrate that an integrated system could improve human settlements’ sustainability and that capacity building in service delivery is beneficial and necessary.

A Decision Support Framework for the Choice of Languages and Methods for the Design of Real Time Embedded Systems

The choice of methods or design languages is a crucial phase in the development of systems and software, also for real time and embedded systems. An open question that remains in the design of these types of systems is to build a method, or to choose one among those existing, capable to cover the life cycle of a project, and particularly the development phases. This article contributes to answer the question, by proposing an approach based on a multi-criteria comparative study, of few languages and methods dedicated to the design of real time and embedded systems. The underlying objective of this work is to present to designers a wide range of approaches, and elements that can guide their choices. In order to reach this goal, we propose different comparison criteria. Each criterion is divided into sub-criteria, so that the designers can refine their choices according to the qualities they prefer and wish to have in the method or language. We also define a rating scale which is used to assess the retained languages and methods. The scores obtained from this assessment are presented in tables, one table per criterion, followed by a summary table giving the overall scores. Graphics built from these tables are provided and intend to facilitate the judgement and thus the choice of the designers.

XML-based integration data model and schema mappingin multidatabase systems

Multidatabase systems are designed to achieve schema integration and data interoperation among distributed and heterogeneous database systems. But data model heterogeneity and schema heterogeneity make this a challenging task. A multidatabase common data model is firstly introduced based on XML, named XML-based Integration Data Model (XIDM), which is suitable for integrating different types of schemas. Then an approach of schema mappings based on XIDM in multidatabase systems has been presented. The mappings include global mappings, dealing with horizontal and vertical partitioning between global schemas and export schemas, and local mappings, processing the transformation between export schemas and local schemas. Finally, the illustration and implementation of schema mappings in a multidatabase prototype - Panorama system are also discussed. The implementation results demonstrate that the XIDM is an efficient model for managing multiple heterogeneous data sources and the approaches of schema mapping based on XIDM behave very well when integrating relational, object-oriented database systems and other file systems.

Research on system-of-systems combat simulation model formal specification and representation

To makesystem-of-systems combat simulation models easy to be developed and reused, simulation model formal specification and representation are researched. According to the view of system-of-systems combat simulation, and based on DEVS, the simulation model＇s fundamental formalisms are explored. It includes entity model, system-of-systems model and experiment model. It also presents rigorous formal specification. XML data exchange standard is combined to design the XML based language, SCSL, to support simulation model representation. The corresponding relationship between SCSL and simulation model formalism is discussed and the syntax and semantics of elements in SCSL are detailed. Based on simulation model formal specification, the abstract simulation algorithm is given and SCSL virtual machine, which is capable of automatically interpreting and executing simulation model represented by SCSL, is designed. Finally an application case is presented, which can show the validation of the theory and verification of SCSL.

DPAL-BERT:A Faster and Lighter Question Answering Model

Recent advancements in natural language processing have given rise to numerous pre-training language models in question-answering systems.However,with the constant evolution of algorithms,data,and computing power,the increasing size and complexity of these models have led to increased training costs and reduced efficiency.This study aims to minimize the inference time of such models while maintaining computational performance.It also proposes a novel Distillation model for PAL-BERT(DPAL-BERT),specifically,employs knowledge distillation,using the PAL-BERT model as the teacher model to train two student models:DPAL-BERT-Bi and DPAL-BERTC.This research enhances the dataset through techniques such as masking,replacement,and n-gram sampling to optimize knowledge transfer.The experimental results showed that the distilled models greatly outperform models trained from scratch.In addition,although the distilled models exhibit a slight decrease in performance compared to PAL-BERT,they significantly reduce inference time to just 0.25%of the original.This demonstrates the effectiveness of the proposed approach in balancing model performance and efficiency.

A Triple Nexus Water-Energy-Housing (WEH) Framework Modelling towards Improved Decision-Making in Humanitarian Operations

Given the challenges facing most humanitarian operations worldwide, a change of approach is needed to ensure greater sustainability of humanitarian settlements right from the planning stage. Some studies attribute unsustainability to inadequate provision of basic resources and highlight the apparent bottlenecks that prevent access to the meaningful data needed to plan and remedy problems. Most operations have relied on an “ad hoc ism” approach, employing parallel and disconnected data processing methods, resulting in a wide range of data being collected without subsequent prioritization to optimize interconnections that could enhance performance. There have been little efforts to study the trade-offs potentially at stake. This work proposes a new framework enabling all subsystems to operate in a single system and focusing on data processing perspective. To achieve this, this paper proposes a Triple Nexus Framework as an attempt to integrate water, energy, and housing sector data derived from a specific sub-system within the overall system in the application of Model-Based Systems Engineering. Understanding the synergies between water, energy, and housing, Systems Engineering characterizes the triple nexus framework and identifies opportunities for improved decision-making in processing operational data from these sectors. Two scenarios illustrate how an integrated platform could be a gateway to access meaningful operational data in the system and a starting point for modeling integrated human settlement systems. Upon execution, the model is tested for nexus megadata processing, and the optimization simulation yielded 67% satisfactory results, demonstrating that an integrated system could improve sustainability, and that capacity building in service delivery is more than beneficial.

基于DoDAF和SysML的潜艇与UUV协同作战概念描述方法

随着UUV等水下无人装备及技术的不断发展,水下无人装备在作战领域逐渐深入,探索潜艇与UUV协同的作战概念对于牵引水下装备发展具有重要意义。基于DoDAF(Department of Defense Architecture Framework)框架和SysML语言(Unified Modeling Language),建立潜艇与UUV协同作战概念描述方法,对潜艇与UUV协同反舰的作战概念进行了顶层、规范化的描述,可为潜艇与UUV协同作战概念研究提供参考。

基于SysML和Modelica的复杂机电产品系统设计与仿真集成

系统仿真是辅助系统设计的一种重要手段,如何将系统设计与系统仿真有机结合,从而支持设计工作的高效开展,是一项重要的研究课题.针对这一问题,基于系统工程标准建模语言SysML和多领域仿真建模语言Modelica提出一套系统层设计与仿真集成方法.首先基于元对象机制分析和比较了SysML和Modelica的元模型;然后以Modelica元模型为基准,构造了面向Modelica的SysML扩展包M-Design;最后依据扩展的SysML和Modelica元模型定义了二者之间的映射规则,从而实现SysML设计模型向Modelica仿真模型的自动转换.以储水池系统为例,展示了复杂机电系统的设计和仿真的集成过程.

A Fuzzy Set-Based Approach for Model-Based Internet-Banking System Security Risk Assessment

A fuzzy set-based evaluation approach is demonstrated to assess the security risks for internet-banking System. The Internet-banking system is semi-formally described using Unified Modeling Language （UML） to specify the behavior and state of the system on the base of analyzing the existing qualitative risk assessment methods. And a quantitative method based on fuzzy set is used to measure security risks of the system, A case study was performed on the WEB server of the Internet-banking System using fuzzy-set based assessment algorithm to quantitatively compute the security risk severity. The numeric result also provides a method to decide the most critical component which should amuse the system administrator enough attention to take the appropriate security measure or controls to alleviate the risk severity. The experiments show this method can be used to quantify the security properties for the Internet-banking System in practice.

Validation of static properties in unified modeling language models for cyber physical systems

Cyber physical systems (CPSs) can be found nowadays in various fields of activity. The increased interest for these systems as evidenced by the large number of applications led to complex research regarding the most suitable methods for design and development. A promising solution for specification, visualization, and documentation of CPSs uses the Object Management Group (OMG) unified modeling language (UML). UML models allow an intuitive approach for embedded systems design, helping end-users to specify the requirements. However, the UML models are represented in an informal language. Therefore, it is difficult to verify the correctness and completeness of a system design. The object constraint language (OCL) was defined to add constraints to UML, but it is deficient in strict notations of mathematics and logic that permits rigorous analysis and reasoning about the specifications. In this paper, we investigated how CPS applications modeled using UML deployment diagrams could be formally expressed and verified. We used Z language constructs and prototype verification system (PVS) as formal verification tools. Considering some relevant case studies presented in the literature, we investigated the opportunity of using this approach for validation of static properties in CPS UML models.

基于SysML的武器装备体系能力需求建模分析方法

为了便于不同领域研究人员之间的沟通交流,减少文本描述的歧义性,有必要采用建模的形式开展体系能力需求分析。本文根据基于模型的系统工程(model-based system engineering,MBSE)思想,采用系统建模语言(system modeling language,SysML)以及多视图产品形式,描述了武器装备体系能力需求的建模分析方法,分别对作战概念、作战场景、任务分解、作战活动、需求分类、需求分析以及指标分析等7个方面进行了描述,并选取未来空战新概念“作战云”典型空战样式,构建了“海上防御型协同制空作战场景”,验证了该体系能力需求建模分析方法的可行性。

AN IMPLEMENTATION OF A MODEL MANAGEMENT SYSTEM

ＡＮＩＭＰＬＥＭＥＮＴＡＴＩＯＮＯＦＡＭＯＤＥＬＭＡＮＡＧＥＭＥＮＴＳＹＳＴＥＭＣｈｅｎＸｉａｏｈｏｎｇ（ＤｅｐａｒｔｍｅｎｔｏｆＢｕｓｉｎｅｓｓＡｄｍｉｎｉｓｔｒａｔｉｏｎＣｅｎｔｒａｌＳｏｕｔｈＵｎｉｖｅｒｓｉｔｙｏｆＴｅｃｈｎｏｌｏｇｙ，Ｃｈａ...

基于SysML的多学科设计建模与优化

目的 基于系统建模语言SysML,分析多学科设计建模与优化过程,在理解多学科设计与优化数学模型的基础上,构建系统设计优化模型。方法 通过分析多学科设计优化的数学模型,利用SysML语言对多学科优化对象模型进行元模型表征,将生成的SysML模型进行模型转化,转换成XML格式以便优化求解器进行求解。结论 提出了一种用于多学科设计建模与优化的SysML扩展优化建模方法。通过SysML系统建模语言的扩展版型,添加多学科优化相关的优化目标、优化约束、优化变量等优化元素的模型内容。提出了SysML优化信息的提取方法,以XML为中间格式,将提取的优化模型与优化求解器进行集成。通过系统设计与系统优化的集成求解为产品系统架构设计人员提供有效的决策支撑。

The 3+1 SysML View-Model in Model Integrated Mechatronics

Software is becoming the driving force in today’s mechatronic systems. It does not only realize a significant part of their functionality but it is also used to realize their most competitive advantages. However, the traditional development process is wholly inappropriate for the development of these systems that impose a tighter coupling of software with electronics and mechanics. In this paper, a synergistic integration of the constituent parts of mechatronic systems, i.e. mechanical, electronic and software is proposed though the 3+1 SysML view-model. SysML is used to specify the cen-tral view-model of the mechatronic system while the other three views are for the different disciplines involved. The widely used in software engineering V-model is extended to address the requirements set by the 3+1 SysML view-model and the Model Integrated Mechatronics (MIM) paradigm. A SysML profile is described to facilitate the application of the proposed view-model in the development of mechatronic systems.

基于DEVS的SysML混合模型仿真代码自动生成方法

针对现有的系统建模语言(SysML)构建的模型仅支持单一的离散或连续的模型仿真问题,提出了一种基于离散事件系统规范(DEVS)的离散连续混合SysML模型仿真代码自动生成方法。首先,提取了SysML仿真相关的视图和元模型;然后,基于DEVS构建了代码生成相关的元模型,并定义了从SysML元模型到DEVS代码元模型的转换规则;接着,基于该转换规则开发了Sys‑ML模型文本转化为DEVS模型仿真代码的转换程序,再结合adevs框架下与模型无关代码构建了完整的系统仿真代码;最后,以防空系统案例验证了该方法的有效性。

Language Interaction and the Influence of the Chinese Language

It is necessary that each era has its own value orientation of the language civilization,which forms the motivation,model and pragmatic hypothesis.As for the Chinese language,it is the Chinese philosophical semantics.Language and civilization integrate into each other,so when analyzing linguistics,we shall separate the lexeme on the basis of context.Pragmatics establishes the context for the Chinese language,the basis of which is boosting the education of the Chinese language.As result,pragmatics is not only a branch of linguistics but also the construction of popular linguistics.The Chinese language course is only the concrete implementation of pragmatics and the basic project for the language context in a popular and globalizational style.

An Augmented Framework for Formal Analysis of Safety Critical Systems

This paper presents an augmented framework for analyzing Safety Critical Systems (SCSs) formally. Due to high risk of failure, development process of SCSs is required more attention. Model driven approaches are the one of ways to develop SCSs for accomplishing critical and complex function what SCSs are supposed to do. Two model driven approaches: Unified Modeling Language (UML) and Formal Methods are combined in proposed framework which enables the analysis, designing and testing safety properties of SCSs more rigorously in order to reduce the ambiguities and enhance the correctness and completeness of SCSs. A real time case study has been discussed in order to validate the proposed framework.

MODELING OF FMS BASED ON UML AND OPNS

As the main component of computer integrated manufacturing system (CIMS), flexible manufacturing system (FMS) should be an open system with reusability and extenchaility. Moreover, as FMS is a complex asynchronous concurrent system, its model also should have the abilities to express the concurrency in the system and to analyze the behavior of the system. It is difficult to use any one method to model such a complex system as FMS. A modeling method using Object-oriented modeling language-unified modeling language (UML) and object-Oriented Petri nets (OPNs) is proposed. Class diagram in UML is used to represent the static relations among the objects in FMS. OPNs are used to model the dynamic behavior of the objects and conduct performance analysis. OPNs also can be used to identify the attributes and operations of the objects. The model can describe the system integrally and can be used to design FMS control software naturally.