24 April 2014
  Welcome Guest
  Login | Help
Home
 
General Information
Transaction Series
Related Information
Connect with WIT Press
Connect with WIT
Login
Login ID:
Password:
 
Your Cart
There are 0 items in your cart. [View]

Adobe PDF Reader is required to view our papers:
Get Acrobat Reader




  Welcome to the WIT eLibrary

The home of the Transactions of the Wessex Institute collection, providing on-line access to papers presented at the Institute's prestigious international conferences and from its State-of-the-Art in Science & Engineering publications.

Paper Information

Tools for Verification of a Large Discrete System

Author(s): J. Gunnarsson & R. Germundsson

Abstract:
Tools for modeling and verification of discrete event systems are imple- mented in Mathematica.

The tools are based on binary decision diagrams (BDD) for which a Mathematica interface is provided.

For modeling a compiler is developed translating a restricted class of Pascal into boolean expressions represented by BDDs.

The tools are used in an application of a landing gear system of a fighter aircraft.

This system is controlled by a software consisting of 1200 lines of Pascal.

This code represented as a BDD is then analyzed using temporal logics. This article demonstrates the principle of the Pascal compiler. 1 Introduction We have modeled and analyzed an existing discrete subsystem of a modern fighter aircraft, the landing gear system on the JAS 39 Gripen, depicted in ...

Pages: 8
Size: 555 kb
Paper DOI: 10.2495/IMS970271

 

 

Download the Full Article

Price: US$ 0.00

This article is part of the WIT OpenView scheme and you can download the full text Adobe PDF article for FREE by clicking the 'Openview' icon below.

Send this page to a friend. Send this page to a colleague.



This paper can be found in the following book

Innovation in Mathematics

Innovation in Mathematics

Buy Book from
Witpress.com



Download the Full Article

This article is part of the WIT OpenView scheme and you can download the full text Adobe PDF article for FREE by clicking the 'Openview' icon to the right.


Copyright© 2006 by WIT Press | About Prof Carlos Brebbia
Optimised for Microsoft Internet Explorer