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)
Ottawa, Canada
http://www.site.uottawa.ca/sam04/
The SDL and MSC (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:
The intended 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
- Posters
- 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 demonstrations 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 the event.
Year
Location
Chairs
SAM 1998
Berlin, Germany
Y. Lahav, J. Fischer, E. Holz, A. Wolisz, R. Gotzhein
SAM 2000
Grenoble, France
Y. Lahav, S. Graf, C. Jard
SAM 2002
Aberystwyth, Wales, UK
E.M. Sherratt, U. Glässer, A. Prinz, R. Reed
We propose to focus the workshop on the topics listed below. However, contributions extending beyond this list and addressing other issues related to modelling languages and techniques (ASN.1, eODL, MSC, SDL, TTCN, UML, and URN) and applications to traditional areas (e.g. telecommunications) will also be welcomed.
- Security:
- 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
- Tool support
- New research, industrial, and standardization issues regarding system analysis and modelling.
Technical 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 similar. Papers 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 lively discussions 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.
Proposals for tutorials on June 1st, including title, authors, duration (half day or full day), and short description (400 words maximum), should be sent to sam2004org@sdl-forum.org before April 16th.
Proposals for poster presentations, including title, authors, and short description (400 words maximum), or the poster itself, should be sent to sam2004org@sdl-forum.org before May 10th. Posters should not be larger than 12 pages (letter or A4).
Proposals for tool demonstrations, including title, authors, and short description (400 words maximum) should be sent to sam2004org@sdl-forum.org before May 10th. Special requests for equipment should be included (although it would be best to bring your own).
Following the tradition started 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 available here.
The descriptions and results of the 2002 and 2003 editions of the contest are still available on-line.
Abstracts, initial submissions, and revised papers must be submitted electronically via our Cyberchair system (http://www.site.uottawa.ca/sam04/submit.html). Please contact Jacques Sincennes regarding any technical problem.
Friday, March 12, 2004
Deadline for submission of title, authors, and abstract
Monday, March 22, 2004
Deadline for submission of full paper Friday, April 16, 2004
Deadline for submission of tutorial proposals
Friday, April 23, 2004
Notification of acceptance Monday, May 10, 2004
Submission of poster and demonstration proposals
Monday, May 24, 2004 Submission of revised papers for workshop proceedings June 1, 2004 SAM Tutorials
June 2-4, 2004 SAM Workshop
To be determined
Submission of LNCS camera-ready paper
![[SITE-Building]](site-building2.jpg)
Ottawa is the capital city of Canada, with approximately one million habitants. Placed at the confluence of three rivers, it has an attractive 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.
Many accommodations can be found at walking distance from the SITE building (see bottom of campus map).
More details on the venue...
Daniel Amyot
School of Information Technology and Engineering
University of Ottawa
800 King Edward
Ottawa, ON, K1N 6N5 (Canada)
Email: damyot@site.uottawa.ca
Phone: (613) 562-5800 ext 6947
Fax: (613) 562-5664
Web: http://www.site.uottawa.ca/~damyot/Alan Williams
School of Information Technology and Engineering
University of Ottawa
800 King Edward
Ottawa, ON, K1N 6N5 (Canada)
Email: awilliam@site.uottawa.ca
Phone: (613) 562-5800 ext 6914
Fax: (613) 562-5664
Web: http://www.site.uottawa.ca/~awilliam/
Chairman Rick Reed TSE Ltd., UK rickreed@tseng.co.uk Treasurer Uwe Glässer Simon-Fraser University, Canada glaesser@cs.sfu.ca Secretary Andreas Prinz Agder University College, Norway
Andreas.Prinz@hia.no
B. Georges Sebek
TSB Councellor to Study Group 17 sebek@itu.int
Daniel Amyot
University of Ottawa, Canada
Rolv Bræk Norwegian University of Science and Technology, Norway
Laurent Doldi
TransMeth Sud-Ouest, France Olivier Dubuisson France Telecom R&D, France
Anders Ek
Telelogic AB, Sweden
Joachim Fischer Humboldt-Universität zu Berlin, Germany
Uwe Glässer
Simon Fraser University, Canada Reinhard Gotzhein University of Kaiserslautern, Germany
Susanne Graf Verimag, France
Peter Graubmann
Siemens AG, Germany
Ferhat Khendek Concordia University, Canada
Øystein Haugen University of Oslo, Institute for Informatics, Norway
Dieter Hogrefe Georg-August University Göttingen, Germany
Clive Jervis Motorola, USA
Martin von Löwis Hasso-Plattner Institute, Germany
Sjouke Mauw Eindhoven University of Technology, The Netherlands
Nikolai Mansurov Klocwork, Canada
Arve Meisingset
Telenor, Norway
Ostap Monkewich NCIT, Canada
Anders Olsen Cinderella, Denmark
Andreas Prinz Agder University College, Norway Rick Reed TSE Ltd, United Kingdom
Amardeo Sarma NEC, Germany
Ina Schieferdecker Fraunhofer FOKUS, Germany
Edel Sherratt University of Wales Aberystwyth, United Kingdom
William Skelton SOLINET, Germany
Ken Turner
Stirling University, United Kingdom
Thomas Weigert
Motorola, USA
Alan Williams University of Ottawa, Canada
All queries to the Organising Committee should be sent to: sam2004org@sdl-forum.org
![[SAFIRE-SDL]](safire_sdl_logo.gif){kind=logo}