ISSS02

Formal Verification in a Component-based Reuse Methodology

Daniel Karlsson Author homepage
 
Petru Eles Author homepage
Zebo Peng Author homepage

International Symposium on System Synthesis (ISSS) 2002, Kyoto, Japan, October 2-4, 2002, pp. 156-161

ABSTRACT
There is an important trend towards design processes based on the reuse of predesigned components. We propose a formal verification approach which smoothly integrates with a component based system-level design methodology. Once a timed Petri Net model corresponding to the interface logic has been produced the correctness of the system can be formally verified. The verification is based on the interface properties of the connected components and on abstract models of their functionality, without assuming any knowledge regarding their implementation. We have both developed the theoretical framework underlying the methodology and implemented an experimental environment using model checking techniques.


Related files:
ISSS02.pdfAdobe Acrobat portable document


[KEP02] Daniel Karlsson, Petru Eles, Zebo Peng, "Formal Verification in a Component-based Reuse Methodology", International Symposium on System Synthesis (ISSS) 2002, Kyoto, Japan, October 2-4, 2002, pp. 156-161
( ! ) perl script by Giovanni Squillero with modifications from Gert Jervan   (v3.1, p5.2, September-2002-)
Last modified on Monday December 04, 2006 by Gert Jervan