ASTEC - Advanced Software Technology Artes

Development of automotive software - correctness and performance

This is an invitation to a one day seminar on Development of Automotive Software. The seminar is jointly organized by ASTEC, ARTES and Mecel AB. The purpose is to present and discuss state-of-the-art methods and techniques for development of correct and efficient automotive software. The seminar is targeted towards engineers and researchers interested in this very hot and important area.

This information is available at

Date: April 23, 1998
Location: Scandic Crown Hotel, Göteborg, Sweden


9.30 - 10.00 Registration and coffee
10.00 - 10.20 Introduction to ASTEC and the seminar Hans Hansson
10.20 - 11.40 Time Triggered Technology for Automotive Systems Stefan Poledna
11.40 - 12.20 The Volcano concept Ken Tindell
12.30 - 13.30 Lunch
13.30 - 14.00 Formal Methods for Automotive Systems Göran Anger
14.00 - 15.00 Overview of the ASTEC RT-project Hans Hansson
- Execution Time Analysis Jan Gustafsson
- Distributed System Development Mikael Strömberg
- The Case Study Magnus Lindahl
- Uppaal Modelling and Analysis Paul Pettersson
- Real-Time Software Synthesis with SEA/CHaRy Peter Altenbernd
15.00 - 15.30 Coffee and demos
15.30 - 16.30 Panel: Provably correct software - future or utopia?
(Invited speakers and representatives from the Swedish automotive industry)


In conjunction with the seminar there will be a display of posters and demos. The following tools will be demonstrated:

About our invited talks

Time Triggered Technology for Automotive Systems
Future automotive systems will require close integration of functions and control loops which are safety critical. The complexity of these systems is not adressed by current approaches. Key problems in this application domain will be discussed together with possible solutions by a time-triggered architecture.

About the Speaker: Dr. Stefan Poledna is general manager of TTTech - Time-Triggered Technology. He lectures fault-tolerant computer systems at the technical university Vienna.

The Volcano concept
Dr. Ken Tindell will present the Volcano concept which has been developed by the Northern Real-Time Group in cooperation with Volvo. He will also outline the implications of Volcano and discuss future developments.

About the Speaker: Dr. Ken Tindell is founder and director of the Northern Real-Time Group in York, England. NRTG was formed in April 1995 to support new real-time techniques in embedded systems, targeted mostly at the automotive industry. NRTG is focused particularly on the CAN (Controller Area Network) protocol, which is being used extensively in new European automobiles.

Formal Methods for Automotive Systems
Göran Anger will present some experiences from using logic for specification and verification of automotive systems and software.

About the Speaker: Göran Anger is managing director of Industrilogik, a staff-owned company working with consultancy, research and development in applied mathematics, logic and computer science. The major application area is formal methods - the use of mathematically precise methods to increase safety and quality in software and systems.

About ASTEC and the ART project

ASTEC (Advanced Software TEChnology) is a Nutek supported competence center in the area of software technology. Its purpose is to develop and support industrially applicable techniques for software specification, design, and development. It shall bring new technology into industrial applications and perform academic research on industrially relevant problems in software development. High-level specification and programming languages, together with tools for specification, analysis, validation, simulation, and compilation are central topics of the center. Particular emphasis is put on methods supporting the development of software for communication and control applications.

ART is one of the projects within ASTEC. ART is focussing on Design of Automotive Software and Execution Time Analysis.

The motivation for ART is that more advanced methods for software is needed as the development and design of automotive electronics is switching paradigm from single application dedicated hardware and software to highly integrated distributed systems, in which virtually all vehicle applications share hardware and system software.

The ambition of the ART project is to develop a design method for Automotive (hard) RT applications. The method shall allow automotive engineers to conveniently develop application software without bothering about low level implementation details. The method shall support modular design and facilitate reuse of software modules.

Execution time analysis is critical in the design of hard real-time systems, such as vehicle control systems, since scheduling and correctness analysis requires accurate measures of the execution times of the involved software.


ARTES is a national Swedish strategic research initiative in Real-Time Systems supported by the Swedish Foundation for Strategic Research (SSF). ARTES forms a network of academic and industrial groups, with the ambition to strengthen the Real-Time Systems competence nationwide. The main focus of ARTES is on graduate education and cooperation between industry and academia.

About Mecel

Mecel is a company active in advanced engineering for the automotive industry, specializing in the development of advanced electronics concepts for automobiles, trucks, buses, and their infrastructure.

The operations are dominated by engineering services for research and development projects, with a distinct focus on qualified systems development.

Information and Registration

Contact Jenny Wallén at Mecel, E-mail:, fax: +46 31 40 31 50, tel: +46 31 703 32 12 adr: Mecel AB, att: Jenny Wallén, Box 140 44, SE-400 20 Göteborg.