• Kronos

  • Referenced in 273 articles [sw01270]
  • Real-time systems are systems that must perform a task within strict time deadlines. Embedded ... protocols are examples of such time-dependent systems. These systems are often part of complex ... because failures may have severe consequences. Hence, real-time systems need to be rigorously modeled...
  • TAXYS

  • Referenced in 21 articles [sw01389]
  • development and verification of real-time embedded systems The correct behavior of real-time applications ... fact, violations of real-time constraints in embedded systems are the most difficult errors ... system and to the timing behavior of the system itself. Clearly, the development of real ... design and validation of real-time telecommunications software. One of the major goal...
  • MARTE

  • Referenced in 21 articles [sw21826]
  • MARTE: Modeling and Analysis of Real-time and Embedded systems. This specification ... model-based description of real time and embedded systems. These core concepts are then refined ... detailed design of real-time and embedded characteristics of systems. MARTE concerns also model-based ... define new techniques for analyzing real-time and embedded systems, but to support them. Hence...
  • TIMES

  • Referenced in 25 articles [sw01403]
  • schedulability analysis tool for embedded real-time systems, developed at Uppsala University...
  • TrueTime

  • Referenced in 42 articles [sw13636]
  • Networked and Embedded Control Systems. TrueTime is a Matlab/Simulink-based simulator for real-time control systems...
  • OSQP

  • Referenced in 27 articles [sw26960]
  • solution of a quasi-definite linear system with the same coefficient matrix in each iteration ... making it suitable for real-time applications in embedded systems. In addition, our technique...
  • Esterel

  • Referenced in 166 articles [sw20012]
  • suited to programming reactive systems, including real-time systems and control automata. The Esterel ... generate C-code to be embedded as a reactive kernel in a larger program that...
  • RTC toolbox

  • Referenced in 10 articles [sw14256]
  • level performance analysis of distributed real-time and embedded systems. The RTC Toolbox is based ... functions for Modular Performance Analysis with Real-Time Calculus...
  • Hume

  • Referenced in 5 articles [sw22188]
  • Domain-Specific Language for Real-Time Embedded Systems. This paper describes Hume: a novel domain ... spectrum in resource-constrained systems, such as real-time embedded or control systems. Hume provides...
  • MOMENT2

  • Referenced in 10 articles [sw10025]
  • existing model-based system can be extended with timed features in a non-intrusive ... give a real-time rewrite formal semantics to real-time model transformations, and show ... specifying and verifying model-based real-time and embedded systems within the Eclipse Modeling Framework...
  • Giotto

  • Referenced in 16 articles [sw08971]
  • Giotto: A Time-Triggered Language for Embedded Programming. Giotto provides an abstract programmer’s model ... implementation of embedded control systems with hard real-time constraints. A typical control application consists...
  • VEST

  • Referenced in 26 articles [sw01405]
  • cost, time to market, performance, and dependability constraints. Building and tailoring embedded systems by using ... that non-functional properties such as real-time performance and dependability are being ... checks based on aspects to support embedded system development via components...
  • Hybrid Toolbox

  • Referenced in 28 articles [sw15053]
  • simulating model predictive controllers for hybrid systems subject to constraints, and for generating linear ... that can be directly embedded as C-code in real-time applications...
  • TGFF

  • Referenced in 15 articles [sw17689]
  • areas of embedded systems, hardware/software co-design, operating systems (both real-time and general-purpose...
  • MaRTE OS

  • Referenced in 3 articles [sw34047]
  • applications. MaRTE OS (Minimal Real-Time Operating System for Embedded Applications) is a real-time...
  • Contego

  • Referenced in 1 article [sw34176]
  • integrating security tasks in real-time systems. Embedded real-time systems (RTS) are pervasive. Many ... real-time control systems in which major alterations of the system parameters for constituent tasks ... hierarchical scheduling to maintain compatibility with legacy systems while still providing flexibility by allowing security ... realistic embedded platform (an open- source ARM CPU running real-time Linux...
  • DREAM Tool

  • Referenced in 3 articles [sw05702]
  • performance estimation of distributed real-time embedded (DRE) systems. It focuses on the practical application ... formal verification and timing analysis to real-time middleware...
  • EFSMT

  • Referenced in 2 articles [sw19487]
  • synthesis of distributed and embedded real-time systems for controlling, often in a nonlinear...
  • VDMTools

  • Referenced in 2 articles [sw18244]
  • group of tools supporting the analysis of system models expressed in the formal language ... modeling and analysing distributed embedded real-time systems. VDMTools provides extensive static semantics checking, automatic...
  • DYANA

  • Referenced in 1 article [sw36150]
  • DYANA: HLA-based distributed real-time embedded systems simulation tool. In this paper we present ... tool is used for distributed Real-Time Embedded Systems (RTES) simulation. RTES models are described...