Specification-based testing for real-time avionic systems

Access Full Text

Specification-based testing for real-time avionic systems

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

Buy conference paper PDF
£12.50
(plus tax if applicable)
Add to cart
Buy Knowledge Pack
10 articles for £75.00
(plus taxes if applicable)
Add to cart

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:
 
 
 
 
 
IEE Colloquium. Applicable Modelling, Verification and Analysis Techniques for Real-Time Systems — Recommend this title to your library

Thank you

Your recommendation has been sent to your librarian.

The paper describes the early stages of work towards the development of specification based testing techniques for real time distributed systems. This work has taken place in the context of the aerospace industry, where the complexity and the criticality of avionic systems makes them a challenge to develop. This paper briefly presents the DoRIs/ADL notation and its proof theoretic semantics, and sketches the techniques used to represent test cases for single activities. We look forward to the issues dominating future work on the automatic generation of tests from DoRIs/ADL models. (4 pages)

Inspec keywords: formal specification; avionics; automatic test software; theorem proving; aerospace industry; real-time systems

Subjects: Automatic test systems; Formal logic; Aerospace industry; Aerospace control; Aircraft electronics; Aerospace engineering computing; Formal methods

Related content

content/conferences/10.1049/ic_19990010
pub_keyword,iet_inspecKeyword,pub_concept
6
6
Loading