
Simulink
 Referenced in 721 articles
[sw04348]
 ModelBased Design for dynamic and embedded systems. It provides an interactive graphical environment...

Mathematica
 Referenced in 5883 articles
[sw00554]
 publishing interactive engineering textbooks, to developing embedded imagerecognition algorithms or teaching calculus. Mathematica ... deployed individual or enterprise solutions. Computer algebra system...

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

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

OTTER
 Referenced in 313 articles
[sw02904]
 current automated deduction system Otter is designed to prove theorems stated in firstorder logic ... symbolic calculator and has an embedded equational programming system. Otter is a fourthgeneration Argonne...

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

Esterel
 Referenced in 162 articles
[sw20012]
 programming reactive systems, including realtime systems and control automata. The Esterel v5 compiler ... generate Ccode 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...

Modelica
 Referenced in 90 articles
[sw04352]
 modeling of large, complex, and heterogeneous systems. It is suited for multidomain modeling ... loop simulations and for embedded control systems...

Camera Calibration
 Referenced in 51 articles
[sw13537]
 Simulink® blocks. For rapid prototyping and embedded system design, the system toolbox supports fixedpoint...

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...

KLEE
 Referenced in 42 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...

MARTE
 Referenced in 21 articles
[sw21826]
 Analysis of Realtime 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 realtime and embedded systems, but to support them. Hence, it provides...

ECOS
 Referenced in 37 articles
[sw12123]
 solve optimization problems on any embedded system for which a Ccompiler is available...

TAXYS
 Referenced in 21 articles
[sw01389]
 development and verification of realtime embedded systems The correct behavior of realtime applications ... violations of realtime constraints in embedded systems are the most difficult errors to detect ... itself. Clearly, the development of realtime 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 realtime systems, developed at Uppsala University in 2001. It is appropriate...

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

HIFOO
 Referenced in 55 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...

TrueTime
 Referenced in 39 articles
[sw13636]
 TrueTime: Simulation of Networked and Embedded Control Systems. TrueTime is a Matlab/Simulinkbased simulator for real...

Breach
 Referenced in 20 articles
[sw20822]
 analysis of deterministic models of hybrid dynamical systems. The primary feature of Breach ... application domain of Breach ranges from embedded systems design to the analysis of complex...

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