SAFECOMP 2015
Date: Sep 22, 2015 1:00 am – Sep 25, 2015 10:00 am
Location: Amsterdam, NL
SAFECOMP 2015 "Assured connectivity"
The 34th International Conference on Computer Safety, Reliability and Security
22-25 September 2015, Delft, the Netherlands
http://safecomp2015.tudelft.nl/
About SAFECOMP
Since it was established in 1979 by the European Workshop on Industrial Computer Systems, Technical Committee 7 on Reliability, Safety and Security (EWICS TC7); , SAFECOMP has contributed to the progress of the state-of-the-art in dependable application of computers in safety-related and safety-critical systems. SAFECOMP is an annual event covering the experience and new trends in the areas of safety, security and reliability of critical computer applications. It provides ample opportunity to exchange insights and experience on emerging methods, approaches and practical solutions. It is a one-stream conference without parallel sessions, allowing easy networking.
The 34th edition of SAFECOMP focuses on the challenges arising from networked multi-actor systems for delivery of mission-critical services. Such services expand rapidly in all domains of life. And society has, therefore, become very vulnerable for breaches in delivery of service, thus imposing serious risks to life and limb of people. Model-ling multi-actor systems, systems of systems, developing methods e.g. including using big data for understanding of and assessing risks in complex processes needed to pinpoint safety & security issues at detailed level in supporting technologies. To address such challenges, specialized methodologies, techniques and tools assisting in design, validation and certification activities should be pursued, while simultaneously assuring correctness and timeliness of critical applications.
A particular area is that of medical technology which is meant to help patients and to support health care providers to deliver care and treatment while doing the patient no unintentional harm. Networked medical systems emerge rapidly, also in the cloud. Technologies include electronic patient file software systems in network configurations. Paradigms in patient care also move rapidly from intramural care to home and self-care. Assurance of safety of patients while using these technologies thus has become a real challenge.
More information: safecomp2015.tudelft.nl, www.safecomp.org, www.ewics.org
Topics
The conference covers all aspects related to the development, assessment, operation and maintenance of safety-critical systems.
Topics include, but are not limited to:
* Fault tolerant architectures and mechanisms
* Monitoring and fault prediction infrastructures
* Risk reduction and mitigation techniques
* Cyber-physical threats and vulnerability analysis
* Model-based and experimental assessment of safety, reliability and security
* Validation and verification methodologies and tools
* Human and social aspects in safety-critical systems†design and analysis
* Methods for qualification, assurance and certification
* Multi-actor mission-critical network systems
* Mission-critical systems related computer hardware and software
* Safety & security interactions and trade-offs
* Safety & security, trust and assurance cases
* Safety guidelines, standards and certification
Domains of application are (but not limited to); :
* Railways, automotive, aerospace and avionics
* Chemical and nuclear technologies
* Telecommunications and networks
* Critical infrastructures, smart grids, SCADA
* Medical devices in healthcare or homecare
* Defence, emergency & rescue
* Logistics, production automation and robotics
* Education & training
Important dates
Workshop proposal submission: 16 February 2015
Abstract submission: 26 February 2015
Full paper submission: 2 March 2015
Notification of acceptance: 12 May 2015
Camera-ready submission: 15 June 2015
Workshop, tutorials and Exhibition
Tuesday September 22 is scheduled as a tutorial and work-shop day. Tutorial and workshop proposals are welcome. Information about submission of proposals will become available at the conference website. A dedicated space will be available for a technical exhibition in the communication area where coffee breaks and lunches take place. Organisations wishing to present their pro-ducts or projects are invited to request further information from the conference secretariat. For additional information, see conference website.
Paper submission details
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 to be published in the main proceeding of the conference: 1); regular papers (up to 14 pages); and 2); practical experience reports and tools (up to 8 pages); . In both categories, papers submitted will be reviewed by at least three program committee members. They must not have been previously published or concurrently submitted elsewhere. See the website for further details.
Conference Proceedings and Special Issue
All accepted papers will be published by Springer in the LNCS series. Also, extended versions of the best papers will be considered for publication in a special issue of a safety-related international journal.
About Delft
Delft is a city and a municipality in the Netherlands with about 100.000 inhabitants. It is internationally known for its historic town centre with canals, for Delft Blue pottery (Delftware); , for the Delft University of Technology, for the painter Vermeer and the scientist Antony van Leeuwenhoek, and for its association with the Dutch royal family, the House of Orange-Nassau. Delft is more than 750 years old. Its name is derived from ëdelvení which means delve or digging. Delftís oldest canal is called The Old Delft (de Oude Delft); .Delft expanded around it; later on many other city-canals were dug as life-lines through the city. These ëgrachtení are still the pride of Delft. Delft has long been a centre of art and science. With the foundation of the VOC (Dutch East India Company); in 1602, Delft also became a trading centre.
Conference venue - about TU Delft
Aula Congress Centre of the Technical University, Delft
In 1842 the Royal Academy for Civil Engineering was founded. Nowadays known as Delft University of Technology (TU Delft); it is Delftís biggest employer. About 18.000 students study in Delft. TU Delftís mission is to make a significant contribution towards a sustainable society for the twenty-first century. TU Delft cooperates with many other educational and research institutions, both in the Netherlands and abroad. TU Delft has numerous contacts with governments, trade associations, consultancies, industry and small and medium-sized companies.
Committees
EWICS TC7 Chair
Francesca Saglietti (Univ. Erlangen-Nurenberg, DE);
General Chair
Pieter van Gelder (TU Delft, NL);
Program Chair
Floor Koornneef (TU Delft, NL);
Coen van Gulijk (University of Huddersfield, UK);
Workshop Chair
Frank Ortmeier (Otto von Guericke Universit‰t Magdeburg, DE);
Finance Chair
Erika van Verseveld (TU Delft, NL);
Publicity Chair
Sandra Koreman (schetsboek.com, NL);
Local Organizing Chair
Genserik Reniers (TU Delft, NL);
Bas de Mol (Academic Medical Center / Eindhoven University of Technology, NL);
Erika van Verseveld (TU Delft, NL);
Ginny Ruiter (TU Delft, NL);
Marie Louise Verhagen (TU Delft, NL);
Larissa Mikhailova (lasemn R&C, NL);
International Program Committee
Anderson, T. (UK)
Berg, J. van den (NL)
Bishop, P. (UK)
Bitsch, F. (DE)
Bloomfield, R. (UK)
Bologna, S. (IT)
Bondavalli, A. (IT)
Braband, J. (DE)
Brancati, F. (IT)
Brazier, F. (NL)
Cotroneo, D. (IT)
Chozos, N. (UK)
Daniel, P. (UK)
Di Giandomenico, F. (IT)
Duke, G. (UK)
Eagles, S. (US)
Ehrenberger, W. (DE)
Felici, M. (UK)
Fiedler, R. (AT)
Flammini, F. (IT)
Gelder, P. van (NL)
Gorski, J. (PL)
Guiochet, J. (FR)
Gulijk, C. van (UK)
Halang, W. (DE)
Heisel, M. (DE)
Johnson, C. (UK)
Jonsson, E. (SE)
Kaâniche, M. (FR)
Kanoun, K. (FR)
Karlsson, J. (SE)
Kelly, T. (UK)
Knight, J. (US)
Koopman, P. (US)
Koornneef, F. (NL)
Ladkin, P. (DE)
Lami, G. (IT)
Lindskov Hansen, S. (DK)
Littlewood, B. (UK)
Luiijf, E. (NL)
Meulen, M. van der (NO)
Minichino, M. (IT)
Mol, B. de (NL)
Motet, G. (FR)
Nordland, O. (NO)
Ortmeier, F. (DE)
Palanque, P. (FR)
Pasquini, A. (IT)
Paulitsch, M. (DE)
Pfeiffenberger T. (AT)
Popov, P. (UK)
Redmill, F. (UK)
Reniers, G. (BE)
Romano, L. (IT)
Romanovski, A. (UK)
Rothfelder, M. (DE)
Rushby, J. (US)
Saglietti, F. (DE)
Schmitz, C. (CH)
Schoitsch, E. (AT)
Seguin, C. (FR)
Skavhaug, A. (NO)
Sujan, M. (UK)
Trapp, M. (DE)
Trienekens, J. (NL)
Troubitsyna, E. (FI)
Warnier, M. (NL)
Zechner, A. (DE)
Submitted by Anonymous
on
SAFECOMP 2015 "Assured connectivity"
The 34th International Conference on Computer Safety, Reliability and Security
22-25 September 2015, Delft, the Netherlands
http://safecomp2015.tudelft.nl/
About SAFECOMP
Since it was established in 1979 by the European Workshop on Industrial Computer Systems, Technical Committee 7 on Reliability, Safety and Security (EWICS TC7); , SAFECOMP has contributed to the progress of the state-of-the-art in dependable application of computers in safety-related and safety-critical systems. SAFECOMP is an annual event covering the experience and new trends in the areas of safety, security and reliability of critical computer applications. It provides ample opportunity to exchange insights and experience on emerging methods, approaches and practical solutions. It is a one-stream conference without parallel sessions, allowing easy networking.
The 34th edition of SAFECOMP focuses on the challenges arising from networked multi-actor systems for delivery of mission-critical services. Such services expand rapidly in all domains of life. And society has, therefore, become very vulnerable for breaches in delivery of service, thus imposing serious risks to life and limb of people. Model-ling multi-actor systems, systems of systems, developing methods e.g. including using big data for understanding of and assessing risks in complex processes needed to pinpoint safety & security issues at detailed level in supporting technologies. To address such challenges, specialized methodologies, techniques and tools assisting in design, validation and certification activities should be pursued, while simultaneously assuring correctness and timeliness of critical applications.
A particular area is that of medical technology which is meant to help patients and to support health care providers to deliver care and treatment while doing the patient no unintentional harm. Networked medical systems emerge rapidly, also in the cloud. Technologies include electronic patient file software systems in network configurations. Paradigms in patient care also move rapidly from intramural care to home and self-care. Assurance of safety of patients while using these technologies thus has become a real challenge.
More information: safecomp2015.tudelft.nl, www.safecomp.org, www.ewics.org
Topics
The conference covers all aspects related to the development, assessment, operation and maintenance of safety-critical systems.
Topics include, but are not limited to:
* Fault tolerant architectures and mechanisms
* Monitoring and fault prediction infrastructures
* Risk reduction and mitigation techniques
* Cyber-physical threats and vulnerability analysis
* Model-based and experimental assessment of safety, reliability and security
* Validation and verification methodologies and tools
* Human and social aspects in safety-critical systems†design and analysis
* Methods for qualification, assurance and certification
* Multi-actor mission-critical network systems
* Mission-critical systems related computer hardware and software
* Safety & security interactions and trade-offs
* Safety & security, trust and assurance cases
* Safety guidelines, standards and certification
Domains of application are (but not limited to); :
* Railways, automotive, aerospace and avionics
* Chemical and nuclear technologies
* Telecommunications and networks
* Critical infrastructures, smart grids, SCADA
* Medical devices in healthcare or homecare
* Defence, emergency & rescue
* Logistics, production automation and robotics
* Education & training
Important dates
Workshop proposal submission: 16 February 2015
Abstract submission: 26 February 2015
Full paper submission: 2 March 2015
Notification of acceptance: 12 May 2015
Camera-ready submission: 15 June 2015
Workshop, tutorials and Exhibition
Tuesday September 22 is scheduled as a tutorial and work-shop day. Tutorial and workshop proposals are welcome. Information about submission of proposals will become available at the conference website. A dedicated space will be available for a technical exhibition in the communication area where coffee breaks and lunches take place. Organisations wishing to present their pro-ducts or projects are invited to request further information from the conference secretariat. For additional information, see conference website.
Paper submission details
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 to be published in the main proceeding of the conference: 1); regular papers (up to 14 pages); and 2); practical experience reports and tools (up to 8 pages); . In both categories, papers submitted will be reviewed by at least three program committee members. They must not have been previously published or concurrently submitted elsewhere. See the website for further details.
Conference Proceedings and Special Issue
All accepted papers will be published by Springer in the LNCS series. Also, extended versions of the best papers will be considered for publication in a special issue of a safety-related international journal.
About Delft
Delft is a city and a municipality in the Netherlands with about 100.000 inhabitants. It is internationally known for its historic town centre with canals, for Delft Blue pottery (Delftware); , for the Delft University of Technology, for the painter Vermeer and the scientist Antony van Leeuwenhoek, and for its association with the Dutch royal family, the House of Orange-Nassau. Delft is more than 750 years old. Its name is derived from ëdelvení which means delve or digging. Delftís oldest canal is called The Old Delft (de Oude Delft); .Delft expanded around it; later on many other city-canals were dug as life-lines through the city. These ëgrachtení are still the pride of Delft. Delft has long been a centre of art and science. With the foundation of the VOC (Dutch East India Company); in 1602, Delft also became a trading centre.
Conference venue - about TU Delft
Aula Congress Centre of the Technical University, Delft
In 1842 the Royal Academy for Civil Engineering was founded. Nowadays known as Delft University of Technology (TU Delft); it is Delftís biggest employer. About 18.000 students study in Delft. TU Delftís mission is to make a significant contribution towards a sustainable society for the twenty-first century. TU Delft cooperates with many other educational and research institutions, both in the Netherlands and abroad. TU Delft has numerous contacts with governments, trade associations, consultancies, industry and small and medium-sized companies.
Committees
EWICS TC7 Chair
Francesca Saglietti (Univ. Erlangen-Nurenberg, DE);
General Chair
Pieter van Gelder (TU Delft, NL);
Program Chair
Floor Koornneef (TU Delft, NL);
Coen van Gulijk (University of Huddersfield, UK);
Workshop Chair
Frank Ortmeier (Otto von Guericke Universit‰t Magdeburg, DE);
Finance Chair
Erika van Verseveld (TU Delft, NL);
Publicity Chair
Sandra Koreman (schetsboek.com, NL);
Local Organizing Chair
Genserik Reniers (TU Delft, NL);
Bas de Mol (Academic Medical Center / Eindhoven University of Technology, NL);
Erika van Verseveld (TU Delft, NL);
Ginny Ruiter (TU Delft, NL);
Marie Louise Verhagen (TU Delft, NL);
Larissa Mikhailova (lasemn R&C, NL);
International Program Committee
Anderson, T. (UK)
Berg, J. van den (NL)
Bishop, P. (UK)
Bitsch, F. (DE)
Bloomfield, R. (UK)
Bologna, S. (IT)
Bondavalli, A. (IT)
Braband, J. (DE)
Brancati, F. (IT)
Brazier, F. (NL)
Cotroneo, D. (IT)
Chozos, N. (UK)
Daniel, P. (UK)
Di Giandomenico, F. (IT)
Duke, G. (UK)
Eagles, S. (US)
Ehrenberger, W. (DE)
Felici, M. (UK)
Fiedler, R. (AT)
Flammini, F. (IT)
Gelder, P. van (NL)
Gorski, J. (PL)
Guiochet, J. (FR)
Gulijk, C. van (UK)
Halang, W. (DE)
Heisel, M. (DE)
Johnson, C. (UK)
Jonsson, E. (SE)
Kaâniche, M. (FR)
Kanoun, K. (FR)
Karlsson, J. (SE)
Kelly, T. (UK)
Knight, J. (US)
Koopman, P. (US)
Koornneef, F. (NL)
Ladkin, P. (DE)
Lami, G. (IT)
Lindskov Hansen, S. (DK)
Littlewood, B. (UK)
Luiijf, E. (NL)
Meulen, M. van der (NO)
Minichino, M. (IT)
Mol, B. de (NL)
Motet, G. (FR)
Nordland, O. (NO)
Ortmeier, F. (DE)
Palanque, P. (FR)
Pasquini, A. (IT)
Paulitsch, M. (DE)
Pfeiffenberger T. (AT)
Popov, P. (UK)
Redmill, F. (UK)
Reniers, G. (BE)
Romano, L. (IT)
Romanovski, A. (UK)
Rothfelder, M. (DE)
Rushby, J. (US)
Saglietti, F. (DE)
Schmitz, C. (CH)
Schoitsch, E. (AT)
Seguin, C. (FR)
Skavhaug, A. (NO)
Sujan, M. (UK)
Trapp, M. (DE)
Trienekens, J. (NL)
Troubitsyna, E. (FI)
Warnier, M. (NL)
Zechner, A. (DE)