𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Towards the verification of real-time systems in avionics: the Cotre approach

✍ Scribed by B. Berthomieu; P-O. Ribet; F. Vernadat; J.L. Bernartt; J-M. Farines; J.-P. Bodeveix; M. Filali; G. Padiou; P. Michel; P. Farail; P. Gauffilet; P. Dissaux; J-L. Lambert

Book ID
108498371
Publisher
Elsevier Science
Year
2003
Tongue
English
Weight
810 KB
Volume
80
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Translation and Optimization in the Veri
Translation and Optimization in the Verification of Real-Time Systems
✍ Ernst-RΓΌdiger Olderog πŸ“‚ Article πŸ“… 2004 πŸ› Elsevier Science 🌐 English βš– 48 KB

Compilation or translation is not only an issue at the level of program but also at the level of specification. This talk considers the design of real-time software for Programmable Logic Controllers (PLCs) and discusses questions of correctness and optimization for translations between different se

An approach towards the verification of
An approach towards the verification of expert systems using numerical petri nets
✍ N. K. Liu; T. Dillon πŸ“‚ Article πŸ“… 1991 πŸ› John Wiley and Sons 🌐 English βš– 936 KB

A major difficulty that occurs in the construction of large production rule-based expert systems is maintaining the correctness, consistency, and completeness of the knowledge base. A method of transforming the production rules into a numerical petri nets (NPNs) model is proposed. These NPNs are hig