Meta 2: Lingua Franca Design and Integration Language

摘要

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.