Back to Results
First PageMeta Content
Simulation software / Computing / Modelica / Systems engineering / Reliability engineering / Formal verification / Dymola / Functional Mock-up Interface / Object-oriented programming / Software engineering / Application software


Verification and Design Exploration through Meta Tool Integration with OpenModelica Zsolt Lattmann2, Adrian Pop1, Johan de Kleer3, Peter Fritzson1, Bill Janssen3, Sandeep Neema2, Ted Bapty2, Xenofon Koutsoukos2, Matthew
Add to Reading List

Document Date: 2014-03-27 08:06:24

Open Document

File Size: 1,51 MB

Share Result on Facebook

City

Fl. / Oslo / Jerusalem / Budapest / Lund / Berlin / Miami / Constraint / /

Company

Agency for Innovation / Distribution Unlimited / Embedded Software / Embedded Systems / Project Analyzer / Wiley-IEEE Press / /

Country

Hungary / Sweden / Norway / United States / /

Currency

USD / /

/

Event

FDA Phase / /

Facility

Modelica Standard Library / Information Science Linköping University / Vanderbilt University / /

IndustryTerm

tool chain / integrated tool chain / domain tools / manufacturing component models / web browser / model transformation software components / domain-specific tool / reliability tool / manufacturing domain model / analysis domain tools / reliability analysis tool / domain tool / formal verifier tool / formal verification tools / design tool chain / manufacturing time / formal verification tool / conceptual manufacturing / manufacturing / computing / post processing script / verification tool / steel / /

Organization

Defense Advanced Research Agency / Swedish Governmental Agency for Innovation Systems / Defense Advanced Research Projects Agency / MIT / U.S. Government / Computer and Information Science Linköping University / Tactical Technology Office / Palo Alto Research Center / Swedish Research Council / CyPhy Component Assembly / Department of Computer / Vanderbilt University / Modelica Association / /

Person

Philipp Helle / Ion Matei / Gabor Pap / Sandeep Neema / Graham Hemingway / Johan de Kleer / Daniel G. Bobrow / Christiaan Paredis / Wladimir Schamai / Peter Fritzson / Saravan Sutharshana / Muhammed Zoheb Hossain / Raj Minhas / Andrea Tundis / Laszlo Juracz / Lena Rogovchenko-Buffoni / Bhaskar Saha / Tolga Kurtoglu / Meta Tool / Bill Janssen / Larry Howard / Kevin Smyth / Nicholas R. Moore / /

/

Position

editor / translator / Job Manager / simulation model for formal verification purposes / Modelica Source Code Modelica model Translator / designer / generated Modelica model for formal verification / Manager CyPhyML / controller / /

Product

Public Release / /

ProgrammingLanguage

Object Constraint Language / C / Python / XML / /

ProvinceOrState

Massachusetts / /

PublishedMedium

Lecture Notes in Computer Science / /

Technology

design verification / XML / API / fluid dynamics / simulation / CAD / /

URL

http /

SocialTag