The Ravenscar Profile for Real-Time and High Integrity Systems

Abstract

T he Ravenscar Profile is now established as a state-of-the-art model for building safe and reliable real-time systems. The profile was originally defined in 1997 at a workshop of international real-time experts and is named after the village of Ravenscar in northern England where the workshop was held. It is specified as a subset of concurrency features in… (More)

1 Figure or Table

Topics

  • Presentations referencing similar topics