Map
Index
Random
Help
th

Quote: use synchronous languages for real-time, embedded, safety critical applications

topics > all references > references a-b > QuoteRef: benvA1_2003 , p. 64



Topic:
safety critical systems
Topic:
type-safe and secure languages
Topic:
parallel programming languages
Topic:
synchronized processing
Group:
program proving

Quotation Skeleton

Today, synchronous languages have been established as a … These systems are typically safety critical, such as … The primary goal of a designer of safety-critical … its implementation is correct.   Google-1   Google-2

Copyright clearance needed for quotation.

Additional Titles

Quote: designers of safety-critical systems must convince themselves, the customer, and certification authorities that the design and implementation are correct

Related Topics up

Topic: safety critical systems (32 items)
Topic: type-safe and secure languages (42 items)
Topic: parallel programming languages (14 items)
Topic: synchronized processing (35 items)
Group: program proving   (10 topics, 310 quotes)

Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.