Previous Schools and Seminars on Embedded Systems Design Organised by ARTIST The following schools have been organised by Artist FP5, the Artist2 FP6 Network of Excellence, and the ArtistDesign FP7 Network of Excellence: Modeling Wizards 2010 September 30th - October 2nd 2010 Oslo, Norway (within MODELS 2010) 1st International Master Class on Model-Driven Engineering ARTIST Summer School Europe 2010 September 5-10, 2010 Autrans (near Grenoble), France 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. ARTIST Summer School in 2010 July 18-23, 2010 Beida (Peking University) - Beijing, China The Summer School offers a number of foundational tutorials, accompanied by a selection of lectures on exciting emerging technologies and industrial applications - by leading scientific and/or industrial experts. ARTIST Summer School in Morocco 2010 – July 11-16, 2010 Morocco This summer school aims at providing a 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. ARTIST Graduate School on RT Kernels for Microcontrollers June 14-18, 2010 Scuola Superiore Sant’Anna - Pisa, Italy The course had 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. ARTIST Graduate Course: Automated Formal Methods for Embedded Systems 2010 – June 14-22, 2010 DTU - Lyngby, Denmark 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.
Previous Schools and Seminars on Embedded Systems Design Organised by ARTIST The following schools have been organised by Artist FP5, the Artist2 FP6 Network of Excellence, and the ArtistDesign FP7 Network of Excellence: Modeling Wizards 2010 September 30th - October 2nd 2010 Oslo, Norway (within MODELS 2010) 1st International Master Class on Model-Driven Engineering ARTIST Summer School Europe 2010 September 5-10, 2010 Autrans (near Grenoble), France 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. ARTIST Summer School in 2010 July 18-23, 2010 Beida (Peking University) - Beijing, China The Summer School offers a number of foundational tutorials, accompanied by a selection of lectures on exciting emerging technologies and industrial applications - by leading scientific and/or industrial experts. ARTIST Summer School in Morocco – 2010 July 11-16, 2010 Morocco This summer school aims at providing a 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. ARTIST Graduate School on RT Kernels for Microcontrollers June 14-18, 2010 Scuola Superiore Sant’Anna - Pisa, Italy The course had 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. ARTIST Graduate Course: Automated Formal Methods for Embedded Systems – 2010 June 14-22, 2010 DTU - Lyngby, Denmark 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.
D4-2-0-Y4_Spreading_Excellence.docx