English
Related papers

Related papers: AutoMoDe - Model-Based Development of Automotive S…

200 papers

Software automation has long been a central goal of software engineering, striving for software development that proceeds without human intervention. Recent efforts have leveraged Artificial Intelligence (AI) to advance software automation…

Software Engineering · Computer Science 2025-10-02 Liyi Cai , Yijie Ren , Yitong Zhang , Jia Li

The development of automated vehicles and automated driving functions is an exceptionally complex task that requires the integration of numerous, sometimes conflicting interests and various constraints already in the early stages of system…

Systems and Control · Electrical Eng. & Systems 2025-08-14 Robert Graubohm , Markus Maurer

As complex software and systems development projects need models as an important planning, structuring and development technique, models now face issues resolved for software earlier: models need to be versioned, differences captured,…

Software Engineering · Computer Science 2014-09-09 Tihamer Levendovszky , Bernhard Rumpe , Bernhard Schätz , Jonathan Sprinkle

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

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

Modern-day autonomous vehicles are increasingly becoming complex multidisciplinary systems composed of mechanical, electrical, electronic, computing and information sub-systems. Furthermore, the individual constituent technologies employed…

Robotics · Computer Science 2024-10-22 Chinmay Vilas Samak , Tanmay Vilas Samak , Venkat Krovi

The thesis discusses topics related to the development of business process management systems. Business process management systems have evolved on the basis of workflow management systems through incremental inclusion of standard…

Software Engineering · Computer Science 2025-04-04 Valdis Vitolins

The transition toward software-defined vehicles requires standardization and modularization of hardware decoupled from software, along with centralized electrical/electronic architectures. While electrified drive units, such as integrated…

Systems and Control · Electrical Eng. & Systems 2026-04-21 Shiu Mochiyama , Rikuto Kawasome

Ensuring and validating the safe operation of automated vehicles are key challenges for their market launch. Scenario-based development and test approaches are currently being pursued as possible solutions. An essential prerequisite for…

Software Engineering · Computer Science 2021-11-23 Markus Steimle , Till Menzel , Markus Maurer

Component-based software engineering aims to reduce software development effort by reusing established components as building blocks of complex systems. Defining components in general-purpose programming languages restricts their reuse to…

Software Engineering · Computer Science 2014-12-10 Jan Oliver Ringert , Bernhard Rumpe , Andreas Wortmann

Building models from data is an integral part of the majority of data science workflows. While data scientists are often forced to spend the majority of the time available for a given project on data cleaning and exploratory analysis, the…

Human-Computer Interaction · Computer Science 2019-11-07 Florian Pfisterer , Janek Thomas , Bernd Bischl

Using continuous development, deployment, and monitoring (CDDM) to understand and improve applications in a customer's context is widely used for non-safety applications such as smartphone apps or web applications to enable rapid and…

Software Engineering · Computer Science 2024-03-15 Ali Nouri , Christian Berger , Fredrik Torner

This paper introduces an automatic debugging framework that relies on model-based reasoning techniques to locate faults in programs. In particular, model-based diagnosis, together with an abstract interpretation based conflict detection…

Software Engineering · Computer Science 2007-05-23 Wolfgang Mayer , Markus Stumptner

Focus, a framework for formal specification and development of interactive systems, was introduced approx. 25 years ago. Since then this approach was broadly used in academic and industrial studies, as well as provided a basis for a number…

Software Engineering · Computer Science 2017-11-23 Maria Spichkova

Software development automation is a long-term goal in software engineering. With the development of artificial intelligence (AI), more and more researchers are exploring approaches to software automation. They view AI systems as tools or…

Software Engineering · Computer Science 2025-11-25 Jia Li , Zhi Jin , Huangzhao Zhang , Kechi Zhang , Jiaru Qian , Tiankuo Zhao

With the rapid development of more complex robots, Fault Detection and Diagnosis (FDD) becomes increasingly harder. Especially the need for predetermined models and historic data is problematic because they do not encompass the dynamic and…

Robotics · Computer Science 2025-07-03 Johannes Kohl , Georg Muck , Georg Jäger , Sebastian Zug

We present a new approach to automated scenario-based testing of the safety of autonomous vehicles, especially those using advanced artificial intelligence-based components, spanning both simulation-based evaluation as well as testing in…

Systems and Control · Electrical Eng. & Systems 2020-07-14 Daniel J. Fremont , Edward Kim , Yash Vardhan Pant , Sanjit A. Seshia , Atul Acharya , Xantha Bruso , Paul Wells , Steve Lemke , Qiang Lu , Shalin Mehta

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…

Software Engineering · Computer Science 2014-04-09 Ludovic Apvrille , Yves Roudier

Intensive testing using model-based approaches is the standard way of demonstrating the correctness of automotive software. Unfortunately, state-of-the-art techniques leave a crucial and labor intensive task to the test engineer:…

Software Engineering · Computer Science 2022-12-16 Mike Becker , Roland Meyer , Tobias Runge , Ina Schaefer , Sören van der Wall , Sebastian Wolff

Prototyping and validating hardware-software components, sub-systems and systems within the intelligent transportation system-of-systems framework requires a modular yet flexible and open-access ecosystem. This work presents our attempt…

Robotics · Computer Science 2023-05-30 Tanmay Vilas Samak , Chinmay Vilas Samak , Sivanathan Kandhasamy , Venkat Krovi , Ming Xie
‹ Prev 1 4 5 6 7 8 10 Next ›