AutoMoDe - Model-Based Development of Automotive Software
Dirk Ziegenbein, Peter Braun, Ulrich Freund, Andreas Bauer, Jan, Romberg, Bernhard Schatz
TL;DR
AutoMoDe introduces a model-based development methodology for automotive control software, utilizing problem-specific notations and formal foundations, supported by a prototype tool based on AutoFOCUS to validate the approach.
Contribution
It presents a new integrated methodology for automotive software development using formal, problem-specific modeling and a prototype tool built on AutoFOCUS.
Findings
Development of a formal foundation for automotive control software
Implementation of a prototype tool demonstrating the methodology
Validation of the approach through initial results
Abstract
This paper describes first results from the AutoMoDe (Automotive Model-Based Development) project. The overall goal of the project is to develop an integrated methodology for model-based development of automotive control software, based on problem-specific design notations with an explicit formal foundation. Based on the existing AutoFOCUS framework, a tool prototype is being developed in order to illustrate and validate the key elements of our approach.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsSafety Systems Engineering in Autonomy · Model-Driven Software Engineering Techniques · Real-Time Systems Scheduling