ARTIST2 Workshop on Basic Concepts in Mobile Embedded Systems |
organised and funded by ARTIST |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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.
Joint US-EU-TEKES workshop |
Workshop held under the auspices of NSF, the EU’s IST Program and Tekes, the Science and Technology Agency of Finland.
ARTIST2 Workshop on Requirements for Flexible Scheduling in Complex Embedded Systems |
organised and funded by ARTIST |
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 |
ARTIST2 Workshop on Specification and Verification of Secure Embedded Systems |
organised and funded by ARTIST |
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 |
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 |
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) Artist Consortium, All Rights Reserved - 2006, 2007, 2008, 2009