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

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

Edizione	[1st ed. 2002.]
Pubbl/distr/stampa	Berlin, Germany : , : Springer, , [2004]
Descrizione fisica	1 online resource (XIV, 370 p.)
Disciplina	005
Collana	Lecture Notes in Computer Science
Soggetto topico	Computer software - Reliability
ISBN	3-540-48046-3
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	Invited Papers -- Embedded Systems Unsuitable for Object Orientation -- On Architectural Stability and Evolution -- Encapsulating Failure Detection: From Crash to Byzantine Failures -- Contextware: Bridging Physical and Virtual Worlds -- Embedded Systems -- Evaluating Performance and Power of Object-Oriented Vs. Procedural Programming in Embedded Processors -- OMC-INTEGRAL Memory Management -- Language Issues of Compiling Ada to Hardware -- Case Studies -- Software Development Reengineering — An Experience Report -- Development of a Control System for Teleoperated Robots Using UML and Ada95 -- Using a Secure Java Micro-kernel on Embedded Devices for the Reliable Execution of Dynamically Uploaded Applications -- Real-Time Systems -- A POSIX-Ada Interface for Application-Defined Scheduling -- High-Integrity Systems -- Closing the Loop: The Influence of Code Analysis on Design -- High-Integrity Systems Development for Integrated Modular Avionics Using VxWorks and GNAT -- Ada Language -- How to Use GNAT to Efficiently Preprocess New Ada Sentences -- Exposing Uninitialized Variables: Strengthening and Extending Run-Time Checks in Ada -- Adding Design by Contract to the Ada Language -- Program Analysis -- Static Dependency Analysis for Concurrent Ada 95 Programs -- DataFAN: A Practical Approach to Data Flow Analysis for Ada 95 -- Prioritization of Test Cases in MUMCUT Test Sets: An Empirical Study -- Tools -- About the Difficulties of Building a Pretty-Printer for Ada -- A Tailorable Distributed Programming Environment -- Distributed Systems -- Modeling and Schedulability Analysis of Hard Real-Time Distributed Systems Based on Ada Components -- Transparent Environment for Replicated Ravenscar Applications -- Concurrency Control in Transactional Drago -- Libraries, APIs, and Bindings -- An Ada Binding to the IEEE 1003.1q (POSIX Tracing) Standard -- GNAT Ada Database Development Environment -- Object-Orientation -- Ada, Interfaces and the Listener Paradigm -- Using Object Orientation in High Integrity Applications: A Case Study.
Record Nr.	UNINA-9910143902103321

Autore	Merkow Mark S.
Edizione	[1st edition]
Pubbl/distr/stampa	Boca Raton, Fla. : , : CRC Press, , 2010
Descrizione fisica	1 online resource (385 p.)
Disciplina	005.8
Altri autori (Persone)	RaghavanLakshmikanth
Soggetto topico	Computer software - Development Computer software - Reliability Computer security
Soggetto genere / forma	Electronic books.
ISBN	0-429-15214-0 1-4987-5961-0 1-4398-2697-8
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	Cover; Title; Copyright; Contents; Preface; About the Authors; Acknowledgments; Chapter 1: How Does Software Fail Thee? Let Us Count the Ways; Chapter 2: Characteristics of Secure and Resilient Software; Chapter 3: Security and Resilience in the Software Development Life Cycle; Chapter 4: Proven Best Practices for Resilient Applications; Chapter 5: Designing Applications for Security and Resilience; Chapter 6: Programming Best Practices; Chapter 7: Special Considerations for Embedded Systems, Cloud Computing, and Mobile Computing Devices Chapter 8: Security Testing of Custom Software ApplicationsChapter 9: Testing Commercial off-the-Shelf Systems; Chapter 10: Implementing Security and Resilience Using CLASP; Chapter 11: Metrics and Models for Security and Resilience Maturity; Chapter 12: Taking It to the Streets; Glossary; Appendix A: 2010 CWE/SANS Top 25 Most Dangerous Programming Errors; Appendix B: Enterprise Security API
Record Nr.	UNINA-9910463711003321

Pubbl/distr/stampa	[Place of publication not identified], : IEEE, 2004
Disciplina	005.1
Soggetto topico	Computer software - Testing Computer software - Reliability Engineering & Applied Sciences Computer Science
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Record Nr.	UNISA-996204485703316