• Fujaba

  • Referenced in 13 articles [sw04100]
  • providing developers with support for model-based software engineering and re-engineering. The Fujaba project...
  • NModel

  • Referenced in 11 articles [sw11364]
  • explained and used in the book Model-based Software Testing and Analysis with ... where a test engineer must code each test case, model-based testing is recommended where...
  • Capella

  • Referenced in 1 article [sw19234]
  • another modelling tool, Capella is a model-based engineering solution that has been successfully deployed ... industrial contexts. Based on a graphical modelling workbench, it provides systems, software and hardware architects ... guidance relying on Arcadia, a comprehensive model-based engineering method. The Capella workbench...
  • HFGT

  • Referenced in 1 article [sw33976]
  • these engineering systems from a holistic perspective has necessitated ever-more sophisticated modeling ... techniques. Despite significant advancements in model-based systems engineering and network science, these seemingly disparate...
  • ISAAP

  • Referenced in 10 articles [sw07468]
  • analysis of aspiration-based preferences. Model-based Decision Support Systems (DSSs) often use multi-criteria ... Pareto-optimal solutions. Such a selection is based on the interactive specification of user preferences ... analysis of nonlinear problems in several engineering applications...
  • DiKe

  • Referenced in 2 articles [sw23957]
  • describes the DiKe model-based diagnosis framework, which incorporates multiple diagnosis engines, multiple user-level ... integrated toolset for the development of model-based diagnosis applications. The framework has been used...
  • ArgoSPE

  • Referenced in 1 article [sw02016]
  • ArgoSPE: Model-based software performance engineering Stochastic Petri nets (SPNs) have been proved useful...
  • MuJoCo

  • Referenced in 11 articles [sw27214]
  • researchers and developers. MuJoCo is a physics engine aiming to facilitate research and development ... unique combination of speed, accuracy and modeling power, yet it is not merely a better ... ground up for the purpose of model-based optimization, and in particular optimization through contacts...
  • PAROC

  • Referenced in 4 articles [sw21878]
  • platform that enables the use of model-based tools in design, operational optimisation and advanced ... fidelity dynamic model, and its validation and model analysis, (ii) a model approximation step, including ... model reduction and global sensitivity analysis, (iii) a receding horizon modelling step for model-predictive ... analysed within the original high-fidelity model. The proposed software platform, PAROC, is also introduced...
  • TimeSquare

  • Referenced in 4 articles [sw15830]
  • Time. TimeSquare is an Eclipse and model-based environment for the specification, analysis and verification ... temporal constraints. It implements the MARTE Time Model and its specification language, the Clock Constraint ... refined) and multiform. TimeSquare is based on the latest model-driven technology so that more ... provides an XText-based editor of constraints, a polychronous clock calculus engine able to process...
  • MauveDB

  • Referenced in 2 articles [sw28306]
  • MauveDB: supporting model-based user views in database systems. Real-world data --- especially when generated ... support for applying models to such data, especially when those models need to be frequently ... system. Hence, most scientists and engineers who depend on models for managing their data ... define a new abstraction called model-based views and present the architecture of MauveDB...
  • MBC Toolbox

  • Referenced in 1 article [sw32112]
  • Toolbox: Model-Based Calibration Toolbox™ provides apps and design tools for modeling and calibrating complex ... engines, electric machines, pumps, and fans, as well as nonautomotive systems such as jet engines ... 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...
  • CGM

  • Referenced in 6 articles [sw11298]
  • modelers, both at the syntax level and in the underlying topological models. A modeler-independent ... smooth over topological differences between modelers, and to allow modeler-independent modification of topology ... most modelers, like support for non-manifold topology, and alternative representations, including facet-based ... simplify the implementation of other solid model-based or alternative representations of geometry. Ports...
  • Prognostics Model Library

  • Referenced in 0 articles [sw32965]
  • useful life) of engineering systems, and provides a set of prognostics models for select components ... library currently includes models for valves, pumps, and batteries. The Prognostics Model Library is implemented ... model (specifying variables, parameters, and equations), simulating the model, and embedding it within common model ... based prognostics algorithms. A user can use existing models within the library or construct...
  • RT-LAB

  • Referenced in 0 articles [sw31715]
  • offers the most complex model-based design for interaction with real-world environments. It provides ... revolutionized the world of systems engineering, whether in space, on the ground...
  • ADOL-C

  • Referenced in 226 articles [sw00019]
  • ADOL-C: Automatic Differentiation of C/C++. We present...
  • BARON

  • Referenced in 308 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • CUTE

  • Referenced in 59 articles [sw00177]
  • CUTE: a concolic unit testing engine for C...
  • Isabelle

  • Referenced in 605 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • Mathematica

  • Referenced in 5823 articles [sw00554]
  • Almost any workflow involves computing results, and that...