VFS Website
  • VIEW CART
  • CUSTOMER SUPPORT
  • MY STORE ACCOUNT
  • CONTACT US
  • STORE HOME
  • 5Prime
  • Forum Proceedings
  • Workshops
  • Technical Meetings
  • Vertiflite
  • Books, CDs & Gifts


Unable to log in or get member pricing? Having trouble changing your password?

Please review our Frequently Asked Questions for complete information on these and other common situations.
 

Vertical Flight Library & Store

CHECKOUT

0 Item(s) In Cart Total: $0.00


Architecture-Driven Assurance for Safety-Critical Avionic Systems

Dan Bliek, Rockwell Collins

  • Your Path :
  • Home
  • > Architecture-Driven Assurance for Safety-Critical Avionic Systems

On Sale: Architecture-Driven Assurance for Safety-Critical Avionic Systems

  • Presented at Forum 74
  • 7 pages
  • SKU # : 74-2018-0069
  • Your Price : $30.00
  • Join or log in to receive the member price of $5.00!


VFS member?
Don't add this to your cart just yet!
Be sure to log in first to receive the member price of $5.00!

 

Add to Wish List

Reward Value:
(60) Member Points

Architecture-Driven Assurance for Safety-Critical Avionic Systems

Authors / Details: Dan Bliek, Rockwell Collins

Abstract
As the growth in complexity of avionic systems continues, development costs and schedules have correspondingly increased dramatically. Systems engineering tools and methods have not sufficiently adapted to the demands of today's complex systems and as a result avionic systems typically field late, over budget, and often with reduced capabilities. The status quo for systems and software engineering tools, methods and processes is no longer affordable. Architecture-Driven Assurance is model-based systems engineering (MBSE) development approach for constructing reliable and secure systems using engineering models. The objective of the architecture-driven assurance methodology is to ensure that cyber-resilient, functionally correct, verifiably safe components can be rapidly developed, integrated and verified. The approach integrates compositional reasoning into the engineering workflow utilizing system models and formalized descriptions of system behaviors. The models are translated into a form that can be interpreted by powerful formal methods based general-purpose analysis engines. Rockwell Collins has created an integrated development environment that supports the architecture-driven assurance concepts integrated into a systems engineering workflow.

Popular Products

  • Master Card
  • Visa
  • American Express
  • Customer Support
  • Contact Us
  • Privacy and Security Policies
  • Refund Policies

Copyright © 2022 The Vertical Flight Society. All rights reserved.