• CBMC

  • Referenced in 77 articles [sw09719]
  • procedure. While CBMC is aimed for embedded software, it also supports dynamic memory allocation using...
  • CompCert

  • Referenced in 45 articles [sw09737]
  • realistic compilers usable for critical embedded software. Such verified compilers come with a mathematical, machine...
  • TWINE

  • Referenced in 34 articles [sw09705]
  • proposals, yet enables efficient implementations on embedded software. Moreover, it allows a compact implementation...
  • SCADE

  • Referenced in 20 articles [sw00829]
  • product line of the ANSYS® Embedded software family of products and solutions that empowers users ... Model-Based Development Environment for critical embedded software. With native integration of the formally-defined...
  • Metropolis

  • Referenced in 17 articles [sw16265]
  • shifts the design implementation task toward embedded software design. When embedded software reaches the complexity...
  • ASTREE

  • Referenced in 113 articles [sw13704]
  • success to large embedded control-command safety critical real-time software generated automatically from synchronous...
  • Esterel

  • Referenced in 163 articles [sw20012]
  • compiler can be used to generate a software or hardware implementation of a reactive program ... generate C-code to be embedded as a reactive kernel in a larger program that...
  • CVXGEN

  • Referenced in 39 articles [sw07151]
  • code generator for embedded convex optimization. CVXGEN is a software tool that takes a high ... simple, flat, library-free code suitable for embedding in real-time applications. The generated code...
  • TuLiP

  • Referenced in 9 articles [sw20173]
  • software toolbox for the synthesis of embedded control software that is provably correct with respect...
  • Vertaf

  • Referenced in 4 articles [sw08200]
  • design and verification of embedded real-time software. The growing complexity of embedded real-time ... automatic design of embedded real-time software are poor in integrating functional and nonfunctional requirements ... framework called Verifiable Embedded Real-Time Application Framework (VERTAF), which integrates software component-based reuse ... from SGM, by adapting it for embedded software. The proposed architecture for VERTAF is component...
  • ReachLab

  • Referenced in 3 articles [sw10313]
  • Computation platform for automatic analysis of embedded software systems using model based approach. In this ... ReachLab, which enables automatic analysis of embedded software systems that interact with continuous environment. Algorithms...
  • BLAD

  • Referenced in 19 articles [sw08612]
  • diffalg package, which is embedded in the MAPLE computer algebra software, and the BLAD libraries...
  • ESBMC

  • Referenced in 7 articles [sw09946]
  • context-bounded model checker for embedded C/C++ software based on Satisfiability Modulo Theories (SMT) solver...
  • RICPAC

  • Referenced in 61 articles [sw15253]
  • implicit or descriptor) state space form. A software package called RICPACK has been developed ... symplectic generalized eigenvalue problems. Utilizing an embedding technique, the package also calculates a solution even...
  • mbeddr

  • Referenced in 2 articles [sw22663]
  • defining higher-level abstractions relevant to embedded software. In this paper we present the mbeddr ... extension of C with constructs adequate for embedded systems. In mbeddr, efficient low-level programs ... extension can address the challenges of embedded software development and report on our experience...
  • Pyomo

  • Referenced in 44 articles [sw04910]
  • solving large-scale optimization problems. The software extends the modeling approach supported by modern ... flexible, extensible, and portable AML that is embedded in Python, a full-featured scripting language ... install and get started with the software is also provided. A detailed reference of Pyomo...
  • jMocha

  • Referenced in 3 articles [sw24777]
  • practical tool for automated debugging of embedded software. In model checking, a high-level description...
  • RMetrics

  • Referenced in 29 articles [sw09991]
  • modern methods, the Rmetrics open source software combines exploratory data analysis, statistical modelling and rapid ... model prototyping. The R/Rmetrics packages are embedded in R, building an environment which creates...
  • StarPU

  • Referenced in 39 articles [sw14216]
  • accelerator-based machines. Our system features a software virtual shared memory that provides a weak ... keeps track of data copies within accelerator embedded-memories and features a data-prefetching engine...
  • SWATT

  • Referenced in 5 articles [sw09061]
  • SWATT: software-based attestation for embedded devices. We expect a future where we are surrounded ... contents of these embedded devices. In this paper, we propose a softWare-based attestation technique...