[SystemSafety] CfP: Practical Formal Verification for Software Dependability Workshop (AFFORD'18)

[Alexander Romanovsky]

CALL FOR PAPERS

===============================================================================

Workshop on Practical Formal Verification for Software Dependability (AFFORD'18), Memphis, USA

https://sites.google.com/site/affordworkshop



Co-located with 29th International Symposium on Software Reliability Engineering (ISSRE'18),

15th-18th October 2018, http://2018.issre.net





IMPORTANT DATES:

===============================================================================



Submission due: July 21th, 2018

Authors notification: August, 13th, 2018;

Camera ready: August 28th, 2018



===============================================================================



For a large majority of software engineers and developers, formal verification techniques are seen rather

as expert tools and not as engineering tools that can be used on a daily basis. This is mostly the case in

the context of main stream systems (e.g. automotive, medical, industrial automation) where pragmatics

(e.g. personnel skills, cost structures, deadlines, existent processes, existent organization, legacy code)

plays a major role.



This workshop aims to build a community interested in the application of formal verification techniques

to increase dependability of software intensive systems, by developing and promoting approaches,

techniques and tools that can be understood and applied by practicing engineers – without special

education in formal methods. Specifically, we aim to bring together researchers and practitioners

interested in lowering the adoption barrier to use formal verification for the development of dependable

software. We especially focus on the needs of main stream developers that do not (necessarily) work

on highly safety critical systems but on more main stream systems that still need to be dependable.





TOPICS OF INTEREST include but are not limited to:



- increase software dependability by using formal verification

- lowering the adoption barrier of formal verification by practicing engineers

- using formal verification results as evidence for certification

- complementing formal verification with reviews and tests

- measuring the confidence gained even when incomplete or unsound verification is used

- process-phase specific formal verification techniques: from requirements engineering to deployment

           and software maintenance

- integrating formal verification with agile development

- using formal verification in the development of low criticality systems

- domain specific formal verification (e.g. embedded systems, web applications)

- use of ”invisible” formal techniques like type-systems

- evaluate and increase the usability of formal verification tooling (e.g. specification of verification conditions,

           interpretation of verification results, specification of the environment)

- using domain specific languages and model based development to improve the usability of verification

- tools that provide a high degree of automation

- integration of formal techniques in development environments

- industrial experiences with using formal verification in contexts as described above

- experience about failures to apply suitable verification in an industrial context



Papers must be written in English, and be formatted according to the IEEE manuscript templates for

conference proceedings. Full papers must not exceed 7 pages and short papers 4 pages. Full papers

should describe complete research results related to the topics of the workshop, whereas short papers

can contain work in progress or novel ideas. We put special focus on the potential of the proposed

approaches to address the needs of practitioners. After rigorous review, all the accepted papers will

be included in the supplemental proceedings and will appear in the IEEE Xplore Digital Library.



Paper submission will be done electronically through EasyChair -

https://easychair.org/conferences/?conf=afford18



Submission implies the willingness of at least one of the authors to register and present the paper,

if accepted.



PROGRAM COMMITTEE:

===============================================================================

- Sebastian Fischmeister, University of Waterloo, Canada

- Constance Heitmeyer, NRL, USA

- Fuyuki Ishikawa, NII, Japan

- Rajeev Joshi, NASA, USA

- Florent Kirchner, INRIA, France

- Daniel Kroening, Oxford University, UK

- Suraj Kothari, Iowa State University, USA

- Thierry Lecomte, ClearSy, France

- Ravi Metta, Tata Consultancy Services, India

- Vincent Nimal, Microsoft, UK

- Marco Roveri, FBK, Italy

- Neeraj Singh, ENSEEIHT, France

- Andre Windisch, Airbus, Germany



ORGANIZING COMMITTEE:

===============================================================================

- Daniel Ratiu, Siemens, Germany

- Alexander Romanovsky, Newcastle University, United Kingdom

- Harald Ruess, fortiss, Germany

- Alan Wassyng, McMaster University, Canada



-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.techfak.uni-bielefeld.de/mailman/private/systemsafety/attachments/20180624/05cf74e4/attachment-0001.html>