AutoMoDe - model-based development of automotive software

The paper describes first results from the AutoMoDe (automotive model-based development) project. The project's overall goal 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 (Huber, F. et al., 1997), a tool prototype is being developed in order to illustrate and validate the key elements of our approach.