• Simulink

  • Referenced in 755 articles [sw04348]
  • environment for multidomain simulation and Model-Based Design for dynamic and embedded systems. It provides...
  • JML

  • Referenced in 188 articles [sw04597]
  • combines the design by contract approach of Eiffel and the model-based specification approach...
  • SCADE

  • Referenced in 20 articles [sw00829]
  • solutions that empowers users with a Model-Based Development Environment for critical embedded software. With ... Scade language, SCADE Suite is the integrated design environment ... critical applications spanning requirements management, model-based design, simulation, verification, qualifiable/certified code generation, and interoperability...
  • MARTE

  • Referenced in 21 articles [sw21826]
  • short MARTE), provides support for specification, design, and verification/validation stages. This new profile is intended ... MARTE consists in defining foundations for model-based description of real time and embedded systems ... design of real-time and embedded characteristics of systems. MARTE concerns also model-based analysis...
  • SMAC

  • Referenced in 58 articles [sw27215]
  • Model-based Algorithm Configuration. SMAC (sequential model-based algorithm configuration) is a versatile tool ... models SMAC is based on can also capture and exploit important information about the model ... Ultimately, we hope that it helps algorithm designers focus on tasks that are more scientifically...
  • DSP Builder

  • Referenced in 4 articles [sw10258]
  • Simulink, the industry-leading tool for model-based design from MathWorks...
  • MuJoCo

  • Referenced in 14 articles [sw27214]
  • featured simulator designed from the ground up for the purpose of model-based optimization ... state estimation, system identification and automated mechanism design, and apply them to complex dynamical systems...
  • JAHUEL

  • Referenced in 2 articles [sw10084]
  • present a theoretically sound and automated model-based design, analysis, and implementation framework for synthesizing...
  • PAROC

  • Referenced in 4 articles [sw21878]
  • that enables the use of model-based tools in design, operational optimisation and advanced control...
  • SL2SX

  • Referenced in 1 article [sw20160]
  • widely used in industry for model-based design. Numerical simulation scales well...
  • CGM

  • Referenced in 6 articles [sw11298]
  • alternative representations, including facet-based and `virtual’ geometry. CGM is designed to be extensible, allowing ... also designed to simplify the implementation of other solid model-based or alternative representations...
  • LTSA-WS

  • Referenced in 13 articles [sw10585]
  • describe a tool for a model-based approach to verifying compositions of web service implementations ... tool supports verification of properties created from design specifications and implementation models to confirm expected...
  • PreScan

  • Referenced in 1 article [sw14668]
  • Advanced Driver Assistance Systems (ADAS) that are based on sensor technologies such as radar, laser/lidar ... PreScan is also used for designing and evaluating vehicle-to-vehicle (V2V) and vehicle ... PreScan can be used from model-based controller design (MIL) to real-time tests with...
  • BOIN

  • Referenced in 0 articles [sw16273]
  • same time. The BOIN design is algorithm-based and can be implemented in a simple ... traditional 3+3 design. The BOIN design yields an average performance that is comparable ... method (CRM, one of the best model-based designs) in terms of selecting...
  • CRCView

  • Referenced in 2 articles [sw35381]
  • Dirichlet process mixture model-based clustering algorithm. CRCView is designed to clustering genes based...
  • RT-LAB

  • Referenced in 0 articles [sw31715]
  • offers the most complex model-based design for interaction with real-world environments. It provides...
  • crmPack

  • Referenced in 1 article [sw15961]
  • Implements a wide range of model-based dose escalation designs, ranging from classical and modern...
  • FRESCo

  • Referenced in 1 article [sw37900]
  • developed a phylogenetic codon model-based framework, FRESCo, designed to find regions of excess synonymous...
  • MBC Toolbox

  • Referenced in 1 article [sw32112]
  • MATLAB MBC Toolbox: Model-Based Calibration Toolbox™ provides apps and design tools for modeling ... define optimal test plans, automatically fit statistical models, and generate calibrations and lookup tables ... automate the model fitting and calibration process. Models created with Model-Based Calibration Toolbox...
  • LCOBYQA

  • Referenced in 8 articles [sw10964]
  • inequality constraints. The algorithm is based on the model of the given function constructed from ... second derivative matrix of the model. The model is then minimized by a trust-region ... iterate is found from a model iteration, designed to improve the geometry of the interpolation ... very competing against available model-based derivative-free algorithms...