English
Related papers

Related papers: Model-based Analysis and Specification of Function…

200 papers

Functional dependencies and feature interactions in automotive software systems are a major source of erroneous and deficient behavior. To overcome these problems, many approaches exist that focus on modeling these functional dependencies…

Software Engineering · Computer Science 2017-08-30 Andreas Vogelsang , Steffen Fuhrmann

Component-based design paradigm is of paramount importance due to prolific growth in the complexity of modern-day systems. Since the components are developed primarily by multi-party vendors and often assembled to realize the overall…

Software Engineering · Computer Science 2022-05-31 Aritra Hazra

Software-intensive Systems-of-Systems (SoS) refer to an arrangement of managerially and operationally independent systems(i.e., constituent systems), which work collaboratively towards the achievement of global missions. Because some SoS…

Software Engineering · Computer Science 2020-07-15 Cristiane Aparecida Lana , Milena Guessi , Pablo Oliveira Antonino , Dieter Rombach , Elisa Yumi NakagawaA

"This article describes software engineering techniques to be used in order to ensure the necessary quality of intelligent and therefore massive software-based systems in vehicles. Quality assurance for intelligent software is achieved…

Software Engineering · Computer Science 2014-10-16 Bernhard Rumpe , Christian Berger , Holger Krahn

The use of conceptual models to foster requirements engineering has been proposed and evaluated as beneficial for several decades. For instance, goal-oriented requirements engineering or the specification of scenarios are commonly done…

Software Engineering · Computer Science 2021-03-09 Marian Daun , Jennifer Brings , Marcel Goger , Walter Koch , Thorsten Weyer

This paper presents an approach to model features and function nets of automotive systems comprehensively. In order to bridge the gap between feature requirements and function nets, we describe an approach to describe both using a…

Software Engineering · Computer Science 2014-09-24 Hans Grönninger , Jochen Hartmann , Holger Krahn , Stefan Kriebel , Bernhard Rumpe

With the rapid advancement of Formal Methods, Model-based Safety Analysis (MBSA) has been gaining tremendous attention for its ability to rigorously verify whether the safety-critical scenarios are adequately addressed by the design…

Systems and Control · Electrical Eng. & Systems 2022-05-03 Minghui Sun , Cody H. Fleming

How can the complexity of ML-enabled systems be managed effectively? The goal of this research is to investigate how complexity affects ML-Enabled Systems (MLES). To address this question, this research aims to introduce a metrics-based…

Software Engineering · Computer Science 2025-08-13 Renato Cordeiro Ferreira

Behavior Driven Development (NORTH, 2006) is a specification technique that is growing in acceptance in the Agile methods communities. BDD allows to securely verify that all functional requirements were treated properly by source code, by…

Software Engineering · Computer Science 2010-05-28 Rogerio Atem de Carvalho , Rodrigo Soares Manhães , Fernando Luis de Carvalho e Silva

While trajectory prediction plays a critical role in enabling safe and effective path-planning in automated vehicles, standardized practices for evaluating such models remain underdeveloped. Recent efforts have aimed to unify dataset…

Machine Learning · Computer Science 2025-09-19 Julian F. Schumann , Anna Mészáros , Jens Kober , Arkady Zgonnikov

Autonomous race cars require perception, estimation, planning, and control modules which work together asynchronously while driving at the limit of a vehicle's handling capability. A fundamental challenge encountered in designing these…

Robotics · Computer Science 2020-11-17 Achin Jain , Matthew O'Kelly , Pratik Chaudhari , Manfred Morari

Complex systems are hard to define. Nevertheless they are more and more frequently encountered. Examples include a worldwide airline traffic management system, a global telecommunication or energy infrastructure or even the whole legacy…

Software Engineering · Computer Science 2014-09-24 Jean Bézivin , Richard F. Paige , Uwe Aßmann , Bernhard Rumpe , Doug Schmidt

In the modern world, we are permanently using, leveraging, interacting with, and relying upon systems of ever higher sophistication, ranging from our cars, recommender systems in e-commerce, and networks when we go online, to integrated…

Artificial Intelligence · Computer Science 2023-06-23 Patrick Rodler

With the ever increasing complexity of Industry 4.0 systems, plant energy management systems developed to improve energy sustainability become equally complex. Based on a Model-Based Systems Engineering analysis, this paper aims to provide…

Computation and Language · Computer Science 2022-08-03 Romain Delabeye , Olivia Penas , Martin Ghienne , Arkadiusz Kosecki , Jean-Luc Dion

Worsening global challenges demand solutions grounded in a systems-level understanding of coupled social and environmental dynamics. Existing environmental models encode extensive knowledge of individual systems, yet much of this…

Systems and Control · Electrical Eng. & Systems 2025-12-25 Megan S. Harris , Ehsanoddin Ghorbanichemazkati , Mohammad Mahdi Naderi , John C. Little , Amro M. Farid

The increasing complexity of automated driving functions and their growing operational design domains imply more demanding requirements on their validation. Classical methods such as field tests or formal analyses are not sufficient anymore…

Robotics · Computer Science 2024-05-15 Nicole Neis , Juergen Beyerer

Deep learning (DL) plays a key role in autonomous driving systems. DL models support perception modules, equipped with tasks such as object detection and sensor fusion. These DL models enable vehicles to process multi-sensor inputs to…

Software Engineering · Computer Science 2025-10-31 Yinglong Zou , Juan Zhai , Chunrong Fang , An Guo , Jiawei Liu , Zhenyu Chen

Many organizations seek to ensure that machine learning (ML) and artificial intelligence (AI) systems work as intended in production but currently do not have a cohesive methodology in place to do so. To fill this gap, we propose MLTE…

Software Engineering · Computer Science 2023-03-06 Katherine R. Maffey , Kyle Dotterrer , Jennifer Niemann , Iain Cruickshank , Grace A. Lewis , Christian Kästner

Seamless model based development aims to use models during all phases of the development process of a system. During the development process in a component-based approach, components of a system are described at qualitatively differing…

Software Engineering · Computer Science 2012-02-29 Jan Olaf Blech , Dongyue Mou , Daniel Ratiu

The embedded systems engineering industry faces increasing demands for more functionality, rapidly evolving components, and shrinking schedules. Abilities to quickly adapt to changes, develop products with safe design, minimize project…

Systems and Control · Computer Science 2010-10-21 Bernhard Fischer
‹ Prev 1 3 4 5 6 7 10 Next ›