Securing Real time systems with legacy components via formal meta object architectures

Abstract

The proposed work is to develop new software methods and tools to reduce complexity of distributed real time systems and increase their security and safety in a way that supports reuse of legacy components.

Document Details

Document Type
DoD Grant Award
Publication Date
Mar 07, 2017
Source ID
N00173171G002

Entities

People

  • José Meseguer

Organizations

  • United States Naval Research Laboratory
  • United States Navy
  • University of Illinois Urbana–Champaign

Tags

Fields of Study

  • Computer science
  • Engineering

Readers

  • Approximation Theory.
  • Database Systems and Applications
  • Surface Engineering/Surface Coating Technology.