Submitted by: Submitted by kshah
Views: 548
Words: 6970
Pages: 28
Category: Science and Technology
Date Submitted: 05/13/2011 02:27 PM
1
Assessment of Formal Methods for Certification PETRI NETS (June 2008)
Kanhai G. Shah, Standards and Certifications SS 2008 Under the guidance of Prof. Dr. Matthias F. Wagner Fachhochschule Frankfurt am Main
Abstract—Formal methods, mathematical based techniques for specification, development and verification of any systems. Petri nets, a formal modeling language aid support for analysis of problems associated with concurrent systems. They are useful in designing the non static behaviors of a complex system. In order to implement these, they have to be certified – conformance with a standard or a set guideline. It was only in 2004 that a standard was developed for this formal method. We hope to have many more standards that help in project development and achieve tremendous success. Index Terms—Certification, Formal Methods, ISO/IEC 15909, Petri Nets, Standards, Standards and Certifications
robustness of a design. However, the high cost of using formal methods means that they are usually only used in the development of high-integrity systems, where safety and security is important[2] [3]. B. More on Formal Methods Formal methods are based on the use of formal languages that have very precise rules. Formal methods provide a way to eliminate certain errors sources and to verify the absence of related faults. Using formal specification will help us get to a working system with less specification faults. But they can be applied to design and implement an entire system. We will have a look at the advantages and the myths that they carry along[15]. 1) Advantages Formal methods are usually employed to obtain quality software. A couple of advantages that one might to have are listed below: Product-focused measure of correctness: The use of formal methods provides an objective measure of the correctness of a system, as opposed to current process quality measures[4]. Early detection of defects: Formal methods can be applied to the earliest design artifacts,...