The priority ceiling protocol: A method for minimizing the blocking of high priority Ada tasks
IRTAW '88 Proceedings of the second international workshop on Real-time Ada issues
A practitioner's handbook for real-time analysis
A practitioner's handbook for real-time analysis
HRT-HOOD: a structured design method for hard real-time systems
Real-Time Systems
Experience with the development of hard real-time embedded Ada software
ICSE '94 Proceedings of the 16th international conference on Software engineering
Tool support for the construction of statically analysable hard real-time Ada systems
RTSS '96 Proceedings of the 17th IEEE Real-Time Systems Symposium
On the use of Ada tasking in the building of satellite control software
WPDRTS '95 Proceedings of the 3rd Workshop on Parallel and Distributed Real-Time Systems
WPDRTS '97 Proceedings of the 1997 Joint Workshop on Parallel and Distributed Real-Time Systems (WPDRTS / OORTS '97)
Hi-index | 0.00 |
In the development of on-board real-time systems an important proportion of critical requirements tends to consolidate at a late stage during the establishment of the physical model of the system. This reflects the progressive adaptation of the logical model to the features of the execution environment. This phenomenon will be exacerbated by the urge to halve the duration of the development schedule while in ating the size and complexity of the software product. These demands may be accommodated by the provision of a design framework capable of supporting the parallel and incremental definition of the logical and physical model.