[SystemSafety] Fwd: [Concurrency] CALL FOR PAPERS - FM-RAIL-BOK WORKSHOP 2013

From: Peter Bernard Ladkin < >
Date: Sat, 30 Mar 2013 19:22:07 +0100

CALL FOR PAPERS    FM-RAIL-BOK WORKSHOP 2013

   23-24 September 2013, 2013, Madrid, Spain    http://ssfmgroup.wordpress.com

   A workshop in SEFM'13
   September 25-27, 2013, Madrid, Spain
   http://antares.sip.ucm.es/sefm2013/

MOTIVATION AND SCIENCE-PHILOSOPHICAL BACKGROUND    Formal methods in software science and software engineering have    existed at least as long as the term “software engineering” (NATO    Science Conference, Garmisch, 1968) itself. In many    engineering-based application areas, such as in the railway domain,    formal methods have reached a level of maturity that already enables    the compilation of a so-called body of knowledge (abbreviated as    “BOK”). Its various methods and techniques include algebraic    specification, process-algebraic modelling and verification, Petri    nets, fuzzy logics, etc. For example, the B-method has been used    successfully to verify the most relevant parts of a model of the    Metro underground railway system of the city of Paris    (France). Software tool support is already available for a number of    those formal methods; for example in the form of various model    checker or SAT solver programs.

   In this context, our workshop shall bring together scientists,    researchers and practitioners, from academia, the industry,    professional guildes and engineering associations, national or    international standardisation committees, as well as governmental or    administrative regulators to re-collect and discuss the “state of    the art” in the application of formal methods within the railway    domain (including inner-city tram lines, urban mono-rail systems,    etc., too). Thereby we shall adopt a methodological viewpoint based    on Vincenti’s book "What Engineers know and how they know it:    Analytical Studies from Aeronautical History, John Hopkins    University Press, 1990". This book contains a science-historical and    science-philosophical analysis of what it is that constitutes    engineering knowledge (and the related practice) specifically, in    other words: an epistemology of engineering. The development of the    above-mentioned handbooks as an explicit recording of such knowledge    is part of Vincenti’s epistemology.

SUBMISSION    Our workshop calls for short position papers with strong emphasis on    methodologically sound “BOK” contents and case-based “best practice”    knowledge in the spirit of classical engineering handbooks.

   Such papers, which will be reviewed and moderated by the workshop’s    programme committee, must not exceed 6 pages in the IEEE    double-column conference format

     http://www.ieee.org/conferences_events/conferences/publishing/templates.html

   and must be submitted via our EasyChair Submission Website

     http://www.easychair.org/account/signin.cgi?conf=fmrailbok2013

   no later than the stipulated submission deadline. Submissions which    do not meet these requirements will be rejected without review.

IMPORTANT DATES:    Paper submission deadline: 14 June 2013    Author notification: 5 July 2013
   Re-submission of revised accepted papers: 16 August 2013    Distribution of revised papers amongst registered participants: 2 September 2013    Workshop in Madrid: 23-24 September 2013    Thereafter: post-discussions and further work towards the planned book release

WORKSHOP CO-CHAIRS    Anne Haxthausen, Technical University of Denmark    Markus Roggenbach, University of Swansea, Great Britain    Stefan Gruner, University of Pretoria, South Africa    Tom Maibaum, McMaster University, Canada

PROGRAMME COMMITTEE (confirmation status: 21 March 2013)

   Martin Brennan, British Rail Safety Standards Board    Simon Chadwick, Invensys Rail, Great Britain    Lars-Henrik Eriksson, Uppsala University, Sweden    Alessandro Fantechi, University of Firenze, Italy    Michaela Huhn, Technical University of Clausthal, Germany    Hoang Nga Nguyen, University of Swansea, Great Britain    Jan Peleska, University of Bremen, Germany    Holger Schlingloff, Humboldt-University of Berlin, Germany    Kenji Taguchi, AIST, Japan

   Helen Treharne, University of Surrey, Great Britain
   Laurent Voisin, Systerel, France
   Kirsten Winter, University of Queensland, Australia

WORKSHOP FORMAT    Our workshop is planned as a workshop in the proper sense of the    word, i.e.: it will be work-oriented, not    presentation-oriented. During the workshop, smaller sub-groups will    work on various sub-topics, whereas plenum sessions will bring the    sub-groups and their sub-results together again.

   For the sake of effective working during the event, all accepted    papers will be distributed amongst the registered participants    already before the event. Participants are expected to study these    papers before the workshop, such that the discussions and sub-groups    can commence effectively from the first hour of the meeting onwards.

   Soon after the workshop, its work results (proceedings) shall be    published first in the form of an institutional technical    report. Thereafter the technical report shall be further “polished”    and consolidated, with the goal of publishing an authoritative BOK    book on the chosen topic, with a reputable publisher, in the    not-too-far future.

   In case of good success, similar BOK preparation workshops are    planned for the future on other (yet similar) topics, for example:    formal methods for aviation software, or formal methods for    automobile applications, etc. In the long term, this could lead to a    multi-volume series of such BOK books on various topics.

PUBLICATION    According to our workshop’s goal and format we follow a 3-phase    publication plan with informal distribution of accepted papers    amongst registered workshop participants before the workshop,    official release of an institutional technical report soon after the    workshop, publication of a refined and consolidated BOK book in the    not-too-far future, after the technical report, with a reputable    scientific publisher.



Concurrency mailing list
Concurrency_at_xxxxxx
http://listserver.tue.nl/mailman/listinfo/concurrency

The System Safety Mailing List
systemsafety_at_xxxxxx Received on Sat Mar 30 2013 - 19:22:17 CET

This archive was generated by hypermail 2.3.0 : Thu Apr 25 2019 - 04:17:05 CEST