Reliable software technologies - Ada-Europe : 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-11, 1999 : proceedings / / Michael GonzaÌlez Harbour, Juan A. de la Puente (editors) |
Edizione | [1st ed. 1999.] |
Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer, , [1999] |
Descrizione fisica | 1 online resource (XIV, 458 p.) |
Disciplina | 005 |
Collana | Lecture Notes in Computer Science |
Soggetto topico | Computer software - Reliability |
ISBN | 3-540-48753-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Paper -- An Architectural Perspective of Real-Time Ada Applications -- Ravenscar Profile and High Integrity Systems -- A Formal Model of the Ada Ravenscar Tasking Profile; Protected Objects -- An Ada Runtime System Implementation of the Ravenscar Profile for High Speed Application-Layer Data Switch -- Re-engineering a Safety-Critical Application Using SPARK 95 and GNORT -- An Ada95 Solution for Certification of Embedded Safety Critical Applications -- Software Architectures and Design -- Architectural Frameworks: Defining the Contents of Architectural Descriptions -- Mapping Object-Oriented Designs to Ada -- Efficient and Extensible Multithreaded Remote Servers? -- Testing -- Report on the VERA Experiment -- Acceptance Testing of Object Oriented Systems -- Formal Methods -- Environment for the Development and Specification of Real-Time Ada Programs -- Interprocedural Symbolic Evaluation of Ada Programs with Aliases -- Automatic Veri.cation of Concurrent Ada Programs -- Translating Time Petri Net Structures in Ada 95 Statements -- Education -- Railway Scale Model Simulator -- Ada 95 as a Foundation Language in Computer Engineering Education in Ukraine -- Distributed Systems -- yaRTI, a Ada 95 HLA Run-Time Infrastructure -- An Ada95 Implementation of a Network Coordination Language with Code Mobility -- CORBA & DSA: Divorce or Marriage? -- How to Modify the GNAT Frontend to Experiment with Ada Extensions? -- On the Use of Controlled Types for Fossil Collection in a Distributed Simulation System -- An Application (Layer 7) Routing Switch with Ada95 Software -- Ada Binding to a Shared Object Layer -- Real-Time Scheduling and Kernels -- The Ceiling Protocol in Multi-moded Real-Time Systems1 -- A “Bare-Machine” Implementation of Ada Multi-tasking Beneath the Linux Kernel -- Implementing a New Low-Level Tasking Support for the GNAT Runtime System? -- Tools -- MetaScribe, an Ada-Based Tool for the Construction of Tranformation Engines -- An Adaptation of Our Ada95/O2 Binding to Provide Persistence to the Java Language: Sharing and Handling of Data between Heterogeneous Applications Using Persistence -- Browsing a Component Library Using Non-functional Information -- The Role of Ada in Hardware/Software Codesign -- Hw/Sw Codesign of Embedded Systems -- Hardware/Software Embedded System Specification and Design Using Ada and VHDL1 -- System on Chip Specification and Design Languages Standardization -- Fault Tolerance -- An Incremental Recovery Cache Supporting Software Fault Tolerance -- Shared Recoverable Objects -- Fault Tolerance by Transparent Replication for Distributed Ada 95 -- Case Studies -- A Case Study in the Reuse of On-Board Embedded Real-Time Software -- Development of Flight Control Software in Ada: Architecture and Design Issues and Approaches. |
Record Nr. | UNISA-996465330503316 |
Berlin ; ; Heidelberg : , : Springer, , [1999] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Reliable software technologies - Ada-Europe : 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-11, 1999 : proceedings / / Michael GonzaÌlez Harbour, Juan A. de la Puente (editors) |
Edizione | [1st ed. 1999.] |
Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer, , [1999] |
Descrizione fisica | 1 online resource (XIV, 458 p.) |
Disciplina | 005 |
Collana | Lecture Notes in Computer Science |
Soggetto topico | Computer software - Reliability |
ISBN | 3-540-48753-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Paper -- An Architectural Perspective of Real-Time Ada Applications -- Ravenscar Profile and High Integrity Systems -- A Formal Model of the Ada Ravenscar Tasking Profile; Protected Objects -- An Ada Runtime System Implementation of the Ravenscar Profile for High Speed Application-Layer Data Switch -- Re-engineering a Safety-Critical Application Using SPARK 95 and GNORT -- An Ada95 Solution for Certification of Embedded Safety Critical Applications -- Software Architectures and Design -- Architectural Frameworks: Defining the Contents of Architectural Descriptions -- Mapping Object-Oriented Designs to Ada -- Efficient and Extensible Multithreaded Remote Servers? -- Testing -- Report on the VERA Experiment -- Acceptance Testing of Object Oriented Systems -- Formal Methods -- Environment for the Development and Specification of Real-Time Ada Programs -- Interprocedural Symbolic Evaluation of Ada Programs with Aliases -- Automatic Veri.cation of Concurrent Ada Programs -- Translating Time Petri Net Structures in Ada 95 Statements -- Education -- Railway Scale Model Simulator -- Ada 95 as a Foundation Language in Computer Engineering Education in Ukraine -- Distributed Systems -- yaRTI, a Ada 95 HLA Run-Time Infrastructure -- An Ada95 Implementation of a Network Coordination Language with Code Mobility -- CORBA & DSA: Divorce or Marriage? -- How to Modify the GNAT Frontend to Experiment with Ada Extensions? -- On the Use of Controlled Types for Fossil Collection in a Distributed Simulation System -- An Application (Layer 7) Routing Switch with Ada95 Software -- Ada Binding to a Shared Object Layer -- Real-Time Scheduling and Kernels -- The Ceiling Protocol in Multi-moded Real-Time Systems1 -- A “Bare-Machine” Implementation of Ada Multi-tasking Beneath the Linux Kernel -- Implementing a New Low-Level Tasking Support for the GNAT Runtime System? -- Tools -- MetaScribe, an Ada-Based Tool for the Construction of Tranformation Engines -- An Adaptation of Our Ada95/O2 Binding to Provide Persistence to the Java Language: Sharing and Handling of Data between Heterogeneous Applications Using Persistence -- Browsing a Component Library Using Non-functional Information -- The Role of Ada in Hardware/Software Codesign -- Hw/Sw Codesign of Embedded Systems -- Hardware/Software Embedded System Specification and Design Using Ada and VHDL1 -- System on Chip Specification and Design Languages Standardization -- Fault Tolerance -- An Incremental Recovery Cache Supporting Software Fault Tolerance -- Shared Recoverable Objects -- Fault Tolerance by Transparent Replication for Distributed Ada 95 -- Case Studies -- A Case Study in the Reuse of On-Board Embedded Real-Time Software -- Development of Flight Control Software in Ada: Architecture and Design Issues and Approaches. |
Record Nr. | UNINA-9910767572503321 |
Berlin ; ; Heidelberg : , : Springer, , [1999] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|