• HCSP

  • Referenced in 2 articles [sw02577]
  • HCSP: Extending CSP for codesign and shared memory. HCSP is a variant of CSP adapted ... motivated by the needs of hardware compilation, HCSP can be applied more widely including software ... form the foundation of a codesign language. HCSP is an extension of CSPP: familiarity with...
  • Matlab

  • Referenced in 13702 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • Daikon

  • Referenced in 44 articles [sw04319]
  • The Daikon system for dynamic detection of likely...
  • Simulink

  • Referenced in 820 articles [sw04348]
  • Simulink® is an environment for multidomain simulation and...
  • StateFlow

  • Referenced in 46 articles [sw04350]
  • Stateflow® is an environment for modeling and simulating...
  • Modelica

  • Referenced in 126 articles [sw04352]
  • Modelica is a freely available, object-oriented language...
  • Cheddar

  • Referenced in 8 articles [sw04758]
  • Cheddar is a free real time scheduling tool...
  • iFEST

  • Referenced in 4 articles [sw07300]
  • The iFEST project (industrial Framework for Embedded Systems...
  • Ptolemy

  • Referenced in 81 articles [sw07459]
  • A modular formal semantics for Ptolemy. Ptolemy is...
  • SysML

  • Referenced in 23 articles [sw09155]
  • SysML Open Source Specification Project. The SysML.org web...
  • Metropolis

  • Referenced in 17 articles [sw16265]
  • Metropolis: an integrated electronic system design environment. oday...
  • Zelus

  • Referenced in 4 articles [sw20166]
  • Zélus: a synchronous language with ODEs. Zélus is...
  • MARTE

  • Referenced in 21 articles [sw21826]
  • MARTE: Modeling and Analysis of Real-time and...
  • Circus

  • Referenced in 90 articles [sw21828]
  • The Semantics of Circus. Circus is a concurrent...