|
|
doc/en/ada_letters/dec2003 |
Выпуск dec2003. Спецвыпуск по 12-му заседанию международной рабочей группы по использованию язвыка Ада в системах реального времени. (Proceedings of the 12th International Real-Time Ada Workshop). |
|
|
dec2003 |
Выпуск dec2003. Спецвыпуск по 12-му заседанию международной рабочей группы по использованию язвыка Ада в системах реального времени. (Proceedings of the 12th International Real-Time Ada Workshop).
|
|
|
- |
Предисловие председателя. (Message from the Chair. Currie Colket) |
|
|
- |
От редакции журнала. (Newsletter Info) |
|
|
- |
Титульная страница. |
|
|
- |
Секция "Основные свойства языка". (Session: New Core Language Features) |
|
|
- |
Секция "Интеграция или ортогональность (Java реального времени вместо Ады)" (Session: Integration vs. Orthogonality) |
|
|
- |
Является ли грядущая технология 'Java в рельном времени' лучшей, чем Ada технология? (Is Java Augmented with the RTSJ a Better Real-Time ... Technology than Ada 95? AJ Wellings) |
|
|
- |
Секция: Текущие вопросы/предложения по системам реального времени. (Session: Current Real-Time AIs) |
|
|
- |
Отчет "Реализация в GNAT динамических предельных приоритетов". (Dynamic Ceiling Priorities in GNAT Implementation Report. Miranda et al.) |
|
|
- |
Управление несколькими таймерами времени исполнения из одиночной задачи. (Managing Multiple Execution-Time Timers from a Single Task. MG Harbour and MA Rivas) |
|
|
- |
Секция "Гибкое планирование исполнения задач в Аде". (Session: Flexible Scheduling in Ada) |
|
|
- |
Планирование исполнения задач на основе их атрибутов - развитие поддержки планирования в Аде. (Task Attribute-Based Scheduling - Extending Ada s Support for Scheduling. Burns and AJ Wellings) |
|
|
- |
Контроллируемое приложением планирование задач в Аде. (Application-Defined Scheduling in Ada. MA Rivas and MG Harbour) |
|
|
- |
Разделение по пространству и времени при помощи ARINC 653 и прагмы Profile. (Space & Time Partitioning with ARINC 653 and pragma Profile. JL Tokar) |
|
|
- |
Секция "Статус и будущее для Ravenscar". (Session: Ravenscar Status and Future) |
|
|
- |
Статический анализ Ravenscar программ. (Static Analysis of Ravenscar Programs. PN Amey and BJ Dobbing) |
|
|
- |
Шаблоны проектирования для Ravenscar? Опыт использования Ravenscar Profile. (Ravenscar Design Patterns? Reflections on Use of the Ravenscar Profile. T Vardanega) |
|
|
- |
Проверка, тестирование и мониторинг Open Ravenscar Real Time Kernel. (Verifying, Validating and Monitoring the Open Ravenscar Real Time Kernel. R Maia et al) |
|
|
- |
Часы исполняемого времени и Ravenscar ядра. (Execution-Time Clocks and Ravenscar Kernels. A de la Puente and J Zamorano) |
|
|
- |
Один из подходов к проверке конкурентных Ада-программ реального времени. (An Approach to Formal Verification of Real Time Concurrent Ada Programs. DJ Howe and S Michell) |
|
|
- |
Секция "Создание новых предложений к расширению языка" (Session: Generating New AIs) |
|
|
- |
Секция "Будущее IRTAW (международной рабочей группы по использованию язвыка Ада в системах реального времени)". (Session: The Future of IRTAW) |
|
|
