Formal Verification in a Component-based Reuse Methodology
2002 (English)In: nternational Symposium on System Synthesis ISSS 2002,2002, Kyoto, Japan: IEEE Computer Society Press , 2002, 156- p.Conference paper (Refereed)
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.
Place, publisher, year, edition, pages
Kyoto, Japan: IEEE Computer Society Press , 2002. 156- p.
formal verification, petri net model, system-level design, interface logic
IdentifiersURN: urn:nbn:se:liu:diva-23351Local ID: 2786OAI: oai:DiVA.org:liu-23351DiVA: diva2:243665