FORMS/FORMAT 2010 Flyer - Technische Universität Braunschweig

REGISTRATION & PAPER SUBMISSION
Registration for symposium and tutorium is available via the FORMS /
FORMAT website (www.forms-format.de). In addition the website
provides all needed information about the conference, how to get
there, where to find accommodation, as well as templates for paper
submission and online forms to submit a paper.
1 0th
FORMS / FORMAT
201 4
Second
LOCATION & VENUE
The Symposium will take place near the city of Braunschweig at
the new NFF Building (Lower Saxony automotive research
centre).
Supported by Lower Saxony’s state government and
Volkswagen AG, the NFF was founded as an interdisciplinary
research centre in 2007 to establish the research region
Braunschweig as the leading location for internationally
renowned automotive research. It is the basis for effective
cooperation between science and industry and their research.
The research programme of the Automotive Research Centre
Niedersachsen is based on the concept of the Metropolitan Car
and focuses on the development of future, vehicle-related
technologies and usage models to sustainably meet the
individual mobility requirements in urban centres.
The buildings located at the Braunschweig Research Airport is
the newest branch of the NFF just opened in 201 4. It includes
experimental facilities and a project house for project-related
scientific cooperation, mainly focussing on "Low-Emission
Vehicles" and "Flexible Vehicle Concepts and Vehicle
Production". Braunschweig has 250.000 inhabitants and is the
second largest city in Lower Saxony. If you visit Braunschweig,
you will have the chance to discover the Dankwarderode Castle,
the Cathedral, the Rizzi-Haus, and many more attractions of the
city.
The University can trace its evolution through several academic
institutions, dating back to 1 745. The present flourishing activity
is based not only on the responsiveness to the needs of a
continuously changing world, but also on more than 200 years of
experience and tradition that provides a guaranteed basis for
high-quality engineering studies and research.
EVENING RECEPTION AT THE PALÄON
The evening reception of the 1 0th FORMS/FORMAT Symposium
will be held at the paläon, Schöningen. The paläon offers an
impressive exhibition, a journey through time, and a research
centre. While the FORMS/FORMAT Symposium offers an insight
into the latest technology of today, the paläon exhibition provides
a look into the technology 300.000 years ago. The highlight of
the Paläon exhibition are the 300.000 years old spears, a
worldwide sensation.
Call for Papers
Ex
25th
Anniversary
Prof. Dr.-Ing. Dr. h.c. mult.
Eckehard Schnieder
Langer Kamp 8
381 06 Braunschweig
Deutschland
Tel. +49 (0) 531 391 -331 7
Fax +49 (0) 531 391 -51 97
[email protected]
http://www.iva.ing.tu-bs.de
e
d
n
te
e
D
d
e
n
i
l
ad
Formal Methods
for Automation and Safety
in Railway and
Automotive Systems
Syposium, Tool Exhibition and
Tutorium
in Braunschweig (Germany)
30th September 2nd October 201 4
www.forms-format.de
[email protected]
Under the patronage of the Lower
Saxon Ministry for Science and Culture
INVITATION
The organizing committee has the pleasure to invite you to
participate in the FORMS/FORMAT 201 4 Symposium on Formal
Methods for Automation and Safety in Railway and Automotive
Systems. After nine successful events of the last sixteen years,
organized commonly by the Institute for Traffic Safety and
Automation Engineering (iVA), TU Braunschweig and the
Department of Control and Transport Automation, Budapest
University of Technology and Economics, the subsequent tenth
FORMS/FORMAT symposium will take place in Braunschweig,
Germany, from September 30th to October 2nd 201 4. The
anniversary event of FORMS/FORMAT also has the honor to
be the first symposium held at the new NFF building near
Braunschweig airport in combination with 25th anniversary of the
iVA.
AIMS AND SCOPE
Complexity in automation (systems) and safety systems in
railway as well as automotive applications are governed more
and more by formal description means, methods and tools. Next
to correctness and integrity checkups – especially for safety
relevant systems – formal techniques provide the possibility to
model, prove, simulate and check the specification of the system
as well as to generate the system implementations.
Requirements of the CENELEC- and IEC/ISO-Standards on
formal techniques, particularly with regard to the handling of
safety and dependability analysis, are to be treated in
FORMS/FORMAT 201 4. The main focus lies on topics facing
formal techniques for railway applications and intelligent
transportation systems as well as for automotive applications.
Gained findings, experiences and also difficulties associated with
the handling of the subject matter as well as description means
and tools are to be shown.
TUTORIUM
For attendees who wish to spice up their knowledge on formal
methods and their supporting tools, a half day tutorium will be
held at the conference on the 30th September. Attendance is
limited to 30 people. If you are interested in participating in the
tutorium register at our website (www.forms-format.de) or contact
us via e-mail.
TOOL EXHIBITION & COMPANY APPEARENCE
We would like to offer the possibility for tool providers and
companies to appear on the Symposium to present their
products. For this purpose a separate publication is planned in
which companies can introduce themselves. This publication will
be delivered to each symposium participant.
REGISTRATION FEE
1 incl. Catering, Proceedings and Evening Event
2 incl. Catering and Evening Event
TOPICS OF THE SYMPOSIUM
A
Notation Means and Methods for Concepts, Design,
Modelling, Implementation and Operation
DEADLINES
June 1 st, 201 4
formal means of description as UML/SysML, Petrinets and
others modelling techniques, simulation, quantification and
metrics, and further topics of relevance
September 30th, 201 4
system and functional validation, automated verification and
testing, model based testing tools, limits of formal methods,
tools, and further topics of relevance
INVITED SPEAKER
B
Verification, Validation and Testing Methods
C
Safety Engineering
D
Security Engineering
E
Requirements Engineering, Ontology and
Terminology
reliability, availability and maintainability, methods for risk and
hazard analysis; risk acceptance, risk measures, evaluation of
RAMS-Parameter, risk mitigation, tools, and further topics of
relevance
vulnerability of traffic infrastructure, vehicle security,
communication security, tools, and further topics of relevance
knowledge engineering, requirements management,
identification, analysis, validation, ontology and terminology
development, tools, and further topics of relevance
F
Human Factors and Human Behaviour Modelling
G
Legal framework and Standardisation
H
Applications, Demonstrations and Case Studies
learning, manipulation, human in the loop, FCR-modelling and
further topics of relevance
directives, laws, regulations, standards and norms, certification
and further topics of relevance
driver assistance systems, signalling systems, control of driving
dynamic systems, application of standards, and further topics of
relevance
AND FURTHER
Tool Exhibition & Company Appearances
tools and services for requirements engineering, model-based
design, model verification and validation, testing, and further
topics of relevance
CALL FOR PAPERS
Prospective authors are invited to submit original and unpublished
contributions for regular and poster sessions electronically (LaTeX or
Word file). All submitted contributions must be full draft papers,
written in English and limited to 8 pages. Style sheets can be
obtained from the website. When submitting your draft paper, include
a cover page with a short abstract, indicate the desired type of
session (regular or poster) and intended scope as well as the authors´ names, title, affiliation and the address, phone and fax
numbers and e-mail address of the contact author. The submission
deadline for all contributions is terminated 1 5th May, 201 4. The
contributions will be reviewed and the final version of all accepted
papers (invited, regular and poster) will be published in the
established symposium proceedings series on Elsevier
Publications .
We are instituting best paper and best presentation awards to
recognize and promote quality contributions to research and writing
among professionals who present at the symposium.
July 1 5th, 201 4
Submission of full draft papers
(Deadline extended)
Notification of acceptance
August 1 st, 201 4 Submission of final papers
Tutorium on Formal Methods
September 30th - FORMS/FORMAT 201 4 Symposium
October 2nd, 201 4
Prof. Dr. J. Leohold - Executive Director of Research,
Volkswagen AG (D)
Dr. T. Schaller - Head of Department Scientific Bases,
Federal Office of Transport (CH)
Prof. Tao Tang - National Railway Research Centre,
Beijing Jiaotong University (CN)
SCIENTIFIC COMMITTEE CHAIRS
Prof. Dr.-Ing. Dr. h.c. mult. E. Schnieder
Technische Universität Braunschweig (D)
Institute for Traffic Safety and Automation Engineering
Prof. Dr.-Ing. habil. G. Tarnai
Budapest University of Technology and Economics (HU)
Faculty of Transportation Engineering
PROGRAMM COMMITTEE MEMBERS
Dr. M. Antoni - SNCF (F)
Prof. Dr. J. Axmann - Volkswagen AG (D)
Prof. Dr. J. Beyerer - Frauenhofer IOSB (D)
K. Bosch - TÜV Süd Rail (D)
Prof. Dr. J. Braband - Siemens AG (D)
Prof. Dr. W. Damm - Technische Universität Oldenburg (D)
Prof. Dr. P. Díez - Universitat Politècnica de Catalunya (E)
Dr. E.-M. El-Koursi - IFSTTAR (F)
Dr. K.-R. Hase - Deutsche Bahn AG (D)
Assoc. Prof. Dr. A. Haxthausen - Technical University of Denmark (DK)
S. Hiraguri - RTRI (J)
Prof. Dr. Y. Hirao - Nagaoka University of Technology (J)
Prof. A. Janota - University of Žilina (SK)
Prof. Dr. K. Lemmer - Deutsches Zentrum für Luft und Raumfahrt - DLR (D)
Prof. Dr. N. Leveson - Massachusetts Institute of Technology (USA)
Prof. Dr. A. Pretschner - Technische Universität München (D)
Prof. Dr. C. Roberts - University of Birmingham (GB)
Dr. B. Sághi - CERTUNIV (HU)
Prof. Dr. I. Schäfer - Technische Universität Braunschweig (D)
Prof. Dr. H. Schlingloff - Humboldt Universität Berlin (D)
U. Steininger - TÜV Süd Automotive (D)
Prof. Dr. T. Tang - Beijing Jiaotong University (CN)
Dr. Eng. S. Tsugawa - Meijo University (J)
Prof. Dr. S. Wagner - Universität Stuttgart (D)
Prof. Dr. H. Wang - Tongji University (CN)
Prof. Dr. K.-D. Wolf - Bergische Universität Wuppertal (D)
Assoc. Prof. Dr. W. Zheng - Beijing Jiaotong University (CN)
Prof. Dr. E. Zio - Ecole Centrale Paris and Supelec (F)

Download Report