Schools and Seminars

The PhD school on quantivative model checking, QMC 2012, is organized by the European Network of Excellence ARTIST Design, the Danish VKR Center of Excellence MT-LAB and the IDEA4CPS research centre and takes place at the IT University Copenhagen from the 27 of February to the 1st of March 2012. It features lectures and other activities by world-renowned experts within the areas of real-time, probabilistic, and hybrid model checking.

Embedded systems must interact with their real-time environment in a timely and dependable fashion. Most embedded-systems architectures and design processes consider "non-functional" properties such as time, energy, and reliability as an afterthought, when functional correctness has (hopefully) been achieved. As a result, embedded systems are often fragile in their real-time behaviour, and take longer to design and test than planned. Several techniques have been proposed to make real-time embedded systems more robust, and to ease the process of designing embedded systems, including

Precision-timed and time-triggered architectures, to make time a first-class citizen of system design. Deterministic architectures for repeatable timing behaviour. Composability, which guarantees that the (non)-functional behaviour of components is unchanged on integration in a larger system.

The aim of this tutorial is to present the state of the art and major approaches to time-predictability and composability, such as BIP, TTA, PRET, PTIDES, Giotto, TipToe, and CompSOC.

The Summer School offers a number of foundational tutorials, accompanied by a selection of lectures on exciting emerging technologies and industrial applications - given by leading scientific and/or industrial experts.

The Summer School offers a number of foundational tutorials, accompanied by a selection of lectures on exciting emerging technologies and industrial applications - given by leading scientific and/or industrial experts.

Reducing buildings overall energy consumption, providing smarter power grids and optimizing industrial processes will play a key role in Future Energy Systems.

The school will show how distributed and pervasive sensing, monitoring and control are exploided to achieve this goal and will pose novel research challenges in the development of distributed applications related to generation, storage and efficient use of energy sources.

The course has two main objectives:
 Introducing the most important concepts and methodologies used to develop a real-time embedded system, including fundamentals of real-time scheduling, control and distributed systems;
 Showing how to apply these concepts in practice, using an embedded platform and a real-time operating system to developed simple control applications and make experience with wireless sensor networks.

1st International Master Class on Model-Driven Engineering

The Summer School offers a number of foundational tutorials, accompanied by a selection of lectures on exciting emerging technologies and industrial applications - given by leading scientific and/or industrial experts.

The Summer School offers a number of foundational tutorials, accompanied by a selection of lectures on exciting emerging technologies and industrial applications - given by leading scientific and/or industrial experts.

This summer school aims at providing a forum for graduate students, but also postgraduates, researchers, and professors, to get in-depth tutorials covering different aspects of the development cycle of embedded systems. This school is also an opportunity to share and discuss recent advances and trends in this field.

The proposed course has two main objectives:

• Introducing the most important concepts and methodologies used to develop a real-time embedded system, including fundamentals of real-time scheduling, control and distributed systems;
• Showing how to apply these concepts in practice, using an embedded platform and a real-time operating system to developed simple control applications and make experience with wireless sensor networks.

In the lectures, we will introduce a comprehensive set of state-based models as well as automatic procedures for their analysis. The exercise classes will complement this by providing hands-on experience with appropriate verification tools.

This fourth edition of the school seeks to continue strengthening the cooperation between Europe and South America in the area of embedded systems, both at educational and research levels. For this purpose, the goal of the school is to provide state-of-the-art courses on embedded systems oriented towards advanced students and young researchers. It should also provide a pleasant atmosphere for research-related discussions among the participants.

The PhD school on quantivative model checking, QMC 2010, is organized by the European Network of Excellence ARTIST Design and the Danish VKR Center of Excellence MT-LAB and takes place at the IT University Copenhagen from 2 to 5 March 2010. It features lectures and other activities by world-renowned experts within the areas of real-time, probabilistic, and hybrid model checking.

The Summer School offers a number of foundational tutorials, accompanied by a selection of lectures on exciting emerging technologies and industrial applications - given by leading scientific and/or industrial experts.

The School offers a number of foundational tutorials, accompanied by a selection of lectures on exciting emerging technologies and industrial applications - given by leading scientific and/or industrial experts.

The Summer School offers a number of foundational tutorials, accompanied by a selection of lectures on exciting emerging technologies and industrial applications - given by leading scientific and/or industrial experts.

A seminar for project officers in Brussels.

In the lectures, we will introduce a comprehensive set of state-based models as well as automatic procedures for their analysis. The exercise classes will complement this by providing hands-on experience with appropriate verification tools.

The course has two main objectives:
 Introducing the most important concepts and methodologies used to develop a real-time embedded system, including fundamentals of real-time scheduling, control and distributed systems;
 Showing how to apply these concepts to develop simple real-time control applications using an embedded platform specifically developed for education.

The Model-Driven Development for DistRibuted Embedded Systems spring school aims at helping researchers and industrial practitioners to understand and apply MDE approaches to the development of embedded systems thanks to a set of carefully selected lectures, performed by renown academic and industrial experts, about MDD practices, methods and emerging technologies.

The Summer School offers a number of foundational tutorials, accompanied by a selection of lectures on exciting emerging technologies and industrial applications - given by leading scientific and/or industrial experts.

Second edition of the ARTIST South American School.

ARTIST2 has organized the 3rd edition of a school on Embedded Systems Design in Shanghai. This year, the school was organized in collaboration with the SEI/ECNU and the LIAMA.

The course on Real-Time Kernels for Microcontrollers aims to introduce the basic concepts of Real-time Systems targeted to Embedded Systems, which are often implemented using microcontrollers. The course will briefly illustrate the theoretical background of real-time scheduling, resource-aware techniques, and wireless communication based upon the IEEE 802.15.4 protocol.

In the lectures, we will introduce a comprehensive set of state-based models as well as automatic procedures for their analysis. The exercise classes will complement this by providing hands-on experience with appropriate verification tools.

The course provides an account of state of the art theory and techniques that address the connection and integration of the areas of Control systems and Embedded systems.

Advanced engineering courses will be offered by the Swiss Federal Institute of Technology, Lausanne, Switzerland, during summer period 2007.

The International School on Foundations of Security Analysis and Design (FOSAD) has been one of the foremost events established with the goal of disseminating knowledge in this critical area. The main aim of the FOSAD school is to offer a good spectrum of current research in foundations of security - ranging from programming languages to analysis of protocols, from cryptographic algorithms to access control policies and trust management - that can be of help for graduate students and young researchers from academia or industry that intend to approach the field.

the LASER summer school (Laboratory for Applied Software Engineering Research), organized by ETH Zurich, brings together the concepts and practice of software engineering.

The purpose of the school is to foster the well established and dynamic research cooperations in the field of embedded systems between groups in Europe and South America, by allowing south-american students (specially graduate), to meet european researchers.

ARTIST2 will organize, in collaboration with UNU-IIST, the 2nd edition of a school on embedded systems design in Suzhou (near Shanghai).

In the lectures, we will introduce a comprehensive set of state-based models as well as automatic procedures for their analysis. The exercise classes will complement this by providing hands-on experience with appropriate verification tools.

The objective of the course is to provide an overview of the main principles and technologies for supporting the development of embedded control systems.

Training course on Real-Time Systems for Microcontrollers:  OSEK Standard and experiments on microcontroller devices Organised in conjunction with Evidence Srl

This Dagstuhl seminar will bring together experts in embedded software design and implementation, model-based analysis of quantitative system aspects, and researchers working on extending formal methods with quantitative system aspects.

ARTIST2 Winter School 2007 offers foundational tutorials and lectures on exciting emerging technologies and industrial applications - given by leading scientific and industrial experts.

Computing Architectures and Software Tools for Numerical Embedded Scalable Systems

Design course for multimillion-transistor Systems-on-Chip and other state-of-the-art embedded products. The course spans from purely digital-design topics to some compiler-related issues.

The International School on Foundations of Security Analysis and Design (FOSAD) has been one of the foremost events established with the goal of disseminating knowledge in this critical area. The main aim of the FOSAD school is to offer a good spectrum of current research in foundations of security - ranging from programming languages to analysis of protocols, from cryptographic algorithms to access control policies and trust management - that can be of help for graduate students and young researchers from academia or industry that intend to approach the field.

A goal of this summer school is to provide participants with the information needed to understand and apply MDE approaches to the development of embedded systems. The summer school will also include lectures from experts in academia and industry on topics related to MDE practices and methods, and to emerging MDA technologies.

Real-Time distributed embedded systems play a crucial role in our society including several application domains such as automotive, telecommunications, robotics, and multimedia systems. These systems generally work under precise timing constraints, to achieve the required level of performance and predictability. Consequently, embedded systems design requires expertise in several disciplines, including control theory, networking, real-time computing, and operating systems.

The first ARTIST / UNU-IIST Spring School gathered more than 50 participants, of which approximately 40 were students from the top universities in mainland China.

The objective of the Course is to provide an overview of the main principles and technologies for supporting the development of embedded control systems.

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

The objective of the school is to provide an overview of the main scheduling algorithms and resource management policies for supporting the development of predictable, as well as flexible, real-time systems with hard and soft timing constraints.