Workshops

RoSym 2010 is an international workshop focused on model based engineering (MBE) for the development of robotics systems.

In Conjunction with MODELS 2010 Conference

The UML and formal methods communities have been working for a number of years to produce a practical (via UML) and rigorous (via formal methods) approach to software engineering.

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. This third workshop will encourage new initiatives of building bridges between informal, semi-formal and formal notations.

Reliable WCET bounds are a necessary component for the construction and verification of dependable real-time systems. They are an input for doing task CPU allocation, creating task schedules, and performing schedulability analysis.

Developers of Real-Time Operating Systems (RTOS) are faced with many challenges arising from two opposing needs: extreme optimisation of resource usage (processor, energy, network bandwidth, etc.) and dynamic configuration, flexible scheduling, component-based development and deployment, etc. While real-time systems continue to be used in many small embedded applications, real-time services are being introduced and used in general-purpose operating systems. Notable examples are the various flavours of Linux that provide support to time-sensitive applications.

Research in real-time systems has gone very far from the initial seminal papers back in the 70s. Many algorithms, design methodologies, techniques and tools have been proposed, spanning several application areas, from RTOS to distributed systems, from safety critical to soft real-time systems. However, unlike other research areas (e.g., networking) there are no widely recognized reference tools or methodologies for comparing different research works in the area.

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.

13th International Workshop on Software and Compilers for Embedded Systems 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. The exploitation of specialized instruction set characteristics is as important as the development of new optimizations for embedded application domains. Cost criteria for the entire code generation and optimization process include runtime, timing predictability, energy dissipation, code size and others. Since today’s embedded devices frequently consist of a multi-processor system-on-chip, the scope of this workshop is not limited to single-processor systems but particularly covers compilation techniques for MPSoC architectures.

Combinatorial Optimization for Embedded System Design

The diffusion of embedded computing systems has grown in the last decade to almost reach ubiquity. From mobile phones and TV to cars and dishwashers, all electrically powered devices we commonly use everyday are digitally controlled by a programmable system. Over 99% of the microprocessors produced today are used in embedded systems, and quite recently the number of embedded systems in use has become larger than the number of humans on the planet. In parallel, a similarly wide technological leap sets new design challenges and new opportunities to exploit advanced combinatorial optimization methods.

Hybrid optimization methods, in particular, are a perfect candidate to deal with the detailed and complex problems involved in the design of modern systems and applications. This workshop represents an occasion to bring the world of digital system design closer to that of combinatorial optimization; such a meeting presents the chance to tackle new interesting problems, to devise and apply algorithmic methods and to disclose broad economic opportunities.

Interaction and Concurrency Experiences (ICEs) is intended as a series of international scientific meetings oriented to researchers in various fields of theoretical computer science. The timeliness and novelty of these events relies both on the variety of the topics that will be treated on each event and on the adopted paper selection mechanism.

Every experience will focus on a different specific topic which affects several areas of computer science. A thorough scientific debate among PC and authors of submitted papers will parallel the reviewing process. After the paper selection phase, papers will be published on the web and the discussion will be extended to perspective participants. The debates are meant to improve both the quality of the accepted papers and the reviewing process. Also, it will prepare and stimulate the scientific discussions during the event.

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

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.

The goal of this workshop is to strengthen the connections between academic research and industry, or to be more precise, to increase the understanding in the academic world of industrial issues in embedded systems engineering and together come to a shared agreement on research directions that seem worthwhile to pursue. The speakers at the workshop work at different medical companies or are participants in the ArtistDesign network with extensive experience in healthcare.

The workshop aims at bringingthe software generation and software synthesis communities together and at identifying research problems which should be addressed by the scientific community.

As embedded system designs grow more complex and the time to market diminishes, quality embedded systems education becomes more and more important. This fifth 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 NWPT series of annual workshops is a forum bringing together programming theorists from the Nordic and Baltic countries (but also elsewhere)

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.

The focus of the workshop is on energy efficiency as an alternative source of energy. Data shows that alternative energy sources alone are insufficient to meet the increasing demand. Higher efficiency is therefore required to address the energy problem, and is important also from an environmental point of view. Emphasis will be on addressing the problem from a system standpoint.

For over 20 years the series of International Real-Time Ada Workshop meetings has provided a forum for identifying issues with real-time system support in Ada and for exploring possible approaches and solutions, and has attracted participation from key members of the research, user, and implementer communities worldwide.

The objective of this workshop is to bring together researchers and practitioners interested in model-based software engineering for real-time embedded systems. We are seeking contributions relating to this subject at different levels, from modelling languages and semantics to concrete application experiments, from model analysis techniques to model-based implementation and deployment. Given the criticality of the application domain, we particularly focus on model-based approaches yielding efficient and provably correct designs. Concerning models and languages, we welcome contributions presenting novel modelling approaches as well as contributions evaluating existing ones.