CALL FOR PAPERS
(Updated April 27th)
Fourth SDL and MSC Workshop
Theme: Security Analysis and Modelling
2nd June to 4th June, 2004
(tutorials on 1st June, 2004)
The SDL and
(SAM) workshop provides an open discussion
arena in the year between SDL Forums, which are held every two
years. It addresses topics related to the modelling and analysis of
reactive systems, distributed systems, and real-time systems (e.g.
telecommunications, automotive, aerospace, Web-based applications).
This fourth instance of the workshop will emphasize Security Analysis and Modelling and will include:
audience includes users of modelling techniques (in industrial and
standardization contexts), tool
vendors, researchers, and SDL Forum members.
- Invited speakers
- Presentation of research and industrial papers
- Tool demonstrations
- Tutorials (June 1st)
- Excellent networking opportunities
Being a less formal
event than the biennial SDL Forum, the SAM
workshop is a place for intensive discussions enabling the
unfolding of ideas for the future development and application of
SDL and MSC, and of related languages: ASN.1, eODL,
TTCN, UML, and URN (GRL and UCM). Participants are invited
to contribute topics for discussion. Poster presentations and tool
are also warmly welcomed. As with the previous SAM workshop, the
proceedings will be published in a book
by a major international publisher (Springer's LNCS: Lecture Notes in
Computer Science) after
|Y. Lahav, J. Fischer, E. Holz, A. Wolisz, R.
|Y. Lahav, S. Graf, C. Jard
|Aberystwyth, Wales, UK
|E.M. Sherratt, U. Glässer, A. Prinz, R.
We propose to focus the workshop on the topics listed
below. However, contributions extending beyond this list and addressing
issues related to modelling languages and techniques (ASN.1, eODL, MSC,
UML, and URN) and applications to traditional
areas (e.g. telecommunications) will also be welcomed.
- Languages, notations, and techniques for the modelling and
analysis of security concerns and features.
- Evolving models to address security issues.
- Emerging application areas:
- Applications of UML and ITU-T languages to the automotive,
aerospace, hardware, Web-centric, and new telecommunication contexts.
- Evolution of languages and notations for requirements, design,
testing, analysis, and reverse-engineering:
- New language constructs and semantics.
- Evolution of standards.
- Evaluations of languages/notations.
- Time, performance, security, and other non-functional aspects.
- Languages to define language constructs and semantics.
- Language and notation interoperability.
- Model-driven development:
- Systems engineering
- Model analysis
- Model transformations
- Reuse approaches
- Systematic testing
- New research, industrial, and standardization issues regarding
system analysis and modelling.
papers will be published in the LNCS series (Springer), after the workshop. Bound
proceedings will be provided during the workshop. Accepted papers must
be presented at the workshop by one of the authors.
These papers must be unpublished and must not be submitted for
publication elsewhere. Submissions should not exceed 15 pages (on A4
size paper) and should use 12 pitch in a common font such as Times or
that are too long may be rejected without review.
Preliminary results on original approaches and well as industrial
contributions (e.g. case studies and lessons learned) that will trigger
are also welcomed.
All submissions must be in English. Electronic
submission via http://www.site.uottawa.ca/sam04/submit.html
is mandatory. Acceptable file
formats for initial electronic submission are PostScript (compressed)
and PDF. Authors should ensure that their paper is printable in other
systems around the world, since printing problems may jeopardize the
review process. Camera-ready copies of accepted papers will have to
adhere to the format outlined on the LNCS
(Springer) Web page and be sent in Latex (compressed). Authors who wish
to use the LNCS style for their initial submission are more than
welcome to do so.
Tutorials, Posters, and Tool Demonstrations
for tutorials on June 1st, including title, authors, duration (half day
or full day), and short description
(400 words maximum), should be sent to firstname.lastname@example.org
before April 16th.
for poster presentations, including title, authors, and short
(400 words maximum), or the poster itself, should be sent to email@example.com
before May 10th. Posters should not be larger than 12 pages (letter or
for tool demonstrations, including title, authors, and short
(400 words maximum) should be sent to firstname.lastname@example.org
before May 10th. Special requests for equipment should be included
it would be best to bring your own).
||Following the tradition
in at SAM'02, SAM'04 includes a Design Contest, sponsored by SAFIRE-SDL. This year's
application is an electronic access
control system. The deadline for submission of entries is May 31st. Three prizes (1500, 1000, and 500 Euros)
will be awarded to the winning entries. Details of the contest are
The descriptions and results of the 2002 and 2003 editions
of the contest are still available on-line.
Abstracts, initial submissions,
revised papers must be submitted electronically via our Cyberchair
Please contact Jacques Sincennes
regarding any technical problem.
for submission of title, authors, and
March 22, 2004
|Deadline for submission
of full paper
|Friday, April 16, 2004
for submission of
April 23, 2004
|Submission of poster and
|Monday, May 24, 2004
||Submission of revised papers for workshop proceedings
|To be determined
|Submission of LNCS camera-ready paper
is the capital city of Canada, with approximately one million
habitants. Placed at the confluence of three rivers, it has an
view, great outdoors, beautiful museums and many
other exciting attractions.
The weather is usually quite nice in June. Also known as Silicon-Valley North, Ottawa
is about 200 km from Montréal and 450 km from Toronto, with good
air, train and bus connections to both.
The University of Ottawa is a
major research centre in Canada, with a history of over 150 years and
nearly 30,000 students. The
School of Information Technology and Engineering (SITE) is a joint
school of Computer Science, Electrical Engineering, Software
Engineering, and Computer Engineering. The Workshop will take place in
its shining new building,
with good computer facilities and a food court, near sports
facilities and nice walks.
can be found at walking distance from the SITE building (see bottom of campus map).
More details on the venue...
SDL Forum Society
|University of Ottawa, Canada
||Norwegian University of
Science and Technology, Norway
| TransMeth Sud-Ouest, France
||France Telecom R&D, France
|Telelogic AB, Sweden
|Simon Fraser University,
||University of Kaiserslautern,
|Siemens AG, Germany
||Concordia University, Canada
||University of Oslo, Institute
for Informatics, Norway
|Martin von Löwis
||Eindhoven University of
||Agder University College,
||TSE Ltd, United Kingdom
||Fraunhofer FOKUS, Germany
||University of Wales
Aberystwyth, United Kingdom
|Stirling University, United
||University of Ottawa, Canada
All queries to the Organising Committee should be sent to: email@example.com