• Simulink

  • Referenced in 625 articles [sw04348]
  • Model-Based Design for dynamic and embedded systems. It provides an interactive graphical environment...
  • Mathematica

  • Referenced in 5138 articles [sw00554]
  • publishing interactive engineering textbooks, to developing embedded image-recognition algorithms or teaching calculus. Mathematica ... deployed individual or enterprise solutions. Computer algebra system...
  • HyTech

  • Referenced in 309 articles [sw04125]
  • automatic tool for the analysis of embedded systems. HyTech computes the condition under which...
  • NuSMV

  • Referenced in 277 articles [sw04131]
  • joint project between: The Embedded Systems Unit in the Center for Information Technology...
  • OTTER

  • Referenced in 286 articles [sw02904]
  • current automated deduction system Otter is designed to prove theorems stated in first-order logic ... symbolic calculator and has an embedded equational programming system. Otter is a fourth-generation Argonne...
  • Kronos

  • Referenced in 255 articles [sw01270]
  • systems are systems that must perform a task within strict time deadlines. Embedded controllers, circuits...
  • Esterel

  • Referenced in 154 articles [sw20012]
  • programming reactive systems, including real-time systems and control automata. The Esterel v5 compiler ... generate C-code to be embedded as a reactive kernel in a larger program that ... gates, which can then be embedded in a larger system. Extensive optimization is available...
  • Camera Calibration

  • Referenced in 52 articles [sw13537]
  • Simulink® blocks. For rapid prototyping and embedded system design, the system toolbox supports fixed-point...
  • VEST

  • Referenced in 26 articles [sw01405]
  • constructing and analyzing component based embedded systems Embedded systems are proliferating at an amazing rate ... successful these systems must be tailored to meet many cost, time to market, performance ... dependability constraints. Building and tailoring embedded systems by using domain specific components has promise. However ... checks based on aspects to support embedded system development via components...
  • Modelica

  • Referenced in 68 articles [sw04352]
  • modeling of large, complex, and heterogeneous systems. It is suited for multi-domain modeling ... loop simulations and for embedded control systems...
  • MARTE

  • Referenced in 21 articles [sw21826]
  • Analysis of Real-time and Embedded systems. This specification of a UML® profile adds capabilities ... driven development of Real Time and Embedded Systems (RTES). This extension, called the UML profile ... based description of real time and embedded systems. These core concepts are then refined ... techniques for analyzing real-time and embedded systems, but to support them. Hence, it provides...
  • KLEE

  • Referenced in 35 articles [sw04894]
  • level environment installed on millions of Unix systems, and arguably are the single most heavily ... equivalent tools in the BUSYBOX embedded system suite, results were even better, including 100% coverage...
  • TAXYS

  • Referenced in 21 articles [sw01389]
  • development and verification of real-time embedded systems The correct behavior of real-time applications ... violations of real-time constraints in embedded systems are the most difficult errors to detect ... itself. Clearly, the development of real-time systems requires rigorous methods and tools to reduce ... whole application which is composed of the embedded computer and its external environment. For this...
  • TIMES

  • Referenced in 25 articles [sw01403]
  • tool for modelling and implementation of embedded systems TIMES is a modelling and schedulability analysis ... tool for embedded real-time systems, developed at Uppsala University in 2001. It is appropriate...
  • PAKCS

  • Referenced in 26 articles [sw13688]
  • programming with dynamic web pages, prototyping embedded systems). Thus, the size of all current Curry...
  • TrueTime

  • Referenced in 35 articles [sw13636]
  • TrueTime: Simulation of Networked and Embedded Control Systems. TrueTime is a Matlab/Simulink-based simulator for real...
  • HIFOO

  • Referenced in 45 articles [sw05188]
  • controller design for linear systems is a difficult, nonconvex, nonsmooth optimization problem when the order ... typical requirement in e.g. embedded aerospace control systems. In addition, it is often desired...
  • KLEIN

  • Referenced in 19 articles [sw09457]
  • realizing both security and efficiency in embedded systems like RFID tags and sensor nodes. Among...
  • ECOS

  • Referenced in 19 articles [sw12123]
  • solve optimization problems on any embedded system for which a C-compiler is available...
  • MIST

  • Referenced in 18 articles [sw02431]
  • exponentiation and which are implemented in embedded systems such as smart cards. It is more...