Workshops and Seminars in 2008

This one-and-a-half day meeting was devoted to the identification of the industrial applications that are accessible to the ArtistDesign community and can provide a platform for the integration of the results of the joint activities of ArtistDesign. In the meeting we invited speakers from industry to present the future challenges they are facing.

In the past 50 years, the increase of computational power was often achieved by increasing the speed of a single processor. Today it is quite clear that this strategy is not practical anymore and multicore/multiprocessor platforms are becoming increasingly dominant. The workshop aims at stimulating the discussion on the mentioned topics by proposing selected presentation and dedicating a significant amount of time to discussion on open problems and fruitful research directions.

UML is the de facto standard for modelling various aspects of software systems in both industry and academia, despite the inconvenience that its current specification is complex and its syntax imprecise.

As embedded system designs grow more complex and the time to market diminishes, quality embedded systems education becomes more and more important. This fourth 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.

The workshop aims to discuss recent results on component-based design with emphasis on design frameworks for real-time systems encompassing heterogeneous composition and models of computation. The focus is not only on fundamental results but also on their implementation in methods and tools and their concrete application in areas such as automotive, avionics, consumer electronics and automation.

The objective is to bring together researchers and practitioners interested in model-based software engineering for real-time embedded systems, focusing on model-based approaches yielding efficient and provably correct designs. We welcome contributions presenting novel modelling approaches and languages, as well as contributions evaluating existing ones.

The goal of the workshop is to bring together people from academia, tool vendors and users in industry that are interested in all aspects of timing analysis for real-time systems. The workshop fosters a highly interactive format with ample time for in-depth discussions.

This workshop is intended as a forum for researchers and practitioners of RTOS to discuss the recent advances in RTOS technology and the challenges that lie ahead.

This workshop focuses on approaches that combine and relate symbolic and computational protocol analysis. Over the last few years, there has been a spate of research results in this area. One set of results establish correspondence theorems between the two models, in effect showing that for a certain class of protocols and properties, security in the symbolic model implies security in the computational model. In other work, researchers use language-based techniques such as process calculi and protocol logics to reason directly about the computational model. Several projects are investigating ways of mechanizing computationally sound proofs of protocols. The workshop seeks results in this area of computationally sound protocol analysis: foundations and tools.

MPSoC is a pluridisciplinary forum bringing together key R&D actors from the different fields required to design heterogeneous multiprocessor SoC (MPSoC).

MOVEP brings together researchers, students and people from industry working in the fields of control and verification of concurrent and reactive systems.

Component-based development aims of separation of development of components from systems, and reuse of existing components. This approach brings many (known) advantages, but also many challenges of which some are specific or in particular important for embedded systems. Since for embedded systems non-functional properties and resource constraints are of particular importance, this workshop focus on component-based approaches that ensure predictability of the system properties.

The aim of the workshop is to provide a forum for brainstorming and road-mapping the future of mapping applications to MPSoCs. Knowledge about constraints and directions for future MPSoC architectures should be collected. Existing mapping techniques should be briefly presented and analyzed. Directions for future research should be proposed and evaluated.

IEEE Third Symposium on Industrial Embedded Systems

Adaptive systems can respond to environmental changes including hardware/software defects, resource changes, and non-continual feature usage. As such, adaptive systems can extend the area of operations and improve efficiency in the use of system resources. However, adaptability also incurs overhead in terms of system complexity and resource requirements. The purpose of the workshop is to discuss new and on-going research that is centered on the idea of adaptability as first class citizen and consider the involved tradeoffs.

Model-driven High-level Programming of Embedded Systems,SLA++P’2008

All aspects of the representation, analysis, and implementation of Distributed, Real-time and Embedded systems (DRE) system behaviour and/or architecture models.

SCOPES focuses on the software generation process for modern embedded systems. Topics of interest include all aspects of the compilation process, starting with suitable modeling and specification techniques and programming languages for embedded systems. The emphasis of the workshop lies on code generation techniques for embedded processors.

Timing Analysis activity meeting within the Compilers and Timing Analysis cluster of ARTIST2 (in conjunction with the DATE’08 conference)

Automotive - one of Europe’s most exciting and dynamic design and manufacturing sectors - relies on an ever-expanding range of leading-edge electronics technologies. Over the past years, the volume of electronics content in the modern car has ballooned from ist engine control and antilock braking systems origins. It now encompasses in-vehicle navigation systems, adaptive cruise control, and lane departure warning systems. And we will soon see lane keeping assistants, intelligent speed adaptation, night vision assistance and automatic parking. So, not surprisingly, more than 80% of the innovation in new cars is electronics-based. Moreover, industry analysts forecast that the cost of the electronics in a typical mid-sized car will account for about 40% of ist total manufacturing cost by 2010.