System specifications can be modeled using various types of notations and diagrams regarding applications of the particular model. In this paper, we present an overview of the existing solutions, focusing on UML, BPMN...
详细信息
ISBN:
(纸本)9788394625375
System specifications can be modeled using various types of notations and diagrams regarding applications of the particular model. In this paper, we present an overview of the existing solutions, focusing on UML, BPMN and DMN models and the diagrams provided by these notations. We perform a comparison of these approaches and provide examples of representing system requirements in these notations.
software repositories such as source control systems, defect tracking systems, or archived communications between project personnel are used to help manage the progress of software projects. software practitioners and...
详细信息
ISBN:
(纸本)1595933751
software repositories such as source control systems, defect tracking systems, or archived communications between project personnel are used to help manage the progress of software projects. software practitioners and researchers are beginning to recognize the potential benefit of mining this information to support the maintenance of softwaresystems, improve software design/reuse, and empirically validate novel ideas and techniques. Research is now proceeding to uncover the ways in which mining these repositories can help to understand software development, to support predictions about software development, and to plan various aspects of software projects.
This paper promotes the use of a mathematical concept lattice based upon the binary relation of accesses between methods and fields as a novel visualization of individual JAVA classes. We demonstrate in a detailed rea...
详细信息
ISBN:
(纸本)0769520278
This paper promotes the use of a mathematical concept lattice based upon the binary relation of accesses between methods and fields as a novel visualization of individual JAVA classes. We demonstrate in a detailed real-life case study that such a lattice is valuable for reverse-engineering purposes, in that it helps reason about the interface and structure of the class and find errors in the absence of source code. Our technique can also serve as a heuristic for automatic feature categorization, enabling it to assist efforts. of, re-documentation.
Current manufacturing systems have a very structured production model, expecially when high complexity and precision is required, as in semiconductor devices manifacturing. In addition, rapid changes in both productio...
详细信息
ISBN:
(纸本)0769509169
Current manufacturing systems have a very structured production model, expecially when high complexity and precision is required, as in semiconductor devices manifacturing. In addition, rapid changes in both production and marker requirements may occur, hence such models should also provide great flexibility. In this case study paper we introduce the model used inside STMicroelectronics facilities to define production flow which is the sequence of operations to be performed in order to make products. We present the main characteristics of the model, focusing in particular on its object-oriented approach, with aggregational and constitutional hierarchies used to model all entities. We also introduce two flexible inheritance mechanisms used to speed-up and improve the definition of a production flow, finally presenting in detail objects finite stare machine used to model their behaviour.
The following topics are dealt with: process models;formal verification;real-time and reactive systems;environments;metrics and reliability;software reengineering;prototyping;design and architecture;real-life safety-c...
详细信息
ISBN:
(纸本)0818620269
The following topics are dealt with: process models;formal verification;real-time and reactive systems;environments;metrics and reliability;software reengineering;prototyping;design and architecture;real-life safety-critical software;systemsengineering;configuration management;and experience using derived processes for technology transfer. Abstracts of individual papers can be found under the relevant classification codes in this or other issues.
Pattern detection in softwaresystems is one of several collaborating techniques for reverse engineering and program comprehension. Unfortunately, it is a hard problem in both theory and practice. A recent method to i...
详细信息
ISBN:
(纸本)9780769528601
Pattern detection in softwaresystems is one of several collaborating techniques for reverse engineering and program comprehension. Unfortunately, it is a hard problem in both theory and practice. A recent method to increase efficiency is based on conservatively filtering edges of a software system's structure graph, i.e., only removing edges guaranteed not to be part of any pattern instance. This leads to planar graphs in many cases allowing for efficient matching algorithms. This paper shows the feasibility of a non-conservative filtering approach, where even edges possibly part of a pattern instance can be removed to reach planarity.. We show theoretically that not only decreased accuracy is possible due to non-conservative filtering, but also increased accuracy. We also perform an experimental evaluation supporting this statement. The paper complements the safe filtering method and together the two approaches allow for efficient pattern detection for all systems and patterns.
Thermal attacks targeting large-scale integrated microsystems, such as three-dimensional package systems (3D-SiP), exploit thermal fluctuations to compromise their security. These attacks can lead to excessive thermal...
详细信息
ISBN:
(纸本)9798350371635;9798350371628
Thermal attacks targeting large-scale integrated microsystems, such as three-dimensional package systems (3D-SiP), exploit thermal fluctuations to compromise their security. These attacks can lead to excessive thermal dissipation, causing hardware failures or enabling the extraction of sensitive information such as cryptographic keys by analyzing heating and cooling patterns. Therefore, the design of integrated microsystems must integrate thermal management and security to prevent vulnerabilities to such attacks. In this article, we propose an innovative approach to improve the prediction of system-inpackage (SiP) thermal dynamics by developing a thermal digital twin (TDT) using COMSOL Multiphysics software. This method accurately replicates the thermal behaviors of an existing physical system, specifically the Xilinx SPARTAN-3E field-programmable gate array (FPGA) board, using thermal data collected by the Gradient Direction Sensor (GDS) technology integrated into the Xilinx FPGA. Our TDT offers a cutting-edge solution for monitoring and examining thermal fluxes in 3D-SiPs, representing a significant advancement in the thermal regulation of these microsystems and implicitly enhancing their thermal security.
Non-well-separation (NWS) is a known quality issue in specifications for reactive synthesis. The problem of NWS occurs when the synthesized system can avoid satisfying its guarantees by preventing the environment from...
详细信息
In recent years, research on recommendation systems for software development has been actively conducted. The systems are mainly divided into know-how systems and know-who systems. The target of this study is educatio...
详细信息
暂无评论