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

Contracture

Evaluating Performance and Power of Object-Oriented Vs. Procedural Programming in Embedded Processore application software that executes on embedded processor cores. It has been extensively pointed out that the increasing complexity and decreasing time-to-market of embedded software can only be confronted by the use of modular and reusable code, which forces software designers to use objected orie

deadlock

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.

圓錐體

Language Issues of Compiling Ada to Hardwarent timing requirements are met. The increasing complexity of modern processors make the determination of the worst-case execution time of software difficult via analytical means..This paper discusses the compilation of Ada programs directly to hardware circuits, so removing the need for a processor.

exacerbate

Software Development Reengineering — An Experience Reportal and government organizations. Many organizations are grappling with trade-offs of older development tools and moving into more modern and efficient programming languages as advertised, while trying to leverage production capabilities and to reduce cost. In some cases, product reliability is not a

ostensible

rectum

Using a Secure Java Micro-kernel on Embedded Devices for the Reliable Execution of Dynamically Uploa based on an embedded Java processor, which runs the system software and applications. The system software is built on top of a flexible, lightweight, efficient, and secure mobile object platform, which is able to receive mobile code and to execute it, while protecting the station from faulty applic

意外

貝雷帽

Closing the Loop: The Influence of Code Analysis on Designg approach can uncover errors that are hard to detect in other ways, it is not a very efficient use of resources because of its retrospective nature and the late error detection that results. The SPARK language and its associated Examiner tool took a different approach which emphasises error . (“cor

原來(lái)

我不怕?tīng)奚?/a>

How to Use GNAT to Efficiently Preprocess New Ada Sentencesity preprocessor and it facilitates the use of the GNAT front-end to experiment with Ada extensions. We briefly introduce the GNAT architecture, we describe our proposed technique and we present our proposed modifications to the GNAT sources to support it.