Titlebook: Reliable Software Technologies - Ada-Europe 2002; 7th Ada-Europe Inter Johann Blieberger,Alfred Strohmeier Conference proceedings 2002 Spri

伤害

书目名称Reliable Software Technologies - Ada-Europe 2002影响因子(影响力)




书目名称Reliable Software Technologies - Ada-Europe 2002影响因子(影响力)学科排名




书目名称Reliable Software Technologies - Ada-Europe 2002网络公开度




书目名称Reliable Software Technologies - Ada-Europe 2002网络公开度学科排名




书目名称Reliable Software Technologies - Ada-Europe 2002被引频次




书目名称Reliable Software Technologies - Ada-Europe 2002被引频次学科排名




书目名称Reliable Software Technologies - Ada-Europe 2002年度引用




书目名称Reliable Software Technologies - Ada-Europe 2002年度引用学科排名




书目名称Reliable Software Technologies - Ada-Europe 2002读者反馈




书目名称Reliable Software Technologies - Ada-Europe 2002读者反馈学科排名

刻苦读书

OMC-INTEGRAL Memory Managementrolling the Optical Monitoring Camera (OMC) payload of the . (.) . (.). This article explains the solutions adopted at high and low level, in order to solve the problems created by this restriction. It also provides a general description of the main functionality of the OMC satellite payload.

全国性

Development of a Control System for Teleoperated Robots Using UML and Ada95designed following a concurrent object modeling and architectural design methodology that uses UML as describing language. The architecture of the whole system has been implemented in a blasting robot for ship hulls- GOYA -using Ada 95 and GLADE. Our previous experience in developing teleoperated service robots using Ada is also presented.

Ornament

A POSIX-Ada Interface for Application-Defined Schedulingined scheduling algorithms in a way compatible with the scheduling model of the Ada 95 Real-Time Systems Annex. Several application-defined schedulers, implemented as special user tasks, can coexist in the system in a predictable way. This API is currently implemented on our operating system MaRTE OS.

ARC

High-Integrity Systems Development for Integrated Modular Avionics Using VxWorks and GNATectures. The advances in Ada and RTOS technologies are explained and the impact of requirements for RTCA/DO-178B and EUROCAE/ED-12B certification and achievements are presented in the context of the GNAT and VxWorks technologies.

小官

GEN

innovation

DataFAN: A Practical Approach to Data Flow Analysis for Ada 95n the early detection of critical errors and achieving a better code quality. In this paper, we present a set of practical requirements for the industrial use of such tools and report on the development of DataFAN, a data-flow analysis tool satisfying these requirements.

oxidize

无效

Reliable Software Technologies - Ada-Europe 2002978-3-540-48046-4Series ISSN 0302-9743 Series E-ISSN 1611-3349