IBM

LINGUA FRANCA Increased systems complexity is causing schedule and costs overruns in the vast majority of defense and aerospace development projects. Despite the wide adoption of domain specific software tools, which are able to model, simulate and verify the most intricate corners of mechanics, flow dynamics, thermal interactions, electric power and logic and many more, the interaction between those tools, within and across the various domains, remains a thing of the future. Modeling, which is ubiquitous in the various domains, focuses on the interaction of object within the domain thus not having semantic meaning outside the domain. Also many modeling languages do not carry precisely defined semantics, but rather employ execution semantics of the specific tools they are used in. Thus integration between two languages and often between the same language in two separate tools is impossible. To address the above IBM team, basing its effort on the experience of prof. Sangiovanni and of ALES, is working on the definition of an integration language with rigorous semantics that would be able to bind the other languages and tools together. The work is based on the Tagged Signal Model (TSM) developed by prof. Sangiovanni and his colleague Edward Lee. The specific behavior and the semantics of various tools and languages are called Models of Computation and Communication (MoCC). Michael Masin, Alberto Sangiovanni-Vincentelli, Alberto Ferrari, Leonardo Mangeruca, Henry Broodney, Lev Greenberg, Michael Sambur, Dolev Dotan, Sergey Zolotnizky and Sasha Zadorozhniy IBM Research – Haifa Research Laboratory
file

Visible to the public IBM META Final Report.pdf

file

Visible to the public IBM META Software Narrative.pdf

file

Visible to the public README.txt

file

Visible to the public Wrapper Readme.docx

file

Visible to the public Concise modeling readme.docx

file

Visible to the public Description-of-software-ALES.docx

file

Visible to the public MetaIIBaseWorkspace.zip

file

Visible to the public Rhp_Desyre.zip

file

Visible to the public Concise Plug-in.zip