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

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

30. Main Research Trends

Bengt Jonsson — 2006-09-06T09:36:57Z

To meet the research goals of the cluster, the following research trends within the scope of the RTC cluster have emerged as being of particular importance:

Developing a proposal for a UML-based profile, which defines model constructs for modelling and analysising of real-time and embedded systems. Special focus is put on representing resources, timing, RT/E qualities of service, communication modes, execution modes, component model.
Integrating tool support for different development activities, including at least tools to model systems, and to analyse and predict system properties.
Specifying and determining extra-functional properties of components and component-based systems, in particular timing, performance, QoS, memory, power and other resource consumption. Particular problems include capturing the dependency on the characteristics of the underlying platform in a modular way, and specifying many different extra-functional properties simultaneously in a both modular and consistent manner.
Handling heterogeneous system descriptions combining in a mathematical sound way the above functional and extra-functional properties as well as system design aspects produced by different teams at different stages of systems development. This is essential in allowing for a seamless transmission of the different design aspects (safety analysis, functional design, architecture dimensioning for performance, etc) between the different teams.

An emerging research is the field of mobile embedded systems in new domains like pervasive computing but also in traditional domains like automation and process control. The time has come to integrate existing knowledge in the field of real-time systems, real-time systems, dependable systems, modelling and component design into the paradigm of mobile embedded systems. ARTIST2 will consider this trend in the activity on Seeding new Research Directions.

Jonsson

Bengt Jonsson — 2006-08-08T09:11:54Z

- 30. Core Team Leaders / Strategic Management Board, Strategic Management Board, Modeling and Validation, Real-Time Components, Intercluster activity: Design for Predictability and Performance

30. Real Time Systems

2006-07-04T08:11:07Z

The journal Real-Time Systems publishes papers that concentrate on real-time computing principles and applications, which may be research papers, invited papers, project reports and case studies, standards and corresponding proposals for general discussion, and a partitioned tutorial on real-time systems as a continuing series. Much of the work in building sophisticated, modern real-time systems is interdisciplinary in nature and is often found scattered throughout the primary literature.

Real-Time Systems provides a single-source coverage of the state of the art in this exciting and expanding field. The editorial board, the writers and the readers of the journal are drawn from all parts of the world, from industry, and from academia.

Papers published in Real-Time Systems cover, among others, the following topics: requirements engineering, specification and verification techniques, design methods and tools, programming languages, operating systems, scheduling algorithms, architecture, hardware and interfacing, dependability and safety, distributed and other novel architectures, wired and wireless communications, wireless sensor systems, distributed databases, artificial intelligence techniques, expert systems, and application case studies. Applications are found in command and control systems, process control, automated manufacturing, flight control, avionics, space avionics and defense systems], shipborne systems, vision and robotics, pervasive and ubiquitous computing, and in an abundance of embedded systems.

See it online!

ArtistDesign NoE

20. Programme

Programme

Thursday September 29

Friday September 30

Saturday October 1

Sunday October 2