中文
相关论文

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

200 篇论文

The role of scalable high-performance workflows and flexible workflow management systems that can support multiple simulations will continue to increase in importance. For example, with the end of Dennard scaling, there is a need to…

软件工程 · 计算机科学 2017-10-19 Jay Jay Billings , Shantenu Jha

The implementation of AI-based applications in complex environments often requires the collaboration of several devices spanning from edge to cloud. Identifying the required devices and configuring them to collaborate is a challenge…

分布式、并行与集群计算 · 计算机科学 2025-11-18 Mario Scrocca , Marco Grassi , Alessio Carenini , Jean-Paul Calbimonte , Darko Anicic , Irene Celino

Systems engineering approaches use high-level models to capture the architecture and behavior of the system. However, when safety engineers conduct safety and reliability analysis, they have to create formal models, such as fault-trees,…

软件工程 · 计算机科学 2020-04-29 Simon József Nagy , Bence Graics , Kristóf Marussy , András Vörös

Microservice-based architectures enable different aspects of web applications to be created and updated independently, even after deployment. Associated technologies such as service mesh provide application-level fault resilience through…

分布式、并行与集群计算 · 计算机科学 2021-11-02 Fanfei Meng , Lalita Jagadeesan , Marina Thottan

This paper demonstrates a methodology to help practitioners maximise the utility of complex multidisciplinary engineering models implemented as spreadsheets, an area presenting unique challenges. As motivation we investigate the expanding…

软件工程 · 计算机科学 2014-01-21 David Birch , Helen Liang , Paul H J Kelly , Glen Mullineux , Tony Field , Joan Ko , Alvise Simondetti

Models are fundamentally crucial to many scientific fields, including software engineering, systems engineering, enterprise modeling, and business modeling. This paper focuses on diagrammatic conceptual modeling, as opposed to mathematical…

软件工程 · 计算机科学 2021-10-28 Sabah Al-Fedaghi , Mahdi Modhaffar

Evaluating the security of cyber-physical systems throughout their life cycle is necessary to assure that they can be deployed and operated in safety-critical applications, such as infrastructure, military, and transportation. Most safety…

密码学与安全 · 计算机科学 2020-10-19 Georgios Bakirtzis , Bryan T. Carter , Carl R. Elks , Cody H. Fleming

Assembly systems constitute one of the most important fields in today industry. In this paper we propose an open distributed architecture for the engineering of evolvable flexible hybrid assembly systems. The proposed architecture is based…

软件工程 · 计算机科学 2014-11-06 Kleanthis Thramboulidis

Despite much progress, developing a pervasive computing application remains a challenge because of a lack of conceptual frameworks and supporting tools. This challenge involves coping with heterogeneous devices, overcoming the intricacies…

编程语言 · 计算机科学 2012-03-30 Damien Cassou , Julien Bruneau , Charles Consel , Emilie Balland

In a Systems Engineering setting, various models are produced using a variety of methods and tools. Focusing on a type of models -- called descriptive models -- which we shall describe, we argue that, while the clarity and precision of…

系统与控制 · 电气工程与系统科学 2022-07-29 Freddy Kamdem Simo , Dominique Ernadote , Dominique Lenne

The development of cyber-physical systems can significantly benefit from domain-specific modeling and requires adequate (meta)-modeling frameworks. If such systems are designed for the safety-critical area, the systems must undergo…

软件工程 · 计算机科学 2021-11-16 Vanessa Tietz , Julian Schoepf , Andreas Waldvogel , Bjoern Annighoefer

Interactive data visualization is a major part of modern exploratory data analysis, with web-based technologies enabling a rich ecosystem of both specialized and general tools. However, current visualization tools often lack support for…

人机交互 · 计算机科学 2025-08-14 Jan Simson

We introduce SysML-Sec, a SysML-based Model-Driven Engineering environment aimed at fostering the collaboration between system designers and security experts at all methodological stages of the development of an embedded system. A central…

软件工程 · 计算机科学 2014-04-09 Ludovic Apvrille , Yves Roudier

Hybrid systems with both discrete and continuous dynamics are an important model for real-world cyber-physical systems. The key challenge is to ensure their correct functioning w.r.t. safety requirements. Promising techniques to ensure…

计算机科学中的逻辑 · 计算机科学 2015-05-27 Stefan Mitsch , Grant Olney Passmore , Andre Platzer

It is essential to find new ways of enabling experts in different disciplines to collaborate more efficient in the development of ever more complex systems, under increasing market pressures. One possible solution for this challenge is to…

系统与控制 · 计算机科学 2017-02-03 Cláudio Gomes , Casper Thule , David Broman , Peter Gorm Larsen , Hans Vangheluwe

AI-based design tools are proliferating in professional software to assist engineering and industrial designers in complex manufacturing and design tasks. These tools take on more agentic roles than traditional computer-aided design tools…

人机交互 · 计算机科学 2023-03-02 Frederic Gmeiner , Humphrey Yang , Lining Yao , Kenneth Holstein , Nikolas Martelaro

We describe a framework and tool specification that represents a step towards cybersecurity testing and monitoring of IoT ecosystems. We begin with challenges from a previous paper and discuss an integrated approach and tools to enable…

The integration of Artificial Intelligence (AI) into clinical settings presents a software engineering challenge, demanding a shift from isolated models to robust, governable, and reliable systems. However, brittle, prototype-derived…

Methods: This work introduces a method supporting the collaborative definition of machine learning tasks by leveraging model-based engineering in the formalization of the systems modeling language SysML. The method supports the…

软件工程 · 计算机科学 2023-07-11 Simon Raedler , Juergen Mangler , Stefanie Rinderle-Ma

Test and evaluation is a necessary process for ensuring that engineered systems perform as intended under a variety of conditions, both expected and unexpected. In this work, we consider the unique challenges of developing a unifying test…

系统与控制 · 电气工程与系统科学 2022-01-21 Erin Lanus , Ivan Hernandez , Adam Dachowicz , Laura Freeman , Melanie Grande , Andrew Lang , Jitesh H. Panchal , Anthony Patrick , Scott Welch