Serwis Infona wykorzystuje pliki cookies (ciasteczka). Są to wartości tekstowe, zapamiętywane przez przeglądarkę na urządzeniu użytkownika. Nasz serwis ma dostęp do tych wartości oraz wykorzystuje je do zapamiętania danych dotyczących użytkownika, takich jak np. ustawienia (typu widok ekranu, wybór języka interfejsu), zapamiętanie zalogowania. Korzystanie z serwisu Infona oznacza zgodę na zapis informacji i ich wykorzystanie dla celów korzytania z serwisu. Więcej informacji można znaleźć w Polityce prywatności oraz Regulaminie serwisu. Zamknięcie tego okienka potwierdza zapoznanie się z informacją o plikach cookies, akceptację polityki prywatności i regulaminu oraz sposobu wykorzystywania plików cookies w serwisie. Możesz zmienić ustawienia obsługi cookies w swojej przeglądarce.
This is a modest attempt at unveiling forthcoming opportunities in the embedded computing sector. The final talk will also explain how Ada 95 offers a competitive advantage in the new embedded marketplace.
Based on a fifteen years experience in safety related software design our opinion is that the combination of an efficient formal method and the use of Ada is the best way to reach the total correctness requested by safety. Although these types of methods may appear as grim, they are not very difficult to learn and give finally to their users the satisfaction of producing a high quality work, at the...
This paper describes an implementation model for porting the tasking portion of the GNAT Ada 95 Runtime Library to the Java environment, and a proof-of-concept implementation. The latter allows one to run multi-tasking applications that are written in Ada and compiled into native machine code, using the thread support of the Java Virtual Machine. The Java Virtual Machine takes care of scheduling the...
This paper describes an automated approach for generating Ada bindings from Java class files. We start with the set of Java features that require a visible Ada binding, and an Ada compiler's definition of how to interface Ada and Java. We discuss how to obtain the Java definitions from the class file and then translate them into an Ada binding (using the GNAT binding approach). While it is possible...
This paper presents a programming paradigm for synchronizing multiple clients and servers. The solution is flexible and efficient and shows how class-wide types and protected objects can be used to achieve the effect of dispatching on entry calls.
Object-oriented techniques such as inheritance promise great benefits for the specification and design of concurrent systems. To exploit these benefits appropriate techniques for object-oriented programming within a concurrent programming language context are required. Especially a concept how to support the inheritance of synchronization constraints is necessary to avoid what is called the inheritance...
The current Ada revision tries as much as possible to provide the programmer with an easy way to build distributed systems; in many cases, the programmer can easily modify its monolithic application and transform it in a very short amount of time into a distributed one. However, there is a huge amount of work involved in the compiler and in external tools and libraries to build and run a distributed...
We present Transactional Drago a language that implements Group Transactions, a new transaction model we have developed. This model integrates the group communication paradigm with the nested transaction model. Transactional Drago extends Drago, a distributed fault-tolerant extension of Ada implementing the group paradigm. In this paper we describe the linguistic features added to Drago to support...
Off-line analysis techniques for hard real-time systems are all based on the assumption that we can estimate the worst-case execution time of the different tasks executing in the system. In the traditional cyclic-executive schedulers, execution time limits were enforced for each task by the scheduler. Unfortunately, in concurrent hard real-time systems such as those using the tasking model defined...
Flexible and adaptive behavior is seen as one of the key characteristics of next generation hard real-time systems. Within the context of fixed priority pre-emptive scheduling, existing approaches deal with optional components and provide kernel mechanisms to schedule effectively such components when spare processor capacity is available. This paper describes a framework that provides a task programming...
As software development and maintenance costs rise, providing higher architectural language abstractions is an effective tool. This paper describes a key set of object oriented abstractions developed using the Ada 95 toolset, and discusses their applicability to distributed real-time command and control systems under development at Boeing. The abstraction concepts described build upon each other and...
Due to a variety of policy errors of the guardians of Ada in the past, the scientific community has never come to appreciate Ada83; Fortran still holds virtually absolute sway over computational (astro)physics. The advent of Ada95 may have changed this unhappy situation. Extensive exploration of the potential of Ada in the field of spectral line synthesis over the past years has revealed its suitability...
In the distributed discrete event simulation area, Jefferson's time warp algorithm initiated a lot of research and practical work. We proposed a generalisation, split queue time warp, that allows lazy message reception and thus may reduce rollback frequency. The present paper contains a brief description of our algorithm and then describes an implementation that uses Ada 95 and its capabilities for...
This paper describes a software architecture for industrial robots used in manufacturing equipment. In order to achieve software portability, the application software is dissociated from the low-level robot controller software. The interaction between these two pieces of software is achieved by a portable application programming interface (API) for industrial robots. We discuss the requirements for...
This paper describes the project Quality-for-ASIS, aiming at the development of an extensive testing facility for ASIS implementations. First the specific problems and requirements are presented. After a section about the basic concepts of ASIS and after a short introduction to testing, the designs and implementations for testing important subsets of ASIS are described. Finally, adequacy coverage...
This paper summarizes IABG's experience as an Ada Validation Facility from the last decade. The paper puts an emphasis on the improvement of the validation process by evolving tool support.
Providing an effective search/retrieval mechanism is essential for supporting software reuse. Such a tool can help both software designers and developers in finding, understanding and modifying the components most relevant for their requirements. Syntactic matching techniques can provide easy to use, fast and cheap, but not necessarily very accurate, search tools. On the contrary, specification matching...
We ported an Architecture Description Language (ADL), MetaH, for automating the specification, analysis and building of Avionics/high reliability systems on top of Ada 95 and the Distributed Systems Annex (DSA). Our purpose was to explore the requirements for the DSA in such applications and to assess portability benefits. The problem domain of modern avionics will increasingly require strong partitioning...
Generic architectures for specific domains can provide significant gains in productivity and quality for real-time systems development. In order to choose among different architectural features, a variety of qualitative criteria have been proposed in the literature. However, real-time systems require a more exact characterization based on quantitative evaluation of some architectural features related...
Podaj zakres dat dla filtrowania wyświetlonych wyników. Możesz podać datę początkową, końcową lub obie daty. Daty możesz wpisać ręcznie lub wybrać za pomocą kalendarza.