Difference between revisions of "SAFECOMP 2017"

From Openresearch
Jump to: navigation, search
 
(6 intermediate revisions by the same user not shown)
Line 10: Line 10:
 
|City=Trento
 
|City=Trento
 
|Country=Italy
 
|Country=Italy
 +
|Paper deadline=2017/03/10
 +
|Workshop deadline=2017/05/24
 +
|Notification=2017/05/08
 +
|Camera ready=2017/06/12
 +
|Submitting link=https://easychair.org/conferences/?conf=safecomp2017
 +
|has general chair=Erwin Schoitsch, Stefano Tonetta
 +
|has program chair=Erwin Schoitsch, Stefano Tonetta
 +
|has workshop chair=Erwin Schoitsch
 +
|has Keynote speaker=Marcel Verhoef, John McDermid, Radu Grosu
 +
|Submitted papers=65
 +
|Accepted papers=24
 +
|has Proceedings Link=https://link.springer.com/content/pdf/10.1007%2F978-3-319-66266-4.pdf
 +
|has Proceedings DOI=https://doi.org/10.1007/978-3-319-66266-4
 +
|has Proceedings Bibliography=https://link.springer.com/book/10.1007%2F978-3-319-66266-4
 
}}
 
}}
 
SAFECOMP was established in 1979 by the European Workshop on Industrial Computer Systems, Technical Committee 7 on Reliability, Safety and Security (EWICS TC7). Since then, it has contributed to the progress of the state-of-the-art in dependable application of computers in safety-related and safety-critical systems.   
 
SAFECOMP was established in 1979 by the European Workshop on Industrial Computer Systems, Technical Committee 7 on Reliability, Safety and Security (EWICS TC7). Since then, it has contributed to the progress of the state-of-the-art in dependable application of computers in safety-related and safety-critical systems.   
Line 15: Line 29:
  
 
==Topics==
 
==Topics==
−
==Submissions==
+
The conference covers all aspects related to the development, assessment, operation and maintenance of safety-related and safety-critical computer systems. Topics include, but are not limited to:
−
==Important Dates==
+
* Fault-tolerant and resilient hardware and software architectures
 +
* Fault detection and recovery mechanisms
 +
* Distributed and real-time monitoring and control
 +
* Security and privacy protection mechanisms for safety applications
 +
* Safety/security risk assessment
 +
* Model-based analysis, design, and assessment
 +
* Formal methods for verification, validation, and fault tolerance
 +
* Probabilistic verification and validation
 +
* In-the-loop and model-based testing
 +
* Validation and verification methodologies and tools
 +
* Methods for qualification, assurance and certification
 +
* Compositional verification and certification
 +
* Architecture-driven assurance of safety and security
 +
* Dependability analysis using simulation and experimental measurement
 +
* Cyber-physical threats and vulnerability analysis
 +
* Safety guidelines, standards and certification
 +
* Safety and security interactions and trade-offs
 +
* Safety and security cases
 +
* Multi-concern dependability assurance and standardization
  
−
==Committees==
+
Domains of application include (but are not limited to):
−
* Co-Organizers
+
* Railways, automotive, space, avionics, nuclear and process industries
−
* General Co-Chairs
+
* Autonomous systems, advanced robotics, construction engines and off-road vehicles
−
** [[has general chair::some person]], some affiliation, country
+
* Telecommunication and networks
 +
* Safety-related applications of smart systems and IoT (Internet of Things, Smart Anything Everywhere)
 +
* Critical infrastructures, smart grids, SCADA
 +
* Medical devices and healthcare
 +
* Defense, emergency & rescue
 +
* Logistics, industrial automation, off-shore technology
 +
* Education & training
  
−
* PC Co-Chairs
 
−
** [[has program chair::some person]], some affiliation, country
 
  
−
* Workshop Chair
+
==Submissions==
−
** [[has workshop chair::some person]], some affiliation, country
+
The tradition of SAFECOMP is to act as a platform for bringing academic research and industrial needs together. Therefore, industrial contributions and real-world experience reports are explicitly invited. 
 +
We solicit two types of papers:  
 +
1) regular papers (up to 14 pages),  
 +
2) practical experience reports and tool reports (up to 8 pages).
 +
Papers exceeding the page limit will be excluded from the review process.  All papers will be reviewed by at least three program committee members. Papers must not have been previously published or concurrently submitted elsewhere.
  
−
* Panel Chair
 
−
** [[has OC member::some person]], some affiliation, country
 
  
−
* Seminars Chair
+
==Important Dates==
−
** [[has tutorial chair::some person]], some affiliation, country
+
Full paper submission: 10 March 2017 (EXTENDED)<br>
−
 
+
Notification of acceptance: May 8 2017<br>
−
* Demonstration Co-Chairs
+
Camera-ready Submission: 12 June 2017<br>
−
** [[has demo chair::some person]], some affiliation, country
+
Conference: 13-15 September 2017<br>
−
** [[has demo chair::some person]], some affiliation, country
 
−
 
 
−
* Local Organizing Co-Chairs
 
−
** [[has local chair::some person]], some affiliation, country
 
−
 
 
−
* Program Committee Members
 
−
** [[has PC member::some person]], some affiliation, country
 
−
-->
 

Latest revision as of 10:48, 17 June 2020

SAFECOMP 2017
36th International Conference on Computer Safety, Reliability, and Security
Event in series SafeComp
Dates 2017/09/12 (iCal) - 2017/09/15
Homepage: http://safecomp17.fbk.eu/
Submitting link: https://easychair.org/conferences/?conf=safecomp2017
Location
Location: Trento, Italy
Loading map...

Important dates
Workshops: 2017/05/24
Papers: 2017/03/10
Submissions: 2017/03/10
Notification: 2017/05/08
Camera ready due: 2017/06/12
Papers: Submitted 65 / Accepted 24 (36.9 %)
Committees
General chairs: Erwin Schoitsch, Stefano Tonetta
PC chairs: Erwin Schoitsch, Stefano Tonetta
Workshop chairs: Erwin Schoitsch
Keynote speaker: Marcel Verhoef, John McDermid, Radu Grosu
Table of Contents


SAFECOMP was established in 1979 by the European Workshop on Industrial Computer Systems, Technical Committee 7 on Reliability, Safety and Security (EWICS TC7). Since then, it has contributed to the progress of the state-of-the-art in dependable application of computers in safety-related and safety-critical systems.


Topics

The conference covers all aspects related to the development, assessment, operation and maintenance of safety-related and safety-critical computer systems. Topics include, but are not limited to:

  • Fault-tolerant and resilient hardware and software architectures
  • Fault detection and recovery mechanisms
  • Distributed and real-time monitoring and control
  • Security and privacy protection mechanisms for safety applications
  • Safety/security risk assessment
  • Model-based analysis, design, and assessment
  • Formal methods for verification, validation, and fault tolerance
  • Probabilistic verification and validation
  • In-the-loop and model-based testing
  • Validation and verification methodologies and tools
  • Methods for qualification, assurance and certification
  • Compositional verification and certification
  • Architecture-driven assurance of safety and security
  • Dependability analysis using simulation and experimental measurement
  • Cyber-physical threats and vulnerability analysis
  • Safety guidelines, standards and certification
  • Safety and security interactions and trade-offs
  • Safety and security cases
  • Multi-concern dependability assurance and standardization

Domains of application include (but are not limited to):

  • Railways, automotive, space, avionics, nuclear and process industries
  • Autonomous systems, advanced robotics, construction engines and off-road vehicles
  • Telecommunication and networks
  • Safety-related applications of smart systems and IoT (Internet of Things, Smart Anything Everywhere)
  • Critical infrastructures, smart grids, SCADA
  • Medical devices and healthcare
  • Defense, emergency & rescue
  • Logistics, industrial automation, off-shore technology
  • Education & training


Submissions

The tradition of SAFECOMP is to act as a platform for bringing academic research and industrial needs together. Therefore, industrial contributions and real-world experience reports are explicitly invited. We solicit two types of papers: 1) regular papers (up to 14 pages), 2) practical experience reports and tool reports (up to 8 pages). Papers exceeding the page limit will be excluded from the review process. All papers will be reviewed by at least three program committee members. Papers must not have been previously published or concurrently submitted elsewhere.


Important Dates

Full paper submission: 10 March 2017 (EXTENDED)
Notification of acceptance: May 8 2017
Camera-ready Submission: 12 June 2017
Conference: 13-15 September 2017

Retrieved from "https://www.openresearch.org/mediawiki/index.php?title=SAFECOMP_2017&oldid=224076"
Facts about "SAFECOMP 2017"
RDF feed
AcronymSafeComp 2017 +
Camera ready dueJune 12, 2017 +
End dateSeptember 15, 2017 +
Event in seriesSafeComp +
Event typeConference +
Has coordinates46° 6' 11", 11° 7' 47"Latitude: 46.102952777778
Longitude: 11.129741666667 +
Has location cityTrento +
Has location countryCategory:Italy +
Homepagehttp://safecomp17.fbk.eu/ +
IsAEvent +
NotificationMay 8, 2017 +
Paper deadlineMarch 10, 2017 +
Start dateSeptember 12, 2017 +
Submission deadlineMarch 10, 2017 +
Title36th International Conference on Computer Safety, Reliability, and Security +