With the popularity of AI-based tools, the landscape of learning and teaching softwareengineering has shifted to a new era, which has left both educators and students confused regarding the extent to which these tool...
详细信息
GUI (Graphical User Interface) programming is the process of developing (coding) a graphical interface application. GUI-based application, which replaces TUI (Textual User Interface), allows users to interact with a p...
详细信息
As softwaresystems become increasingly complex, it is crucial to analyze code similarity and replication patterns. This study investigates how such patterns impact software quality, maintainability, and development p...
详细信息
Emerging applications such as collaborative and autonomous cyber-physical systems (CPS) seek for innovative techniques that support Quality-of-Service (QoS) analysis as key concern to be considered. The objective of t...
详细信息
ISBN:
(纸本)9783031345593;9783031345609
Emerging applications such as collaborative and autonomous cyber-physical systems (CPS) seek for innovative techniques that support Quality-of-Service (QoS) analysis as key concern to be considered. The objective of this paper is to complement the software design models with an approach that provides a set of modules that are (i) representative of multiple QoS-based properties, and (ii) equipped with strategies aimed to establish rules of interaction among them in a feedback loop fashion. We propose a novel methodology that builds upon the specification of QoS-based modules and enables the generation of design alternatives as outcome of an internal intertwining of different QoS analysis results for CPS. The approach is applied to a collaborative and autonomous network of sensors, and experimental results show that software designers are supported in the selection of design alternatives by quantitative information. A comparison with an integrated model is performed to show the advantages of our novel modular QoS-based analysis.
As the complexity of software applications continues to increase, software testing becomes more challenging and time-consuming. The use of artificial intelligence (AI) in software testing has emerged as a promising ap...
详细信息
In the development and testing of autonomous driving systems, high-definition (HD) maps play an indispensable role by providing vehicles with precise information about their surroundings, encompassing road markings, t...
详细信息
ISBN:
(纸本)9783031646256;9783031646263
In the development and testing of autonomous driving systems, high-definition (HD) maps play an indispensable role by providing vehicles with precise information about their surroundings, encompassing road markings, topographical features, and intricate junction layouts. Despite their importance, creating HD maps through real-world data acquisition or manual design can be laborious, time-consuming, and hard to ensure correctness and diversity. This paper introduces a model-based framework for the automated construction of HD maps. The framework considers junctions as essential components within the road network topology. It formulates the inherent constraints of junction configurations and their interconnections through a Maximum Satisfiability (MaxSAT) model. Based on the optimized configuration for the junctions, the framework defines and integrates the external and internal road connections linked to these junctions, alongside assigning corresponding traffic signal systems. In the experimental evaluation, the comparison with real-world maps and embedded maps in open-source simulation platforms demonstrates that the generated map maintains a compelling balance between diversity and structural simplicity, thus effectively replicating the complexity of real-life road networks. Moreover, the usability of the generated maps has been validated via simulation-based testing of an open-source autopilot system, uncovering several map-related issues.
The reliability of software interfaces has become increasingly recognized as a crucial factor impacting the quality, manageability, and efficiency of various softwaresystems. Traditional approaches to software reliab...
详细信息
A promising way of integrating formal methods into industrial system design is to endow industrial modeling tools with automatic formal analyses. In this paper we identify some challenges for providing such formal met...
详细信息
ISBN:
(纸本)9783031521829;9783031521836
A promising way of integrating formal methods into industrial system design is to endow industrial modeling tools with automatic formal analyses. In this paper we identify some challenges for providing such formal methods "backends" for cyber-physical systems (CPSs), and argue that Maude could meet these challenges. We then give an overview of our research on integrating Maude analysis into the OSATE tool environment for the industrial CPS modeling standard AADL. Since many critical distributed CPSs are "logically synchronous," a key feature making automatic formal analysis practical is the use of synchronizers for CPSs. We identify a sublanguage of AADL to describe synchronous CPS designs. We can then use Maude to effectively verify such synchronous designs, which under certain conditions also verifies the corresponding asynchronous distributed systems, with clock skews and communication delays. We then explain how we have extended our methods to multirate systems and to CPSs with continuous behaviors. We illustrate the effectiveness of Maude-based formal model engineering of industrial CPSs on avionics control systems and collections of drones. Finally, we identify future directions in this line of research.
The training of a professional in the area of computing involves understanding the process of building software. In the computer Science course curricular guidelines, this training is a requirement for graduating from...
详细信息
ISBN:
(纸本)9798350336429
The training of a professional in the area of computing involves understanding the process of building software. In the computer Science course curricular guidelines, this training is a requirement for graduating from the course. For the construction of the Pedagogical Project of the Course (PPC), the In-stitutions observe reference documents for the development of the project according to the local/regional specificity. Dealing with computing courses, the National Curricular Guidelines (DCN) for Computing courses, the training references of the Brazil-ian Computing Society (SBC) and the Guide to the softwareengineering Body of Knowledge (SWEBOK), are key elements to support the construction of the PPC. In computer Science courses, softwareengineering is presented as a central element in technological training for students. softwareengineering defines stages for the construction of quality software, which begins with the requirements conception, analysis, design and ends with the construction of the solution. The scope of this article will deal with the software design area, which is responsible for defining an implementable structure for a software product, which meets the specified requirements, that is, makes the communication interface between the requirements and the construction of the software. In the specialized literature, the area of software Design (SD) is presented as important and emerging topics in the training of Computing professionals. Emerging topics for teaching softwareengineering aligned with teaching software Design were identified, such as: UX Design Practices, Current Interface Prototyping Tools and Design Patterns. One of the challenges for the area of softwareengineering is the high heterogeneity of solutions, leading to hybrid systems, with multi-paradigms, and this heterogeneity reflects on how the professional designs the solution, what is directly associated with training in software Design. The justification for the development of
Artificial intelligence (AI) systems are growing rapidly in a variety of fields and have become a part of everyday human life. Traditional software development methods, especially in the requirements engineering domai...
详细信息
暂无评论