𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A process algebraic framework for specification and validation of real-time systems

✍ Scribed by Adnan Sherif; Ana Cavalcanti; He Jifeng; Augusto Sampaio

Publisher
Springer
Year
2009
Tongue
English
Weight
492 KB
Volume
22
Category
Article
ISSN
0934-5043

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A framework for developing intelligent r
A framework for developing intelligent real-time scheduling systems
✍ Ronald F. McPherson; K. Preston White; Jr. πŸ“‚ Article πŸ“… 2006 πŸ› John Wiley and Sons 🌐 English βš– 203 KB

The authors describe the adaptation of a hierarchical management-control framework to the design of intelligent real-time scheduling systems. Originally developed for the analysis of organizations where dynamics are governed solely by the reactions of human decision makers, the control framework pro

An Overview of RealTimeTalk, a Design Fr
An Overview of RealTimeTalk, a Design Framework for Real-Time Systems
✍ Christer Eriksson; Jukka MΓ€ki-Turja; Kjell Post; Mikael Gustafsson; Jan Gustafss πŸ“‚ Article πŸ“… 1996 πŸ› Elsevier Science 🌐 English βš– 266 KB

In the real-time research community, one often distinguishes between hard and soft temporal requirements. If a deadline is violated in a hard real-time computation the logical result is useless. In a soft real-time computation, the logical result could have a meaning even though a deadline is not me