An informal look at formal methods

Dr. S. Parthasarathy

Credibility      Competence      Commitment	About Algologic About this seminar About Dr. Partha About our training services	Misc. Social contribution Contact Administrivia
The course is designed to be a first introduction to formal methods , and is destined for active technical staff and programmers who have had no exposure to the subject of "formal methods". The course will be generic and will present a judicious balance of theory and applications in automation related software development. Read on....

An informal look at formal methods

Course Objective

Create an awareness of the mechanisms and principles involved in the use of "formal methods" for the design and development of high-integrity software. Participants need not have any technical background on this subject, except a fairly good experience in software development.
 

Course methodology

Highly interactive lectures based on PDF based presentations. For good interaction, I expect **not more than 20 participants** in my class.
 
The course will be for a duration of two days (4 sessions per day). Each session is of approximately 90 minutes.
 

Course handout

I will supply **one copy of my CDROM** containing a very rich collection of tutorial material on formal methods (I update this CD almost everyday). The CD I give will also contain copies of all the slides used in my lecture.
You will have to make copies of the CD for all your participants. No hardcopy /paper handouts will be given (let us not burn any more trees). If you want, I can bring along copies of my CDROM (at additional copying +medium costs).
 

Other

• You will be responsible for making all classroom arrangements, and hands on arrangements. Specifically, we will need : a good LCD projector, a main PC and a standby PC, class room accessories, cordless collar mike, UPS. A checklist will be sent to you separately, as soon as you indicate your acceptance of our proposal. You should also provide for: stationery, notepads, pens, a convenient folder, and consumables, for the participants.
  
• Commercial terms and conditions will have to be worked out separately, before formally committing to this course.
  
• We will need about 6-8 weeks of time, for reorganising or our other schedules and commitments.

 

Course contents (tentative)
 

Formal methods is a very vast, abstract and serious subject. We provide a step-by-step approach to this subject. The presentations are made in a style which would appeal to the first-timer, without losing sight of the rigour and profoundness of the subject.

     ------
     Day 1
     ------


         Session 1.1 : Introduction
             * Why and what and how of formal methods
             * Savage programming vs. cleanroom programming
             * How to get started
             * Choosing a formal method
             * Costs and benefits

         Session 1.2 : A closer look at FMs
             * Governing principles
             * Classification of FMs
             * Proof
             * Role of standards

         Session 1.3 : FM panorama #1 (Z / VDM / RSL  ? )

         Session 1.4 : Doing it right
             * Audits and controls
             * Automation of the FMs process
             * Pitfalls and booby traps

     ------
     Day 2
     ------

         Session 2.1 : FM panorama #2
             * Handling control systems
             * Petri nets
             * State charts
             * CSP
             *

         Session 2.2 : FM panorama #3 (Z / VDM / RSL ?)

         Session 2.3 : FM panorama #4
             * Handling time
             * Why is time important ?
             * Temporal relationships and logic
             * Episode analysis

         Session 2.4 : Wrapup / Debriefing
             * Some industrial applications
             * What next ?
             * Debriefing

NOTE : The above contents is purely indicative only, and is subject to change.

Related material

Vous parlez français ? Nous aussi ....

Bonjour. Pour de plus amples renseignements sur nos services et nos tarifs, il vous suffira de cliquer ici et nous envoyer un courrier électronique (en français).
Vous avez aussi la possiblité de nous écrire ou transmettre un message par télécopie. N'hesitez pas à nous préciser vos besoins (en français).
Nous restons dans l'attente de vous lire bientôt.

  Go to TOP, and start all over again ^

  Go to TOP, and start all over again ^