Formal Modelling in the Concept Phase of Product Development

Mathijs Schuts and Jozef Hooman

Appeared in: Proc. Conf. on Software Engineering Research & Practice (SERP 2015), WORLDCOMP'15, pages 3-9, CSREA Press, USA, 2015.

ABSTRACT

The traditional process framework for product realisation in industry often leads to a long and difficult integration phase. An important reason is that in the concept phase only informal descriptions are made about the required product, its decomposition, and the interfaces between components. We propose a formal modelling approach for the concept phase, using a new light-weight modelling tool to formalize system behaviour, decomposition and interfaces. The confidence in the product concept is increased by simulation, both manual and automatic with random system characteristics. By means of a dedicated graphical user interface, communication with different stakeholders is improved. We discuss the application of the proposed approach at Philips HealthTech.

pdf

An extended abstract appeared as:
Formalizing the Concept Phase of Product Development
Mathijs Schuts and Jozef Hooman
FM 2015: Formal Methods, LNCS 9109, pages 605-608, Springer International Publishing, 2015.