You are here: HomeiHARNESS 2014News

News

Submission deadline for iHARNESS 2014 is extended to April 7, 2014. The notification of acceptance is now on April 30, 2014 with the camera ready deadline on May 7, 2014.

Submission deadline for iHARNESS 2014 is extended to February 28, 2014.

Submission deadline for iHARNESS 2014 is February 17, 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.

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.