中文
相关论文

相关论文: Tool interoperability for model-based systems engi…

200 篇论文

Software as a Service (SaaS) is well established as an effective model for the development, deployment and customization of software. As it continues to gain more momentum in the IT industry, many user experience challenges and issues are…

人机交互 · 计算机科学 2018-12-11 Lakshmi Sirisha Revadi , Xi Zheng , Yupeng Jiang

Socio-technical networks represent emerging cyber-physical infrastructures that are tightly interwoven with human networks. The coupling between human and technical networks presents significant challenges in managing, controlling, and…

系统与控制 · 电气工程与系统科学 2024-11-07 Quanyan Zhu , Tamer Başar

This paper describes a collaborative modelling approach to automated and robotic agricultural vehicle design. The Cresendo technology allows engineers from different disciplines to collaborate and produce system models. The combined models…

Scientists increasingly rely on sensor-based data, yet transforming raw streams into insights across the edge-to-cloud continuum remains difficult. Provisioning heterogeneous infrastructure and managing execution on emerging platforms like…

分布式、并行与集群计算 · 计算机科学 2026-05-05 Komal Thareja , Anirban Mandal , Ewa Deelman

Automation engineering is the task of integrating, via software, various sensors, actuators, and controls for automating a real-world process. Today, automation engineering is supported by a suite of software tools including integrated…

软件工程 · 计算机科学 2020-07-08 Arquimedes Canedo , Palash Goyal , Di Huang , Amit Pandey , Gustavo Quiros

With an increasing degree of automation, automated vehicle systems become more complex in terms of functional components as well as interconnected hardware and software components. Thus, holistic systems engineering becomes a severe…

系统与控制 · 计算机科学 2018-04-25 Gerrit Bagschik , Marcus Nolte , Susanne Ernst , Markus Maurer

Application Binary Interface (ABI) compatibility is essential for system or software updates to ensure that libraries continue to function. Tools that can assess a binary or library ABI can thus be used to make predictions about…

软件工程 · 计算机科学 2023-02-03 Vanessa Sochat , Tim Haines

Machine learning classification problems are widespread in bioinformatics, but the technical knowledge required to perform model training, optimization, and inference can prevent researchers from utilizing this technology. This article…

机器学习 · 计算机科学 2023-10-06 Aaron D. Mullen , Samuel E. Armstrong , Jeff Talbert , V. K. Cody Bumgardner

Human computer interaction is shifting from screen-based systems to multimodal interfaces where artificial intelligence powered systems increasingly interpret user intent through speech, gesture, and gaze. Yet users rarely understand how…

人机交互 · 计算机科学 2026-05-05 Ankur Bhatt , Sven Mayer

Model-Driven Engineering (MDE) is a software engineering methodology focusing on models as primary artifacts. In the last years, the emergence of Web technologies has led to the development of Web-based modeling tools and model-based…

软件工程 · 计算机科学 2024-06-26 Adiel Tuyishime , Francesco Basciani , Javier Luis Cánovas Izquierdo , Ludovico Iovino

Modeling and analysis of interactions among services is a crucial issue in Service-Oriented Computing. Composing Web services is a complicated task which requires techniques and tools to verify that the new system will behave correctly. In…

软件工程 · 计算机科学 2010-09-21 Gwen Salaün

This paper discusses some generic approach for developing grid-based framework for enabling establishment of workflows comprising existing software in computational sciences areas. We highlight the main requirements addressed the developing…

分布式、并行与集群计算 · 计算机科学 2011-06-21 Vladimir Berezovsky , Alexander Popov

Industrial inspection automation in aerospace presents numerous challenges due to the dynamic, information-rich and regulated aspects of the domain. To diagnose the condition of an aircraft component, expert inspectors rely on a significant…

人机交互 · 计算机科学 2021-01-15 Garrick Cabour , Élise Ledoux , Samuel Bassetto

Machine learning has been increasingly applied in climate modeling on system emulation acceleration, data-driven parameter inference, forecasting, and knowledge discovery, addressing challenges such as physical consistency, multi-scale…

In model-driven software development a multitude of interrelated models are used to systematically realize a software system. This results in a complex development process since the models and the relations between the models have to be…

软件工程 · 计算机科学 2018-05-22 Thomas Vogel , Andreas Seibel , Holger Giese

Hazard and impact analysis is an indispensable task during the specification and development of safety-critical technical systems, and particularly of their software-intensive control parts. There is a lack of methods supporting an…

软件工程 · 计算机科学 2015-12-10 Sonila Dobi , Mario Gleirscher , Maria Spichkova , Peter Struss

Self-adaptive systems offer several attack surfaces due to the communication via different channels and the different sensors required to observe the environment. Often, attacks cause safety to be compromised as well, making it necessary to…

密码学与安全 · 计算机科学 2023-09-19 Thomas Witte , Raffaela Groner , Alexander Raschke , Matthias Tichy , Irdin Pekaric , Michael Felderer

Many complex engineering systems consist of multiple subsystems that are developed by different teams of engineers. To analyse, simulate and control such complex systems, accurate yet computationally efficient models are required. Modular…

系统与控制 · 电气工程与系统科学 2023-01-02 Lars A. L. Janssen , Bart Besselink , Rob H. B. Fey , Nathan van de Wouw

In recent years, the field of software engineering has experienced a considerable increase in demand for competent experts, resulting in an increased demand for platforms that connect software engineers and facilitate collaboration. In…

软件工程 · 计算机科学 2025-02-25 Nayaab Azim , Sadath Ullah Khan Mohammed , Evan Phaup , Adeyemi Aina

As AI models scale to billions of parameters and operate with increasing autonomy, ensuring their safe, reliable operation demands engineering-grade security and assurance frameworks. This paper presents an enterprise-level, risk-aware,…

密码学与安全 · 计算机科学 2025-05-13 Krti Tallam