-------- Weitergeleitete Nachricht -------- Betreff: [failsafe-workshop] FAILSAFE 2018 workshop CFP Datum: Mon, 16 Jul 2018 10:53:17 +0100 Von: Michael Breza mjb04@doc.ic.ac.uk An: failsafe-workshop@imperial.ac.uk

Hello,

Here is a CFP for a workshop that will be interesting for all wsn developers. Basically, If you have had any deployments that have ended in disaster, and you know why and were able to fix them, or have any tools that bring modern software engineering practices to WSN programming, we would love to hear about it. We are also interested in any use of formal methods for the verification of WSN systems, or WSN systems used as part of a larger control system.

FAILSAFE 2018 Call For Papers

The Second ACM International Workshop on the Engineering of Reliable, Robust, and Secure Embedded Wireless Sensing Systems

http://wp.doc.ic.ac.uk/failsafe/

The FAILSAFE workshop will provide a forum to discuss tools and techniques to address the difficulties and challenges of deploying Embedded Wireless Sensor Systems (EWSS) in the wild, and aim to produce reliable, robust systems. We seek submissions of up to 8 pages describing and presenting data of problems and failures of experimental efforts, practical experiences, and industrial and commercial developments in all aspects of sensor networks, mobile devices, and wireless communication. We solicit work that discusses real Deployments and ways to engineer them, Security of EWSS, both ways to engineer security at design time, and approaches to run time security, and Application resilience including designed resilience for control systems. We encourage submissions of the above topics of interest that cover, but are not limited to: We would also like submissions about any tools, methods, techniques, or approaches to engineer robust and resilient EWSS. This includes robustness and resilience faults and failures from the environment, human error, or malicious activities. Examples include novel simulation frameworks, the use of formal methods like model checking, design methodologies, languages that explicitly handle faults and failures, forms of unit, integration, or run time testing, models to test performance during faults and failures, and anything else relevant to this discussion. We address three main areas.

Deployments and how to design them:

- Testing frameworks, models, simulators, formal methods that deal with sensor system deployment failures, and can be used to prevent similar failures of wireless sensor systems. This includes failure of the sensor systems themselves, or the affect that their failure would have on the application that uses their data. - Monitoring tools, control systems, or code update systems for use in sensor system deployments to detect and diagnose node or system performance issues, failures, or malicious activity. - Any account of a real ENSS deployment with an emphasis on any design tools or methodologies used, and an assessment of the benefit that they provided. - Examples of a deployment that was tested, and failed due to unexpected circumstances. The testing methodology must be presented and discussed, as well as how it failed to account for the phenomenon that caused the failure, and a potential solution described. - Failure and the diagnosis of an actual deployment of mobile apps, networks and systems. Must include some data and analysis of what caused the failure.

Secure Design and Operation of EWSS:

- Approaches to address faults and failures caused by malicious activity aimed at the disruption of the EWSS or the application that uses it. - Formal models of security attacks. - Secure by design approaches to EWSS. - Runtime security or intrusion detection systems for EWSS. - Any documented example of a real EWSS deployment that either was attacked by malicious agents, or that deployed security mechanisms, with a description of what was done.

Resilient and Robust Applications and Control:

- Design methods to create applications or controllers that are resilient and robust to the loss, delay, or corruption of data from an EWSS. - Applications of formal methods to design and/or verify resilient and robust sensor networks. - Examples or methods to engineer coupled communication and control systems that are resilient and robust. - Examples of real deployment using wireless sensors for a controller with instances of failure or any design methodology used, or any security considerations taken.

Submission Deadline, 17th of August 2018 Notification, 10th of September 2018 Final Version Due, 20th of September 2018 Workshop, 4th of November 2018

If you have any further questions about this call or the suitability of your work, please email:

michael.breza04@imperial.ac.uk

_______________________________________________ failsafe-workshop mailing list failsafe-workshop@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/failsafe-workshop