This information is available at http://www.artes.uu.se/automotive98.html
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)|
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.
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.
The operations are dominated by engineering services for research and development projects, with a distinct focus on qualified systems development.