Meta 2: Lingua Franca Design and Integration Language

Abstract

Part of the META II project. IBM is developing a cyber-physical modeling language with associated tool-chains demos. Language divides into three parts - Models Of Computation integration, Contracts and Variability Modeling package. All language constructs are given precise semantics to allow formal systems definition, reasoning and wide range of analyses, including hybrid (cyber-physical) simulation and formal verification. The work is being done with the assistance of Alberto Sangiovanni Vincentelli (UC Berkeley), Advanced Laboratory for Embedded Systems (ALES - Rome, Italy) and United Technologies Research Center.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Aug 01, 2011
Accession Number
ADA554241

Entities

People

  • Alberto Ferrari
  • Alberto Sangiovanni-Vincentelli
  • Dolev Dotan
  • Henry Broodney
  • Leonardo Mangeruca
  • Lev Greenberg
  • Michael Masin
  • Michael Sambur
  • Sasha Zadorozhnyi
  • Sergey Zolotnizky

Organizations

  • International Business Machines Corporation (Armonk, NY)

Tags

Communities of Interest

  • Biomedical
  • C4I
  • Cyber
  • Energy and Power Technologies
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Air Force
  • Aircrafts
  • Auxiliary Power Units
  • Computations
  • Computer Programming
  • Contracts
  • Differential Equations
  • Embedded Systems
  • Engineers
  • Language
  • Operations Research
  • Partial Differential Equations
  • Software Development
  • Stochastic Processes
  • Systems Engineering
  • Turbines
  • Unmanned Aerial Vehicles

Fields of Study

  • Computer science

Readers

  • Academic Conference Management
  • Canadian European Scientific Immigration and Epilepsy Clearance Studies
  • Software Engineering.

Technology Areas

  • Cyber