ArtistDesign NoE

20. Programme

Bengt Jonsson, Kim Larsen, Reinhard Wilhelm — 2006-10-17T14:24:38Z

Programme


Thursday September 29
Bengt Jonsson: Opening
Invited Key Note Tutorial Ileana Ober: UML and UML 2.0
Sebastien Gerard: UML for Real Time Systems
Invited Key Note Tutorial - Components & Modelling Alberto Ferrari: Modeling of Heterogeneous Systems in Metropolis
Invited Key Note Tutorial - MDE Pierre Alain Muller: Applications of model transformations
Reiko Heckel: Foundations of Model Transformations

Friday September 30
Invited Key Note Tutorial Joseph Sifakis: Component-Based Modeling of Real-Time Systems
Susanne Graf: Verification of UML models
Invited Key Note Tutorial Björn Lisper
Saturday October 1
Invited Key Note Tutorial Jean-Francois Raskin: Controller Synthesis and Code Generation
Invited talk Reinhard Wilhelm: Runtime Guarantees for Real-Time Systems
Invited Talk Reinhard Wilhelm: Worst Case Execution Time Analysis
Invited Key Note Tutorial Ed Brinksma: Foundations of Testing
Invited talk Thierry Jeron: Test Generation using Model Checking
Invited talk Brian Nielsen: On-line Testing for Real-time Systems

Sunday October 2
Invited Key Note Tutorial Patricia Bouyer: Foundation for Timed Systems
Invited talk Gerd Behrmann: Real-time Model Checking
Invited Talk Stavros Tripakis: Fault-Diagnosis for Real-time Systems
Invited Key Note Tutorial Joost-Pieter Katoen: Foundations for Stochastic Systems
Invited talk Joost-Pieter Katoen: Applications of Stochastic Model Checking
Invited talk David Parker: PRISM a Tool for Stochastic Model Checking StatCounter - Free Web Tracker and Counter

20. Lecturers

Karl-Erik Arzen, Kim Larsen, Luca Benini, Paul Caspi — 2006-09-25T09:11:44Z

Lecturers

Prof. Karl-Erik Arzen

Lund University, Sweden

Karl-Erik Årzén was born in Malmö, Sweden on October 4, 1957. He received his M.Sc in Electrical Engineering and PhD in Automatic Control from Lund University in 1981 and 1987 respectively. He was appointed as professor in automatic control in 2000. He has also worked for ABB Corporate Research during 1992-1994. His research interests includes real-time systems, real-time and embedded control, control of computer software systems, discrete event and sequential control, and intelligent control systems. He has published more than 120 journal articles and conference papers. He is the leader of the Control for Embedded Systems cluster within the EU/IST Network of Excellence ARTIST2 since 2004. He was the chairman of the IEEE Control System Society Technical Committee on Real-Time Control, Computing, & Signal Processing 1999-2002. He is vice chairman of the IFAC Technical Committee on Real-Time Computing & Control since 2002. In 2006 he received the Guido Carlo-Stella award from the World Batch Forum for his contributions to manufacturing automation.

Prof. Dr. Luca Benini

University of Bologna, Italy

Luca Benini is a Full Professor at the Department of Electrical Engineering and Computer Science (DEIS) of the University of Bologna. He also holds a visiting faculty position at the Ecole Polytechnique Federale de Lausanne. He received a Ph.D. degree in electrical engineering from Stanford University in 1997.

Dr. Benini's research interests are in the design of system-on-chip platforms for embedded applications. He is also active in the area of energy-efficient smart sensors and sensor networks. He has published more than 300 papers in peer-reviewed international journals and conferences, four books and several book chapters. He has been program chair and vice-chair of Design Automation and Test in Europe Conference. He has been a member of the technical program committee and organizing committee of several technical conferences, including the Design Automation Conference, International Symposium on Low Power Design, the Symposium on Hardware-Software Codesign.

He is Associate Editor of the IEEE Transactions on Computer Aided Design of Circuits and Systems and the ACM Journal on Emerging Technologies in Computing Systems. He is a senior Member of the IEEE.

Paul Caspi

Verimag Laboratory, France

Paul Caspi graduated from "Ecole polytechnique (Paris)" and holds a "docteur ès sciences" degree in automatic control from "Institut national polytechnique de Grenoble. He is currently "directeur de recherche CNRS" at the Verimag laboratory in Grenoble.

His domain of interest is computer science applied to automatic control. He is mainly concerned with safety problems in critical applications, from both hardware and software points of view. This has led him to be involved in the design of Lustre, a data-flow programming language for safety-critical automatic control applications. Lustre has been chosen as the kernel language of the SCADE design environment used at Airbus for designing the flight control systems of Airbus commercial aircrafts. This achievement owed him to share the Monpetit prize of French "Académie des sciences".

He also served as a consultant for several French companies and administrations, on problems related to safety-critical computing systems.

Kim Larsen

Aalborg University Denmark

Kim Guldstrand Larsen (born 23 December 1957) holds an MSc in Mathematics and Computer Science from University of Aalborg, Denmark, and a PhD in Computer Science from Edinburgh University, Scotland. He is a Professor of Computer Science at Aalborg University, and Industrial Professor at Twente University, The Netherlands. In addition, Kim Guldstrand Larsen has visited, or has held visiting appointments, at research centres like ENS Cachan (France), Swedish Institute of Computer Science (Sweden), Uppsala University (Sweden), Twente University (The Netherlands) and Carnegie-Mellon University (U.S.A).

Kim Guldstrand Larsen is director of CISS, the Center for Embedded Software Center, co-director of BRICS, the center for Basic Research in Computer Science, and member of the strategic management board of the ARTIST2 Network of Excellence. Kim Guldstrand Larsen is member of the Royal Danish Academy of Sciences and Letters, Copenhagen, and is member of the Danish Academy of Technical Sciences. For a period of seven years he served as member of the Danish Natural Science Research Council.

Kim Guldstrand Larsen became Honorary Doctor (Honoris causa) at Uppsala University in 1999 for his outstanding contributions to the popular verification tool UPPAAL. In 2005 he received the Danish Citation Laureates Award, Thomson Scientific, as the most cited Danish computer scientist in the period 1990-2004.

Since 1987 Kim Guldstrand Larsen has written and/or edited 10 books, published 27 papers in international journals, and approximately 130 papers in international reviewed conferences. Kim has co-authored 6 software-tools, holds one patent and is prime investigator in the real-time verification tool UPPAAL (www.uppaal.com). Kim Guldstrand Larsen has given invited talks and course all over the work, including North-America, China, India, and most European countries. Kim Guldstrand Larsen is currentley ranked no. Ranked 531 on Citeseer an has H-number 34 according to Google Scholar.

Kim Guldstrand Larsen is editorial board member of the journals Formal Methods in System Design, Theoretical Computer Science and Nordic Journal of Computing. He is serving as a member of the steering committee for the ETAPS conference series. Also he is serving as member of the steering committees and was one of the original initiators for the CONCUR conference series, the TACAS conference series and the FORMATS workshop seriesI. n addition Kim Guldstrand Larsen has served as program committee member for numerous conferences and acted as program chair and organiser of the international conferences ICALP'98, CONCUR'01, CAV'02 and FORMATS'03.

30. Organisation

Bengt Jonsson, Kim Larsen, Reinhard Wilhelm — 2006-09-21T13:19:37Z

Steering Committee

Bengt Jonsson (Uppsala Univ., Sweden)
Kim G. Larsen (Aalborg Univ., Denmark)
Reinhard Wilhelm (Univ. des Saarlandes, Germany)

Local Organization

Ulrika Andersson (Uppsala Univ.,Sweden)
Anders Hessel (Uppsala Univ.,Sweden)
Patrik Johansson (Uppsala Univ.,Sweden)
Bengt Jonsson (Uppsala Univ., Sweden)
Paul Pettersson (Uppsala Univ.,Sweden)
Wang Yi (Uppsala Univ.,Sweden)

Please use the email adress artist2school(at)list(dot)it(dot)uu(dot)se to contact the organisers.

10. Overview

Bengt Jonsson, Kim Larsen, Reinhard Wilhelm — 2006-09-21T13:08:27Z

ARTIST2 Summer School on Component & Modelling, Testing & Verification, and Statical Analysis of Embedded Systems

The ARTIST2 Summer School was held at Nässlingen, Sweden, September 29 - October 2, 2005, in conjunction with the 3rd International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'05). The Summer School offered a number of foundational tutorials accompanied by a selection of exiting new emerging technologies all given by absolute leading scientific experts of the community.

Target Audience

The ARTIST2 Summer School 2005 was a 4 day summer school for young researchers working or wanting to work in the fields of modelling, validation and performance analysis of embedded systems as well as engineers from industry with practical background in design and testing of embedded systems.
The Summer School was organised by the ARTIST2 Network of Excellence with strong contributions from three of its research clusters: Modelling & Components, Testing & Verification and Compilers & Timing Analysis. The school is open for participation for everybody, however, some previous training and/or experience in fundamentals of computer science as well as knowledge of computer architecture is required.

30. Programme

2006-09-18T08:09:29Z

Monday, Feb. 19

Modeling and Design of Heterogeneous Systems
Alberto Ferrari	PARADES	Modeling of Heterogeneous Systems in Metropolis
Joseph Sifakis	Verimag	Component-based Construction of Real-Time Systems
Roberto Passerone	Trento	Interface and component-based design for heterogeneous systems
Benoit Caillaud	INRIA	Composition and Transformation of Heterogeneous Real-Time Systems
Student Presentations

Tuesday, Feb. 20

Model Transformation and UML
Reiko Heckel	Leicester	Foundations of Model Transformation
Andy Schuerr	Darmstadt	MDD with OMG Standards MOF, OCL, QVT and Graph Transformations
Wang Yi	Uppsala	Schedulability Analysis of Timed Systems
Julio Medina	CEA/LIST	UML for scheduling Analysis
Social Dinner

Wednesday Feb. 21

Static Analysis for Safety and Performance
Tutorials
Hanne Riis Nielson	DTU	Static Analysis for Safety and Security
Reinhard Wilhelm	Saarland	Timing Analysis for Real-Time Systems part 1 part 2
Samarjit Chakraborty	Singapore	Interactive Performance Debugging of Real-Time Systems part 1 part 2
Sylvie Putot	CEA	Abstract Interpretation of Floating-Point Computations
Joerg Bauer	Saarland	Static Analysis of Dynamic Communication Systems

Thursday Feb. 22

Schedulability and Controller Synthesis
Jean-Francois Raskin	ULB	Controller Synthesis part 1 part 2
Joost-Pieter Katoen	Aachen	Soft Real Time Scheduling and Quality of Service
Kim Larsen	Aalborg	Optimal Scheduling and Controller Synthesis
Giuseppe Lipari	Sant'Anna	Contract-based Scheduling: An Overview of the Results of the FIRST EU Project

Friday Feb. 23

Testing and Run-Time Verification
Ed Brinksma	Embedded Systems Institute	Conformance Testing and Test Coverage part 1 part 2
Vlad Rusu	IRISA	Formal verification and testing for reactive systems
Bernd Finkbeiner	Saarland	Run-Time Verification

T&V ARTIST2 meeting

Ed Brinksma, Kim Larsen — 2006-08-24T15:03:25Z

Organizer Kim Larsen & Ed Brinksma

Date 20 - 21 April 2006

Venue ESI, Eindhoven, The Netherlands

Main Objectives Purpose The meeting will include talks (short and long) on ongoing work and ample time for discussion. Of course, time will also be set aside in order to discuss strategic issues, including future EU applciations.