http://iet.metastore.ingenta.com
1887

Cyclic scheduling, formal methods and information modelling

Cyclic scheduling, formal methods and information modelling

For access to this article, please select a purchase option:

Buy article PDF
$19.95
(plus tax if applicable)
Buy Knowledge Pack
10 articles for $120.00
(plus taxes if applicable)

IET members benefit from discounts to all IET publications and free access to E&T Magazine. If you are an IET member, log in to your account and the discounts will automatically be applied.

Learn more about IET membership 

Recommend Title Publication to library

You must fill out fields marked with: *

Librarian details
Name:*
Email:*
Your details
Name:*
Email:*
Department:*
Why are you recommending this title?
Select reason:
 
 
 
 
 
Computing & Control Engineering Journal — Recommend this title to your library

Thank you

Your recommendation has been sent to your librarian.

As real time control engineering requirements become ever more demanding, and as post emergent technologies become a manufacturing possibility, the engineer is forced to seek new methods of analysis and design to maintain the efficiency and quality of the real time software development process. The article discusses how techniques originating in the field of information modelling are being successfully developed for the design and verification of flight safety critical software systems.

http://iet.metastore.ingenta.com/content/journals/10.1049/cce_19990109
Loading

Related content

content/journals/10.1049/cce_19990109
pub_keyword,iet_inspecKeyword,pub_concept
6
6
Loading
This is a required field
Please enter a valid email address