Filters








14,635 Hits in 4.5 sec

AFDX Emulator for an ARINC-Based Training Platform [chapter]

Jesús Fernández, Héctor Pérez, J. Javier Gutiérrez, Michael González Harbour
2015 Lecture Notes in Computer Science  
Motivation • Mature standards for safety-critical applications ▫ ARINC-653 for software partitioning ▫ ARINC-664 for communication networks (Part 7, AFDX) jun-15 2 © Héctor Pérez -Ada-Europe (Madrid) Motivation  ...  • Mature standards for safety-critical applications ▫ ARINC-653 for software partitioning ▫ ARINC-664 for communication networks (Part 7, AFDX)  Ethernet technology  Special-purpose switches jun-15  ...  CLIENT 2 1,932 1,607 95 Sub-Virtual Links CLIENT 1 2,614 1,606 462 CLIENT 2 3,374 1,606 865 © Héctor Pérez -Ada-Europe (Madrid) Evaluation: AFDX Emulator Characterization  ... 
doi:10.1007/978-3-319-19584-1_14 fatcat:5vvvwtzoire4xf4rmehbwtrrgi

CORBA vs. Ada 95 DSA

Yvon Kermarrec
1999 ACM SIGAda Ada Letters  
Recent e v olutions in computer networks have made it possible to consider distributed platforms as possible architectures for numerous applications.  ...  In this paper, we shall investigate and compare three di erent approaches: the language approach of Ada 95 for distributed systems vs. two distributed platforms.  ...  As an alternative solution, Ada 95 appears rather weak both in the Ada community and outside.  ... 
doi:10.1145/319295.319302 fatcat:yuxcz6ycnrdqff5oggqvkk6lza

CORBA vs. Ada 95 DSA

Yvon Kermarrec
1999 Proceedings of the 1999 annual ACM SIGAda international conference on Ada - SIGAda '99  
Recent e v olutions in computer networks have made it possible to consider distributed platforms as possible architectures for numerous applications.  ...  In this paper, we shall investigate and compare three di erent approaches: the language approach of Ada 95 for distributed systems vs. two distributed platforms.  ...  As an alternative solution, Ada 95 appears rather weak both in the Ada community and outside.  ... 
doi:10.1145/319294.319302 dblp:conf/sigada/Kermarrec99 fatcat:dnal752eyzeq5ftzs7zx3rar7q

Data structures and algorithms: An object-oriented approach using Ada 95

1997 Computers and Mathematics with Applications  
Neural networks: Theoretical and computational models. 5. Neural networks for knowledge engineering and problem solving. 6.  ...  Neural networks, fuzzy systems and nonlinear dynamical systems chaos; Toward new connectionist and fuzzy logic models. Appendixes. References. Glossary. Index.  ...  A tent with a view: Colonial officers, anthropologists, and the making of the field in Northern Rhodesia, 1937 -1960 Data Structures and Aloorithms: An Obiect-Oriented Annroach Usino Ada 95.  ... 
doi:10.1016/s0898-1221(97)84598-1 fatcat:vwjrbenmw5dupg5lei3c3oljla

Towards a real-time distributed systems annex in Ada

José Javier Guitiérrez García, Michael González Harbour
2001 Proceedings of the 10th international workshop on Real-time Ada workshop - IRTAW '00  
1 In this paper we address the problem of combining two issues that are standardized separately in two Ada 95 annexes: Real-Time Systems (Annex D) and Distributed Systems (Annex E).  ...  In this paper we propose extensions to the Distributed Systems Annex that would provide support for developing distributed real-time applications in Ada.  ...  The Distributed Systems Annex (DSA) of Ada 95 [5] provides a flexible way for distributing Ada programs in a multiple-processor platform.  ... 
doi:10.1145/374370.374383 fatcat:q7bnhhqfkvcsbb56v7tbwo7l3u

What future for the distributed systems annex?

Laurent Pautet, Samuel Tardieu
1999 ACM SIGAda Ada Letters  
In this paper, we report our experience as implementors and users of the Ada 95 Distributed Systems Annex (annex E of the Ada reference manual).  ...  We assume that the reader is familiar with Ada. Knowledge of the Distributed Systems Annex is useful but not required to understand the main ideas exposed in this article.  ...  Ada 95 extends the power of Ada 83 to object oriented and distributed programming.  ... 
doi:10.1145/319295.319307 fatcat:2775phpjm5gklok5ml6tw4caee

Modeling and schedulability analysis in the development of real-time distributed Ada systems

J. Javier Gutiérrez, José M. Drake, Michael González Harbour, Julio L. Medina
2002 ACM SIGAda Ada Letters  
applications written in Ada 95 and using its Annexes D and E.  ...  1 The paper proposes a model for specific Ada structures that can be integrated into our methodology for modeling and performing schedulability analysis in the development phases of distributed real-time  ...  The Ada structures presented in this paper have been integrated in a methodology that is currently being implemented in the UML-MAST toolset.  ... 
doi:10.1145/584419.584426 fatcat:gglqmozhhretbaucml7r3rhlru

Modeling and schedulability analysis in the development of real-time distributed Ada systems

J. Javier Gutiérrez, José M. Drake, Michael González Harbour, Julio L. Medina
2002 ACM SIGAda Ada Letters  
applications written in Ada 95 and using its Annexes D and E.  ...  1 The paper proposes a model for specific Ada structures that can be integrated into our methodology for modeling and performing schedulability analysis in the development phases of distributed real-time  ...  The Ada structures presented in this paper have been integrated in a methodology that is currently being implemented in the UML-MAST toolset.  ... 
doi:10.1145/584417.584426 fatcat:limkcm6ugbhqdcxs4rfoozr6kq

Modeling and schedulability analysis in the development of real-time distributed Ada systems

J. Javier Gutiérrez, José M. Drake, Michael González Harbour, Julio L. Medina
2002 ACM SIGAda Ada Letters  
applications written in Ada 95 and using its Annexes D and E.  ...  1 The paper proposes a model for specific Ada structures that can be integrated into our methodology for modeling and performing schedulability analysis in the development phases of distributed real-time  ...  The Ada structures presented in this paper have been integrated in a methodology that is currently being implemented in the UML-MAST toolset.  ... 
doi:10.1145/584418.584426 fatcat:2bdfoyziz5fdnedz3j73ozk2uy

Ada-Java middleware for legacy software modernization

Kelvin Nilsen
2010 Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems - JTRES '10  
(iocallback2); // invoke Ada service monitor.monitorUART(uart, 1000, gui); // invoke Ada and do not return } 9 have very different "temporary memory" models Ada allocates on the stack.  ...  to call back to my Java code under certain circumstances // ask Ada to call back to my Java code under certain circumstances uart.notifyWhenInputAvailable(iocallback1); // invoke Ada service uart.notifyWhenOutqueueEmpty  ...  of same process, in isolated partitions of ARINC 653 or MILS OS or Linux, on different networked processors Java class definition(s) (API allows Java application to ava application to invoke  ... 
doi:10.1145/1850771.1850785 dblp:conf/jtres/Nilsen10 fatcat:4orejtnj7bfwxa2zp7b7x4do2e

A Framework for Developing Distributed Hard Real-Time Applications

J. Javier Gutiérrez García, Michael González Harbour
2000 IFAC Proceedings Volumes  
This paper presents a prototyping methodology for the development in Ada 95 of distributed applications with hard real-time requirements.  ...  In addition, using the same system description an executable prototype of the application is created, which enables testing its timing behavior, and, if the actual code for the elementary actions is provided  ...  PROTOTYPING ADA 95 DISTRIBUTED HARD REAL-TIME APPLICATIONS Distribution of application programs is addressed in Ada 95 in its Annex E (Distributed Systems), which standardizes the communication among partitions  ... 
doi:10.1016/s1474-6670(17)39952-4 fatcat:i5uvpuzvsnespi2snj4ed5o7oe

The Chance for Ada to Support Distribution and Real-Time in Embedded Systems [chapter]

Juan López Campos, J. Javier Gutiérrez, Michael González Harbour
2004 Lecture Notes in Computer Science  
This realtime version of GLADE continues to conform to the DSA, so the entire real-time application can be built within the Ada 95 context.  ...  This paper presents a modification of GLADE -the current GNAT implementation of the Ada 95 Distributed Systems Annex (DSA)-to support the development of distributed applications with hard real-time requirements  ...  This need of distribution was included in the Ada 95 standard [16] in its Annex E, no doubt coming from the needs of Ada users.  ... 
doi:10.1007/978-3-540-24841-5_7 fatcat:6npwa74qqnh65dgppbrk7dzmku

What future for the distributed systems annex?

Laurent Pautet, Samuel Tardieu
1999 Proceedings of the 1999 annual ACM SIGAda international conference on Ada - SIGAda '99  
In this paper, we try to identify the strengths and the weaknesses of the Ada 95 Distributed Systems Annex from an user and implementor point of view.  ...  Note to the reviewers: this article is sent as an extended abstract, because some of the ideas exposed in this paper are being actively worked on.  ...  Conclusions We have shown in this paper that the Distributed Systems Annex of Ada 95 is well defined and consistent with the rest of the language, but would benefit from a standardization of the protocol  ... 
doi:10.1145/319294.319307 dblp:conf/sigada/PautetT99 fatcat:e3gvroppdbhlzn3o426k25ypt4

CORBA & DSA: Divorce or Marriage? [chapter]

Laurent Pautet, Thomas Quinot, Samuel Tardieu
1999 Lecture Notes in Computer Science  
This paper presents a comparison between CORBA and the Ada 95 Distributed Systems Annex.  ...  An Ada application can be partitioned for execution across a network of computers so that typed objects may be referenced through remote subprogram calls.  ...  Programming models for distributed systems Using OS network services In [11] we present several programming techniques for developing distributed applications.  ... 
doi:10.1007/3-540-48753-0_19 fatcat:ugdfk2aodjglnk274zndj5palm

Modeling and Schedulability Analysis of Hard Real-Time Distributed Systems Based on Ada Components [chapter]

Julio L. Medina, J. Javier Gutiérrez, José M. Drake, Michael González Harbour
2002 Lecture Notes in Computer Science  
The paper proposes a methodology for modeling distributed real-time applications written in Ada 95 and its Annexes D and E.  ...  distributed Ada real-time systems [5] , and in [6] we focused on defining real-time capabilities for the Ada 95 Distributed Systems Annex in order to allow the development of this kind of applications  ...  Introduction The Real-Time Systems Annex (D) of the Ada 95 standard [1] allows users to develop single-node applications with predictable response times.  ... 
doi:10.1007/3-540-48046-3_22 fatcat:k6sajxrab5forchdfwpceyqzrm
« Previous Showing results 1 — 15 out of 14,635 results