Workshops and Seminars in 2006

Past Workshops and Seminars in 2006 on Embedded Systems Design

  • ARTIST2 Workshop on Basic Concepts in Mobile Embedded Systems

    		 organised and funded by Artist
    December 4-5, 2006      Vienna - Austria
    It is the objective of this workshop to elaborate the basic concepts on mobile embedded systems based on existing approaches in distributed, real-time, and dependable systems.

  • Synchron 2006

    		 sponsored by Artist
    November 27th - December 1st 2006      Alpe d'Huez, France
    This workshop is devoted to all aspects of synchronous programming: languages, compiling techniques, formal methods, programming environments, execution platforms, semantics issues, code generation.

  • ARTIST2 Workshop on Timing Analysis in the Industrial Development Process (ISoLA 2006)

    		 organised and funded by Artist
    November 17th, 2006      Paphos, Cyprus
    1-day workshop. This Special Track will be concerned with questions around the integration of timing analysis in the industrial development process.

  • MoCC - Models of Computation and Communication

    		 organised and funded by Artist
    November 16-17, 2006      Zurich, Switzerland
    Communication and cooperation between several disciplines: software and hardware but also computer science and engineering, real-time and distributed systems, telecommunication, control and signal processing.

  • Artist2 - Foundations and Applications of Component-based Design

    		 organised and funded by Artist
    October 26th, 2006      Seoul, South Korea
    The workshop gathered researchers from computer science and electrical engineering to discuss recent results on component-based design with emphasis on design frameworks for real-time systems encompassing heterogeneous composition and models of computation. Especially frameworks for handling non-functional and resource constraints, design under conflicting dependability criteria, trade-offs between average performance and predictability.

  • WESE’06 - Embedded Systems Education

    		 organised and funded by Artist
    October 26th, 2006      Seoul, Korea
    This second workshop on the subject aims to bring researchers, educators, and industrial representatives together to assess needs and share design, research, and experiences in embedded systems education.

  • ATVA China 2006

    		 organised and funded by Artist
    October 23-26, 2006      Beijing, China
    The purpose of ATVA is to promote research on theoretical and practical aspects of automated analysis, verification and synthesis in East Asia by providing a forum for interaction between the regional and the international research communities and industry in the field.

  • ATVA China 2006

    		 organised and funded by Artist
    October 23-26, 2006      Beijing, China
    The purpose of ATVA is to promote research on theoretical and practical aspects of automated analysis, verification and synthesis in East Asia by providing a forum for interaction between the regional and the international research communities and industry in the field.

  • JTRES 2006

    		 sponsored by Artist
    October 11-13, 2006      Paris, France
    Real-time and Embedded Java
    This workshop seeks to identify remaining challenging problems remaining to be solved, and to report results and experience gained by researchers.

  • MARTES 2006

    		 sponsored by Artist
    October 2nd, 2006      Genova, Italy
    This workshop gathers researchers and industrial practitioners to survey modeling and model-based analysis of distributed, real-time and embedded systems.

  • CORDIE’06: Concurrency, Real-Time and Distribution in Eiffel–like Languages

    		 organised and funded by Artist
    July 4-5, 2006      York, UK
    There is increasing interest in the use of formal techniques in object-oriented programming languages, e.g., contracts in Eiffel, JML/Java, Spec#/C#, and Spark/Ada. The intent behind the use of these techniques is, amongst other things, to support automated analysis (e.g., theorem proving, model checking, simulation), and improve documentation and reusability.

  • ARTIST2 Workshop on Requirements for Flexible Scheduling in Complex Embedded Systems

    		 organised and funded by Artist
    June 16th, 2006      Paris (Massy), France
    As the complexity of embedded applications evolves, the gap between their timing requirements and the scheduling services provided by real-time operating systems increases. Today’s systems require a mixture of quality of service, hard and soft real-time, and multiple resource management, which bring the need for raising the level of abstraction of the scheduling services.

  • ARTIST2 Workshop on Execution Platforms / Cluster Meeting

    		 organised and funded by Artist
    May 22-23, 2006      Bologna, Italy

  • ARTIST2 Workshop on Specification and Verification of Secure Embedded Systems

    		 organised and funded by Artist
    May 18th, 2006      Pisa, Italy
    The program included invited talks, regular talks and plenty of time for discussion. The workshop focused on the formal specification and verification of security properties, and in particular on the specification and formal verification of security protocols.

  • ARTIST2 Workshop Beyond AutoSar

    		 organised and funded by Artist
    March 23-24, 2006      Innsbrück Austria
    This workshop will gather key industry players from AUTOSAR and key scientists to discuss fundamental issues for embedded automotive systems design. It will consist of industrial presentations and in-depth technical panel discussions.

  • ARTIST Workshop at DATE’06

    		 organised and funded by Artist
    March 10th, 2006      Munich, Germany
    The workshop presented relevant, innovative, and holistic topics in communication-centric systems, sensor networks, dynamic real-time architecture, distributed computing, minimal operating systems, and self-organisation. More generally, these workshops aim to extend existing links between related multi-disciplinary communities, through world-class presentations and discussion on cutting-edge topics.
(c) Artist2 Consortium, All Rights Reserved - 2006
Réalisation Axome - Création de sites Internet