[aadl]: Fwd: Fwd: Cfp : RUME 2018 Workshop, the runtime verification and monitoring technologies for embedded systems workshop

[frank singhoff]

-------- Message transféré --------
Sujet : 	Cfp : RUME 2018 Workshop, the runtime verification and 
monitoring technologies for embedded systems workshop
Date : 	Thu, 15 Mar 2018 10:49:50 +0100
De : 	frank singhoff <singhoff at univ-brest.fr>
Pour : 	José Rufino <jmrufino at ciencias.ulisboa.pt>, 'Frank Singhoff' 
<Frank.Singhoff at univ-brest.fr>



RUME, the runtime verification and monitoring technologies for embedded
systems workshop, aims at presenting
state-of-the-art research, experimentation, significant and original
realizations that focus on the design and implementation
of runtime verification and monitoring services for embedded systems in
both academic and industrial worlds.

Workshop website :http://beru.univ-brest.fr/RUME18.html

The 2018 edition is co-located with the Ada Europe/Reliable software
technologies conference.
  It will be organized in June 2018 the 18th, in Lisbon, Portugal.

---------------------------------------------------------------------------------------------------------------------------------------------------------------------

Call for papers

Expected contributions include but are not limited to the following
topics, but should all consider monitoring
runtime verification of embedded systems:

●      Reconfigurable architectures
●      Heterogeneous MPSOC and Multicore
●      Sensor networks
●      Mixed-criticality systems
●      Cyber physical systems
●      Internet of things
●      Methods, software and tool chains
●      Model-driven Engineering
●      Real-time, concurrency, scheduling and temporal performance
●      File systems, storage, and I/Os
●      Performance evaluation and optimization
●      Safety and security concerns
●      Case studies and application projects


Papers can focus on new methods, theories, technologies providing
monitoring services or
performing on line verifications. Case-studies, examples of use are also
welcome.

The workshop will be organized in two sessions.The first session will be
devoted to scientific presentations of selected
contributions. The second session of the workshop will be an open
discussion related to European project proposals
around monitoring and runtime verification for embedded systems. People
who are interesting for the session about
European proposal only are welcome.

---------------------------------------------------------------------------------------------------------------------------------------------------------------------

Important dates and submission

Submission deadline – abstract:  May 1st 2018
●      Submission deadline – full paper: May 7th 2018
Notifications to authors: May 21th 2018
●      Camera ready versions: June 1st 2018
●      Workshop date: June the 18th 2018.

---------------------------------------------------------------------------------------------------------------------------------------------------------------------

Proceedings are expected to be publish in the Ada User Journal
(http://www.ada-europe.org/auj/home).
Papers should not exceed 4 pages according to the Ada User Journal
template.
Please, seehttp://www.ada-europe.org/auj/guide/  for the Microsoft Word
or LaTeX Ada User Journal template.
The submission should be made through Easychair, using the following
link:https://www.easychair.org/conferences/?conf=rume180  .

---------------------------------------------------------------------------------------------------------------------------------------------------------------------

Organizing committee

José Rufino, LASIGE/University of Lisboa, Portugal
Frank Singhoff, Lab-STICC/Université de Bretagne Occidentale, France


Program committee (to be completed)

Christian Colombo, University of Malta, Malta
João Lourenço, NOVA LINCS-Universidade NOVA de Lisboa, Portugal
Leonardo Mariani, University of Milano Bicocca, Italia
David Pereira, CISTER Research Centre/ISEP, Portugal
Luis Miguel Pinho, CISTER Research Centre/ISEP, Portugal
José Rufino, LASIGE/Universidade de Lisboa, Portugal
Frank Singhoff, Lab-STICC/Université de Bretagne Occidentale, France
Volker Stolz, Western Norway University of Applied Sciences, Norway


-- 
-------
MOCS Team, Lab-STICC UMR CNRS 6285
Univ. Brest, Faculty of sciences
Phone : +33 298016211


-------------- next part --------------
HTML attachment scrubbed and removed