Examining the complex interplay between softwareengineering and silicon technology, "Systematic Structures and Silicon Stories Shaping the Saga of software Solutions" is an interdisciplinary investigation t...
详细信息
It is vital to guarantee that engineering graduates have learned essential skills required to excel in a dynamic technological landscape. Today the proliferation of low-cost, high-speed computing devices offer opportu...
详细信息
Intel software development ecosystem is complex, consisting of components produced in-house, third-party vendors and open-source community. Different tools and processes are being used to manage individual deliverable...
详细信息
The use of formal methods to prove the correctness of compositional embedded systems is increasingly important. However, the required models and algorithms can induce an enormous complexity. Our approach divides the f...
详细信息
ISBN:
(数字)9783031308260
ISBN:
(纸本)9783031308253;9783031308260
The use of formal methods to prove the correctness of compositional embedded systems is increasingly important. However, the required models and algorithms can induce an enormous complexity. Our approach divides the formal system model into layers and these in turn into modules with defined interfaces, so that reduced formal models can be created for the verification of concrete functional and non-functional requirements. In this work, we use Uppaal to (1) model an RTOS kernel in a modular way and formally specify its internal requirements, (2) model abstract tasks that trigger all kernel functionalities in all combinations or scenarios, and (3) verify the resulting system with regard to task synchronization, resource management, and timing. The result is a fully verified model of the operating system layer that can henceforth serve as a dependable foundation for verifying compositional applications w.r.t. various aspects, such as timing or liveness.
softwareengineering aims to effectively translate stakeholders' requirements into executable code to fulfill their needs. Traceability from natural language use case requirements to classes in a UML class diagram...
详细信息
ISBN:
(纸本)9783031758713;9783031758720
softwareengineering aims to effectively translate stakeholders' requirements into executable code to fulfill their needs. Traceability from natural language use case requirements to classes in a UML class diagram, subsequently translated into code implementation, is essential in systems development and maintenance. Tasks such as assessing the impact of changes and enhancing software reusability require a clear link between these requirements and their software implementation. However, establishing such links manually across extensive codebases is prohibitively challenging. Requirements, typically articulated in natural language, embody semantics that clarify the purpose of the codebase. Conventional traceability methods, relying on textual similarities between requirements and code, often suffer from low precision due to the semantic gap between high-level natural language requirements and the syntactic nature of code. The advent of Large Language Models (LLMs) provides new methods to address this challenge through their advanced capability to interpret both natural language and code syntax. Furthermore, representing code as a knowledge graph facilitates the use of graph structural information to enhance traceability links. This paper introduces an LLM-supported retrieval augmented generation approach for enhancing requirements traceability to the class diagram of the code, incorporating keyword, vector, and graph indexing techniques, and their integrated application. We present a comparative analysis against conventional methods and among different indexing strategies and parameterizations on the performance. Our results demonstrate how this methodology significantly improves the efficiency and accuracy of establishing traceability links in software development processes.
Event sourcing is a software design pattern that uses a log of events as the ground truth for recreating an application's state and for auditing purposes. In the context of agents, event sourcing uses event data c...
详细信息
Ambiguous words in software requirements specifications (SRSs) can cause serious misunderstanding, confusion and/or troubles between software purchasers and developers due to differences in interpretation of the words...
详细信息
Nowadays, fake profiles are programmatically created online individualities that mislead and influence others, which are done by frequently using stolen photos, fraudulent information, or fictional particulars. Hence,...
详细信息
Nowadays, the goal of making the intelligent transportation system smart and efficient is a much more challenging aspect. The target is to optimize the transportation system and provide real-time traffic information t...
详细信息
In this paper, the analysis and modeling of an integrated system of a small wind power plant without a transformer based on Permanent magnet synchronous (PMSG) with switched boost inverter (SBI) is proposed. Then theo...
详细信息
暂无评论