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

Mathematica
 Referenced in 5178 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 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 firstorder logic ... symbolic calculator and has an embedded equational programming system. Otter is a fourthgeneration 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 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...

Camera Calibration
 Referenced in 52 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...

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

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

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 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 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/Simulinkbased 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 Ccompiler is available...

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