Call For Papers
The omnipresence of software-intensive high-assurance systems, from transportation to industrial informatics and from power generation to health care, is escalating over the period of time. However, the safety-critical, distributed, heterogeneous, dynamic and often unpredictable nature of such systems produces several complex challenges. Formal methods are often solicited to help solve these problems. However, due to the sheer complexity, systems (or parts of systems) often need to be modeled and analyzed by using different methods, techniques and tools. The problem is then how different formal approaches can interact with each other in seamless manners, and how to support the integrated use of different methods and their supporting tools along the system development.
The main goal of the proposed workshop is to contribute towards harnessing the combined potential of state- and machine-based system development methods, clarifying their commonalities and variabilities to better understand how to achieve the integrated use of different approaches and tools for accomplishing various tasks in modeling, design, verification and validation of high-assurance hardware/software systems. The workshop platform would also provide an excellent opportunity to FM developers and practitioners to discuss how existing tools supporting only one method could be (re-)used for other methods and which gaps must be filled in order to provide this extended support.
Program Committee Chairs
- Atif Mashkoor, Software Competence Center Hagenberg (AT)
- Elvinia Riccobene, University of Milan (IT)
- Egon Börger – University of Pisa, IT
Program Committee Members
- Peter Gorm Larsen, Aarhus School of Engineering (DK)
- Dominique Mery, Université de Lorraine, LORIA (FR)
- Alexander Raschke,Institute of Software Engineering and Compiler Construction (DE)
- Jean-Pierre Jacquot, LORIA/University Henri Poincaré (FR)
- Regine Laleau,Paris Est Creteil University (FR)
- Jeanine Souquières,LORIA - Université de Lorraine (FR)
- Olga Kouchnarenko, University of Franche-Comté (FR)
- Steve Reeves, University of Waikato (NZ)
- Leo Freitas, Newcastle University (UK)
- Uwe Glässer, Simon Fraser University (CA)
|Research abstracts and full papers submission deadline:||
February 17, 2014
April 7, 2014
|Notification of acceptance:||
March 17, 2014
April 30, 2014
April 14, 2014
May 7, 2014
Contributions should be submitted electronically in PDF format at the iHARNESS 2014 easychair website. The research abstracts may be 8 pages long and full papers may be 16 pages long. They must be prepared using the Springer LNCS style.
We are planning to have a special issue or a special section in an international journal.