IIT Home Page CNR Home Page

"ARTIST2" - Workshop on Security Specification and Verification of Embedded Systems

The objective of ARTIST2 is to strengthen European research in Embedded Systems Design, and promote the emergence of this new multi-disciplinary area. ARTIST2 will implement an international and interdisciplinary fusion of effort to create a unique European virtual centre of excellence on Embedded Systems Design. This interdisciplinary effort in research is mandatory to establish Embedded Systems Design as a discipline combining competencies from electrical engineering, computer science, applied mathematics, and control theory. The ambition is to compete on the same level as equivalent centres in the USA (Berkeley, Stanford, MIT, Carnegie Mellon), for both the production and transfer of knowledge and competencies, and for the impact on industrial innovation. One of the main objectives of the ARTIST2 Network of Excellence will be to gather together the best European teams from the composing disciplines, and to forge a scientific community. This objective will be achieved by integration around a Joint Programme of Activities, aiming to create critical mass from selected European teams. Building the embedded systems design scientific community is an ambitious programme. To succeed, ARTIST2 will build on the achievements and experience from the ARTIST1 FP5 Accompanying Measure (http://www.artist-embedded.org/) on Advanced Real-Time Systems. ARTIST1 provided the opportunity to test the concept of a two-level integration (within and between clusters) – four clusters in ARTIST2 originated as “actions” in ARTIST1. Building the ARTIST2 consortium and associated structure is the culmination of discussions and ambitions elaborated within ARTIST1. ARTIST2 will address the full range of challenges related to Embedded Systems Design, covering all aspects, ranging from theory through to applications. In this way, ARTIST2 is perfectly in line with the IST priority on embedded systems, and in particular with the focus area called “system design”.


Dal 18/05/2006 al 18/05/2006, Pisa


Note: Fabio Martinelli (Local Organization)