September 29th - October 2nd 2005 Nässlingen, Sweden
organised and funded by ARTIST
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.
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.