Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Reliability Aspect of Cloud Computing Environment [[electronic resource] /] / by Vikas Kumar, R. Vidhyalakshmi
| Reliability Aspect of Cloud Computing Environment [[electronic resource] /] / by Vikas Kumar, R. Vidhyalakshmi |
| Autore | Kumar Vikas |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Singapore : , : Springer Singapore : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (xi, 170 pages) : illustrations |
| Disciplina | 005 |
| Soggetto topico |
Software engineering
Computer engineering Computers Computer simulation Software Engineering Computer Engineering The Computing Profession Simulation and Modeling |
| ISBN | 981-13-3023-9 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1. Cloud Computing -- Chapter 2. Cloud Reliability -- Chapter 3. Reliability Metrics -- Chapter 4. Reliability Metrics Formulations -- Chapter 5. Reliability Model -- Chapter 6. Reliability Evaluation. . |
| Record Nr. | UNINA-9910299293103321 |
Kumar Vikas
|
||
| Singapore : , : Springer Singapore : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Reliable software technologies : Ada-Europe 2007 : 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007 : proceedings / / Nabil Abdennadher, Fabrice Kordon (editors)
| Reliable software technologies : Ada-Europe 2007 : 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007 : proceedings / / Nabil Abdennadher, Fabrice Kordon (editors) |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer-Verlag, , [2007] |
| Descrizione fisica | 1 online resource (XIV, 247 p.) |
| Disciplina | 005 |
| Collana | Programming and Software Engineering |
| Soggetto topico | Computer software - Reliability |
| ISBN |
1-280-94397-1
9786610943975 3-540-73230-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Real-Time Utilities for Ada 2005 -- Handling Temporal Faults in Ada 2005 -- Implementation of New Ada 2005 Real-Time Services in MaRTE OS and GNAT -- Enhancing Dependability of Component-Based Systems -- On Detecting Double Literal Faults in Boolean Expressions -- Static Detection of Livelocks in Ada Multitasking Programs -- Towards the Testing of Power-Aware Software Applications for Wireless Sensor Networks -- An Intermediate Representation Approach to Reducing Test Suites for Retargeted Compilers -- Correctness by Construction for High-Integrity Real-Time Systems: A Metamodel-Driven Approach -- A Metamodel-Driven Process Featuring Advanced Model-Based Timing Analysis -- ArchMDE Approach for the Development of Embedded Real Time Systems -- Generating Distributed High Integrity Applications from Their Architectural Description -- Automatic Ada Code Generation Using a Model-Driven Engineering Approach -- Towards User-Level Extensibility of an Ada Library: An Experiment with Cheddar -- Modelling Remote Concurrency with Ada -- Design and Performance of a Generic Consensus Component for Critical Distributed Applications -- Sancta: An Ada 2005 General-Purpose Architecture for Mobile Robotics Research -- Incorporating Precise Garbage Collection in an Ada Compiler. |
| Record Nr. | UNINA-9910483920803321 |
| Berlin ; ; Heidelberg : , : Springer-Verlag, , [2007] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Reliable software technologies : Ada-Europe 2007 : 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007 : proceedings / / Nabil Abdennadher, Fabrice Kordon (editors)
| Reliable software technologies : Ada-Europe 2007 : 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007 : proceedings / / Nabil Abdennadher, Fabrice Kordon (editors) |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer-Verlag, , [2007] |
| Descrizione fisica | 1 online resource (XIV, 247 p.) |
| Disciplina | 005 |
| Collana | Programming and Software Engineering |
| Soggetto topico | Computer software - Reliability |
| ISBN |
1-280-94397-1
9786610943975 3-540-73230-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Real-Time Utilities for Ada 2005 -- Handling Temporal Faults in Ada 2005 -- Implementation of New Ada 2005 Real-Time Services in MaRTE OS and GNAT -- Enhancing Dependability of Component-Based Systems -- On Detecting Double Literal Faults in Boolean Expressions -- Static Detection of Livelocks in Ada Multitasking Programs -- Towards the Testing of Power-Aware Software Applications for Wireless Sensor Networks -- An Intermediate Representation Approach to Reducing Test Suites for Retargeted Compilers -- Correctness by Construction for High-Integrity Real-Time Systems: A Metamodel-Driven Approach -- A Metamodel-Driven Process Featuring Advanced Model-Based Timing Analysis -- ArchMDE Approach for the Development of Embedded Real Time Systems -- Generating Distributed High Integrity Applications from Their Architectural Description -- Automatic Ada Code Generation Using a Model-Driven Engineering Approach -- Towards User-Level Extensibility of an Ada Library: An Experiment with Cheddar -- Modelling Remote Concurrency with Ada -- Design and Performance of a Generic Consensus Component for Critical Distributed Applications -- Sancta: An Ada 2005 General-Purpose Architecture for Mobile Robotics Research -- Incorporating Precise Garbage Collection in an Ada Compiler. |
| Record Nr. | UNISA-996466254003316 |
| Berlin ; ; Heidelberg : , : Springer-Verlag, , [2007] | ||
| 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)
| 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)
| 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 | ||
| ||
Reliable Software Technologies -- Ada-Europe 2003 [[electronic resource] ] : 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003, Proceedings / / edited by Jean-Pierre Rosen, Alfred Strohmeier
| Reliable Software Technologies -- Ada-Europe 2003 [[electronic resource] ] : 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003, Proceedings / / edited by Jean-Pierre Rosen, Alfred Strohmeier |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (XIII, 432 p.) |
| Disciplina | 005 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Engineering
Software engineering Computer communication systems Special purpose computers Computer programming Engineering, general Software Engineering/Programming and Operating Systems Software Engineering Computer Communication Networks Special Purpose and Application-Based Systems Programming Techniques |
| ISBN | 3-540-44947-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- An Invitation to Ada 2005 -- Modules for Crosscutting Models -- Software Fault Tolerance: An Overview -- Ravenscar -- High Integrity Ravenscar -- Adding Temporal Annotations and Associated Verification to the Ravenscar Profile -- Impact of a Restricted Tasking Profile: The Case of the GOCE Platform Application Software -- Language Issues -- Booch’s Ada vs. Liskov’s Java: Two Approaches to Teaching Software Design -- A Comparison of the Asynchronous Transfer of Control Features in Ada and the Real-Time Specification for Java™ -- Exposing Memory Corruption and Finding Leaks: Advanced Mechanisms in Ada -- Static Analysis -- Busy Wait Analysis -- Eliminating Redundant Range Checks in GNAT Using Symbolic Evaluation -- Quasar: A New Tool for Concurrent Ada Programs Analysis -- Distributed Information Systems -- A Graphical Environment for GLADE -- The Use of Ada, GNAT.Spitbol, and XML in the Sol-Eu-Net Project -- Transactions and Groups as Generic Building Blocks for Software Fault Tolerance -- Metrics -- Getting System Metrics Using POSIX Tracing Services -- Some Architectural Features of Ada Systems Affecting Defects -- Evidential Volume Approach for Certification -- Software Components -- A Survey of Physical Unit Handling Techniques in Ada -- Charles: A Data Structure Library for Ada95 -- A Quality Model for the Ada Standard Container Library -- Formal Specification -- Experiences on Developing and Using a Tool Support for Formal Specification -- A Behavioural Notion of Subtyping for Object-Oriented Programming in SPARK95 -- Real-Time Kernel -- Running Ada on Real-Time Linux -- A Round Robin Scheduling Policy for Ada -- A Proposal to Integrate the POSIX Execution-Time Clocks into Ada 95 -- Testing -- A Test Environment for High Integrity Software Development -- Normalized Restricted Random Testing -- Testing Safety Critical Ada Code Using Non Real Time Testing -- Real-time Systems Design -- The Standard UML-Ada Profile -- HRT-UML: Taking HRT-HOOD onto UML -- A Case Study in Performance Evaluation of Real-Time Teleoperation Software Architectures Using UML-MAST. |
| Record Nr. | UNINA-9910143856503321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Reliable Software Technologies -- Ada-Europe 2003 [[electronic resource] ] : 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003, Proceedings / / edited by Jean-Pierre Rosen, Alfred Strohmeier
| Reliable Software Technologies -- Ada-Europe 2003 [[electronic resource] ] : 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003, Proceedings / / edited by Jean-Pierre Rosen, Alfred Strohmeier |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (XIII, 432 p.) |
| Disciplina | 005 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Engineering
Software engineering Computer communication systems Special purpose computers Computer programming Engineering, general Software Engineering/Programming and Operating Systems Software Engineering Computer Communication Networks Special Purpose and Application-Based Systems Programming Techniques |
| ISBN | 3-540-44947-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- An Invitation to Ada 2005 -- Modules for Crosscutting Models -- Software Fault Tolerance: An Overview -- Ravenscar -- High Integrity Ravenscar -- Adding Temporal Annotations and Associated Verification to the Ravenscar Profile -- Impact of a Restricted Tasking Profile: The Case of the GOCE Platform Application Software -- Language Issues -- Booch’s Ada vs. Liskov’s Java: Two Approaches to Teaching Software Design -- A Comparison of the Asynchronous Transfer of Control Features in Ada and the Real-Time Specification for Java™ -- Exposing Memory Corruption and Finding Leaks: Advanced Mechanisms in Ada -- Static Analysis -- Busy Wait Analysis -- Eliminating Redundant Range Checks in GNAT Using Symbolic Evaluation -- Quasar: A New Tool for Concurrent Ada Programs Analysis -- Distributed Information Systems -- A Graphical Environment for GLADE -- The Use of Ada, GNAT.Spitbol, and XML in the Sol-Eu-Net Project -- Transactions and Groups as Generic Building Blocks for Software Fault Tolerance -- Metrics -- Getting System Metrics Using POSIX Tracing Services -- Some Architectural Features of Ada Systems Affecting Defects -- Evidential Volume Approach for Certification -- Software Components -- A Survey of Physical Unit Handling Techniques in Ada -- Charles: A Data Structure Library for Ada95 -- A Quality Model for the Ada Standard Container Library -- Formal Specification -- Experiences on Developing and Using a Tool Support for Formal Specification -- A Behavioural Notion of Subtyping for Object-Oriented Programming in SPARK95 -- Real-Time Kernel -- Running Ada on Real-Time Linux -- A Round Robin Scheduling Policy for Ada -- A Proposal to Integrate the POSIX Execution-Time Clocks into Ada 95 -- Testing -- A Test Environment for High Integrity Software Development -- Normalized Restricted Random Testing -- Testing Safety Critical Ada Code Using Non Real Time Testing -- Real-time Systems Design -- The Standard UML-Ada Profile -- HRT-UML: Taking HRT-HOOD onto UML -- A Case Study in Performance Evaluation of Real-Time Teleoperation Software Architectures Using UML-MAST. |
| Record Nr. | UNISA-996465698903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Reliable Software Technologies – Ada-Europe 2014 [[electronic resource] ] : 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings / / edited by Laurent George, Tullio Vardanega
| Reliable Software Technologies – Ada-Europe 2014 [[electronic resource] ] : 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings / / edited by Laurent George, Tullio Vardanega |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XIV, 193 p. 56 illus.) |
| Disciplina | 005 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Programming languages (Electronic computers)
Software engineering Special purpose computers Computer logic Mathematical logic Programming Languages, Compilers, Interpreters Software Engineering Special Purpose and Application-Based Systems Logics and Meanings of Programs Mathematical Logic and Formal Languages |
| ISBN | 3-319-08311-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Formal methods -- Uses of ada -- Real-time scheduling -- Applications. |
| Record Nr. | UNISA-996199994203316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Reliable Software Technologies – Ada-Europe 2014 [[electronic resource] ] : 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings / / edited by Laurent George, Tullio Vardanega
| Reliable Software Technologies – Ada-Europe 2014 [[electronic resource] ] : 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings / / edited by Laurent George, Tullio Vardanega |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XIV, 193 p. 56 illus.) |
| Disciplina | 005 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Programming languages (Electronic computers)
Software engineering Special purpose computers Computer logic Mathematical logic Programming Languages, Compilers, Interpreters Software Engineering Special Purpose and Application-Based Systems Logics and Meanings of Programs Mathematical Logic and Formal Languages |
| ISBN | 3-319-08311-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Formal methods -- Uses of ada -- Real-time scheduling -- Applications. |
| Record Nr. | UNINA-9910484559703321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Reliable Software Technologies – Ada-Europe 2015 [[electronic resource] ] : 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings / / edited by Juan Antonio de la Puente, Tullio Vardanega
| Reliable Software Technologies – Ada-Europe 2015 [[electronic resource] ] : 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings / / edited by Juan Antonio de la Puente, Tullio Vardanega |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XIV, 229 p. 68 illus.) |
| Disciplina | 005 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Programming languages (Electronic computers)
Software engineering Special purpose computers Computer logic Mathematical logic Programming Languages, Compilers, Interpreters Software Engineering Special Purpose and Application-Based Systems Logics and Meanings of Programs Mathematical Logic and Formal Languages |
| ISBN | 3-319-19584-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A Safety Concept for an IEC-61508 Compliant Fail-Safe Wind Power Mixed-Criticality System Based on Multicore and Partitioning -- The Central on-Board Computer of the Philae Lander in the Context of the Rosetta Space Mission.- Extensible Debugger Framework for Extensible Languages -- Static Backward Program Slicing for Safety-Critical Systems.- A Novel Run-Time Monitoring Architecture for Safe and Efficient Inline Monitoring.- Schedulability Analysis of PWM Tasks for the UPMSat-2 ADCS -- Guaranteeing Timing Requirements in the IXV on-Board Software.- Maintenance of Reliable Distributed Applications with Open-Source Middleware: Fifteen Years Later.- The CONCERTO Methodology for Model-Based Development of Avionics Software.- From AADL Model to LNT Specification.- Using Sensitivity Analysis to Facilitate the Maintenance of Safety Cases.- Challenges in the Implementation of MrsP -- An Execution Model for Fine-Grained Parallelism in Ada -- AFDX Emulator for an ARINC-Based Training Platform. |
| Record Nr. | UNINA-9910484537403321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
