Schools and Seminars

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