Model-Based Systems Engineering

SysML-Modelica

  • Former Chair of Object Management Group specification for SysML-Modelica transformation
  • Developed various SysML-Modelica transformation implementations
  • SysML (Eclipse XMI) <-> Modelica in QVT
  • SysML (MagicDraw) <-> Modelica in Java
  • SysML (Papyrus) <-> Modelica in Java
Data web servers

SysML Consulting

  • System Architecture Modeling
  • Supporting Parametric Trade-Off Studies
  • Supporting Topological Trade-Off Studies
  • Visualizing and Automating Trade-Off Studies (executable activity diagrams)
  • Translation of a system architecture model into simulation models (CAD, FEA, multibody-system models, controller models, etc.)
  • Supporting SysML interoperability

OCL constraints in SysML Models

  • First Order Predicate Logic (Quantifiers, Predicates, Functions, Constants, Variables)
  • Constraints defined in Object Constraint Language (OCL)
  • Applied OCL constraints against SysML models using Eclipse OCL
Data web servers

SysML Consulting

  • Add graph query capability for SysML
  • Perform SPARQL Queries on SysML data
  • Use regular expressions
  • Perform mathematical operations (SUM, COUNT, etc..)
Data web servers

Web-Based SysML Editor

Data web servers
Talk To Us