Titlebook: Ada in Europe; Second International Marcel Toussaint Conference proceedings 1996 Springer-Verlag Berlin Heidelberg 1996 Ada.Ada 95.Safety-C

上下倒置

Developing fault tolerant software in Ada for real-time dependable systems,978-3-0348-9189-9

conference

Gnrh670

collateral

PRONAOS ground control center: First operational Ada application in C.N.E.S.,978-1-4471-2152-7

種屬關系

思想

磨碎

Architekturen verteilter SoftwaresystemeThis article describes the approach taken to implement the Ada Semantic Interface Specification (ASIS) for the GNAT Ada compiler. The paper discusses the main implementation problems and and their solution. It also describes the current state of the implementation.

凝乳

Ada in Europe978-3-540-49362-4Series ISSN 0302-9743 Series E-ISSN 1611-3349

Negotiate

Architecture of Computing Systemswing paper analyses this aspect of Ada describing the different methods which can be used to accomplish this difficult task. Some of those methods have been successfully experimented with during the development of a large safety-related system. The advantages and disadvantages of the various approaches will also be outlined.

Missile