Tools for Optimization and Validation of System Architecture and Software

Abstract

UAV systems architectures rank among the most complex ones with high safety requirements. Some new software tools have recently emerged that are worth to be known. This lecture was given to advertise four of them on the following topics : I) Static verification of real time software, to avoid run-time errors, typically what happen for Ariane V; 2) Simulation of real time architecture to optimize conception and validate the final choice; 3) edition of command and control software with interpreted properties like on-line automatic reprogramming; 4) optimization under constraints for continuous and discrete processes.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Apr 01, 2000
Accession Number
ADP010755

Entities

People

  • C. Fargeon

Tags

Communities of Interest

  • Air Platforms
  • Autonomy
  • C4I
  • Energy and Power Technologies
  • Space
  • Weapons Technologies

DTIC Thesaurus Topics

  • Algorithms
  • Atmosphere Entry
  • Central Processing Units
  • Command And Control
  • Communication Channels
  • Computer Programming
  • Computers
  • Data Links
  • Linear Programming
  • Operations Research
  • Optimization
  • Petri Nets
  • Simplex Method
  • Simulations
  • Simulators
  • Trees (Data Structures)
  • Vehicles

Fields of Study

  • Computer science
  • Engineering

Readers

  • Database Systems and Applications
  • Systems Analysis and Design

Technology Areas

  • Fully Networked C3
  • Fully Networked C3 - Command and Control