ArtistDesign NoE

diapo

axome — 2006-05-16T09:01:29Z

60. démo avec document distants

axome — 2006-05-15T11:42:43Z

Lorem ipsum dolor sit amet, consectetuer adipiscing elit, sed diam nonummy nibh euismod tincidunt ut laoreet dolore magna aliquam erat volutpat. Ut wisi enim ad minim veniam, quis nostrud exerci tation ullamcorper suscipit lobortis nisl ut aliqu les documents suivant sont distants (pas sur le serveur) : - 10. Démonstration

Welcome researchers !

axome — 2006-05-11T17:15:29Z

- 20. RESEARCHERS

20. Objectives and Scope

axome — 2006-05-10T11:42:29Z

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.

The workshop aims to gather together researchers from computer science and electrical engineering and will seek a synthesis between the the underlying paradigms and techniques. 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 workshop will address specific challenges such as:

Foundations and Expressiveness of System Description Formalisms
- What are the basic concepts for describing components?
- What types of component interaction that are directly supported?
- What kind of resources can be modeled and are they first class citizens of the formalism (energy, memory, time, ...)?
- How do you think the following models, styles and design principles are interrelated and can be combined:
  - synchrony vs. asynchrony
  - event-triggered/data-triggered/time triggered
  - separation of concerns

Component-based Design, Methods and Tools
- What kind of analysis methods are or should be supported?
  - Compositional verification techniques
  - resource usage (such as energy, time, memory)
- What kind of design methods are or should be supported?
  - property preserving structuring principles
  - refinement/implementation relations

- What kind of tradeoffs between predictability and efficiency can be exploited?
- What kind of implementation methodologies do the proposed formalisms support and what kind of tools are or could be made available?

Application Scenarios and Relevant Case Studies
- What kind of applications have been or should be looked at that illustrate the above issues?

Format

The workshop will be comprised of invited and contributed presentations, as well as dedicated discussion sessions, ordered according to the topics given above.

50. Organisation

axome — 2006-05-09T18:01:02Z

Programme Co-Chairs

Richard Paige (University of York)
Phil Brooke (University of Teesside)

Programme Committee

Simon Dobson (UC Dublin, Ireland)
Jin Song Dong (NUS, Singapore)
Chris Gill (Washington University, USA)
Michael Gonzalez Harbour (University of Cantabria, Spain)
Jeremy Jacob (University of York, UK)
Jeff Magee (Imperial College, UK)
Bertrand Meyer (ETH Zurich, Switzerland)
Piotr Nienaltowski (ETH Zurich, Switzerland)
Jonathan Ostroff (York University, Canada)
Jan Vitek (Purdue, USA)
Alan Wood (University of York, UK)
Jim Woodcock (University of York, UK)

Supporters and Sponsors

10. Overview

axome — 2006-05-09T17:49:21Z

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. There is also increasing interest in extending languages that support these formal techniques to support the production of concurrent, real-time, and distributed systems. Some of these extensions build on threading libraries; other extensions are more non-standard. For example, one proposal for extending Eiffel is SCOOP (Simple Concurrent Object-Oriented Programming), a novel concurrency mechanism that adds a single keyword, separate, to the language, while supporting asynchronous calls and lazy evaluation. This proposal is fully integrated with the Eiffel language, in terms of its support for Design-by-Contract.

These extensions pose a number of challenging research questions, both theoretical and practical. Practical questions include efficient design and implementation of a concurrency model while allowing extension to real-time and multi-processor distribution. Theoretical questions include how to extend reasoning and analysis frameworks to support concurrency, real-time and distribution. A key goal in attempting to address these questions is to formulate sensible, practical answers to them while maintaining the design principles that are ever-present in the underlying language. Answering these questions will influence the design and evolution of the languages, but will likely also have a wider impact, on the study of concurrency and real-time in middleware and infrastructure, e.g., Enterprise JavaBeans and .NET.

There have been previous workshops and conferences focusing on formal techniques in object-oriented programming, and also on concurrency in object-oriented programs. This is the first event to focus specifically on concurrency, real-time and distribution extensions for object-oriented languages supporting formal techniques.

To this end, original research contributions are sought in all areas related to extending Eiffel-like languages to concurrent, real-time, and distributed systems development. Topics of interest include, but are not limited to:

Semantics of models of concurrency in Eiffel-like languages, e.g., formal specifications of SCOOP, threading extensions to Spark.
Implementations of models of concurrency in Eiffel-like languages, e.g., implementations of SCOOP, active objects implementations in C#. This would also include extensions to analysis tools, e.g., Spec#, for concurrency.
Designs and implementations of alternative models of concurrency in Eiffel-like languages, e.g., active objects.
Real-time extensions to Eiffel-like languages, including topics such as duels, timing analysis, and schedulability.
Distributed extensions to Eiffel-like languages (both library-based and language-based), including handling security, exception handling, and garbage collection.
Reasoning about concurrent programs in Eiffel-like languages, e.g., proof systems, refinement rules, model checking support.
Case studies in implementing concurrent systems in Eiffel-like languages.
Empirical/quantitative comparisons of concurrency models in Eiffel-like languages
Comparisons of concurrency in Eiffel with other languages, e.g., Java, Ada, C++.

footer

axome — 2006-05-09T17:24:18Z

Become an Affiliated Partner — Site Map — Access the Back End

copy

axome — 2006-05-09T17:23:38Z

article yoyo

axome — 2006-05-09T15:19:19Z

Lorem ipsum dolor sit amet

consectetuer adipiscing elit, sed diam nonummy nibh euismod tincidunt ut laoreet dolore magna aliquam erat volutpat. Ut wisi enim ad minim veniam, quis nostrud exerci tation ullamcorper suscipit lobortis nisl ut aliquip ex ea commodo consequat. Duis autem vel eum iriure dolor in hendrerit in vulputate velit esse molestie consequat, vel illum dolore eu feugiat nulla facilisis at vero eros et accumsan et iusto odio dignissim qui blandit praesent luptatum zzril delenit augue duis dolore te feugait nulla facilisi.

Lorem ipsum dolor

sit amet, consectetuer adipiscing elit, sed diam nonummy nibh euismod tincidunt ut laoreet dolore magna aliquam erat volutpat. Ut wisi enim ad minim veniam, quis nostrud exerci tation ullamcorper suscipit lobortis nisl ut aliquip ex ea commodo consequat. Duis autem vel eum iriure dolor in hendrerit in vulputate velit esse molestie consequat, vel illum dolore eu feugiat nulla facilisis at vero eros et accumsan et iusto odio dignissim qui blandit praesent luptatum zzril delenit augue duis dolore te feugait nulla facilisi.

euismod tincidunt ut laoreet dolore magna aliquam erat volutpat. Ut wisi enim ad minim veniam, quis nostrud exerci tation ullamcorper suscipit lobortis nisl ut aliquip ex ea commodo consequat. Duis autem vel eum iriure dolor in hendrerit in vulputate velit esse molestie consequat, vel illum dolore eu feugiat nulla facilisis at vero eros et accumsan et iusto odio dignissim qui blandit praesent luptatum zzril

10. Artist2

axome — 2006-05-09T14:51:29Z

- 10. ARTIST2