English
Related papers

Related papers: Be Lean -- How to Fit a Model-Based System Archite…

200 papers

Architectural monitoring and adaptation allows self-management capabilities of autonomic systems to realize more powerful adaptation steps, which observe and adjust not only parameters but also the software architecture. However, monitoring…

Software Engineering · Computer Science 2018-05-23 Thomas Vogel , Stefan Neumann , Stephan Hildebrandt , Holger Giese , Basil Becker

Modern systems evolve in unpredictable environments and have to continuously adapt their behavior to changing conditions. The "DReAM" (Dynamic Reconfigurable Architecture Modeling) framework, has been designed for modeling reconfigurable…

Formal Languages and Automata Theory · Computer Science 2018-10-25 Rocco De Nicola , Alessandro Maggi , Joseph Sifakis

There is a pressing need for better development methods and tools to keep up with the growing demand and increasing complexity of new software systems. New types of user interfaces, the need for intelligent components, sustainability…

Software Engineering · Computer Science 2026-04-14 Jordi Cabot

In a global business context with continuous changes, the enterprises have to enhance their operational efficiency, to react more quickly, to ensure the flexibility of their business processes, and to build new collaboration pathways with…

Software Engineering · Computer Science 2012-02-21 Fatima-Zahra Belouadha , Hajar Omrana , Ounsa Roudiès

Large-scale optimization is a key backbone of modern business decision-making. However, building these models is often labor-intensive and time-consuming. We address this by proposing LEAN-LLM-OPT, a LightwEight AgeNtic workflow…

Artificial Intelligence · Computer Science 2026-02-03 Kuo Liang , Yuhang Lu , Jianming Mao , Shuyi Sun , Chunwei Yang , Congcong Zeng , Xiao Jin , Hanzhang Qin , Ruihao Zhu , Chung-Piaw Teo

The development of efficient and robust dynamic models is fundamental in the field of systems and control engineering. In this paper, a new formulation for the dynamic model of nonlinear mechanical systems, that can be applied to different…

Systems and Control · Electrical Eng. & Systems 2026-02-09 Davide Tebaldi , Roberto Zanasi

The failure of hardware or software in a critical system can lead to loss of lives. The design errors can be main source of the failures that can be introduced during system development process. Formal techniques are an alternative approach…

Software Engineering · Computer Science 2014-07-04 Dominique Méry , Neeraj Kumar Singh

The aviation industry has a market driven need to maintain and develop enhanced simulation capabilities for a wide range of application domains. In particular, the future growth and disruptive ability of smart cities, autonomous vehicles…

Computers and Society · Computer Science 2019-10-15 Joshua Fadaie

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…

The cloud computing paradigm is being adopted by many organizations in different application domains as it is cost effective and offers a virtually unlimited pool of resources. Engineering critical systems can benefit from clouds in…

Software Engineering · Computer Science 2014-05-01 Sami Alajrami

Artificial intelligence (AI) and machine learning (ML) are increasingly broadly adopted in industry, However, based on well over a dozen case studies, we have learned that deploying industry-strength, production quality ML models in systems…

Machine Learning · Computer Science 2020-06-04 Jan Bosch , Ivica Crnkovic , Helena Holmström Olsson

Recent advancements in reinforcement learning (RL) demonstrate the significant potential in autonomous driving. Despite this promise, challenges such as the manual design of reward functions and low sample efficiency in complex environments…

Robotics · Computer Science 2025-01-10 Zengqi Peng , Yubin Wang , Xu Han , Lei Zheng , Jun Ma

Industry in all sectors is experiencing a profound digital transformation that puts software at the core of their businesses. In order to react to continuously changing user requirements and dynamic markets, companies need to build robust…

Software Engineering · Computer Science 2020-01-13 Victor Muntés-Mulero , Oscar Ripolles , Smrati Gupta , Jacek Dominiak , Eric Willeke , Peter Matthews , Balázs Somosköi

Embedded systems interaction with environment inherently complicates understanding of requirements and their correct implementation. However, product uncertainty is highest during early stages of development. Design verification is an…

Software Engineering · Computer Science 2011-12-20 Hara Gopal Mani Pakala , Dr. Plh Varaprasad , Dr. Raju Kvsvn , Dr. Ibrahim Khan

To help mitigate road congestion caused by the unrelenting growth of traffic demand, many transportation authorities have implemented managed lane policies, which restrict certain freeway lanes to certain types of vehicles. It was…

Systems and Control · Computer Science 2018-11-16 Matthew A. Wright , Roberto Horowitz , Alex A. Kurzhanskiy

Growing anthropogenic pressures have increased the need for robust predictive models. Meeting this demand requires approaches that can handle bigger data to yield forecasts that capture the variability and underlying uncertainty of…

Quantitative Methods · Quantitative Biology 2024-08-06 EM Wolkovich , T Jonathan Davies , William D Pearse , Michael Betancourt

One of the goals of software design is to model a system in such a way that it is easily understandable. Nowadays the tendency for software development is changing from manual coding to automatic code generation; it is becoming model-based.…

Software Engineering · Computer Science 2015-03-13 N Md Jubair basha , Salman Abdul Moiz , Mohammed Rizwanullah

With the recent advances in machine learning, creating agents that behave realistically in simulated air combat has become a growing field of interest. This survey explores the application of machine learning techniques for modeling air…

Machine Learning · Computer Science 2025-10-08 Patrick Ribu Gorton , Andreas Strand , Karsten Brathen

In modern engineering practice, human engineers collaborate in specialized teams to design complex products, with each expert completing their respective tasks while communicating and exchanging results and data with one another. While this…

Artificial Intelligence · Computer Science 2025-11-04 Ran Xu , Yupeng Qi , Jingsen Feng , Xu Chu