Programming languages for real-time systems

  • Authors:
  • Bruno Bouyssounouse;Joseph Sifakis

  • Affiliations:
  • Verimag Laboratory, Centre Equation, Gieres, France;VERIMAG, Centre Équation, Gières, France

  • Venue:
  • Embedded Systems Design
  • Year:
  • 2005

Quantified Score

Hi-index 0.00

Visualization

Abstract

The real-time and embedded systems market is huge and growing all the time. It has been estimated that 100 times more processors are destined for embedded systems rather than the desktop [Egg02]. Embedded real-time systems [Bur01]: are mainly small (for example, mobile phones) but can also be extremely large and complex (for example air traffic control systems) have potentially complex mathematical models of their controlled environment must be dependable are inherently concurrent must interact within the time frame of the environment must interact with low-level mechanisms such as hardware devices and memory management faculties.