skip to content
Innovative technologies for dependable OTS-based critical systems : challenges and achievement of the CRITICAL STEP Project Preview this item
ClosePreview this item
Checking...

Innovative technologies for dependable OTS-based critical systems : challenges and achievement of the CRITICAL STEP Project

Author: Domenico Cotroneo
Publisher: Milan ; London : Springer, 2013.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Database:WorldCat
Summary:
The demand for large-scale dependable, systems, such as Air Traffic Management, industrial plants and space systems, is attracting efforts of many word-leading European companies and SMEs in the area, and is expected to increase in the near future. The adoption of Off-The-Shelf (OTS) items plays a key role in such a scenario. OTS items allow mastering complexity and reducing costs and time-to-market; however,  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Additional Physical Format: Print version:
Innovative technologies for dependable OTS-based critical systems.
Milan ; London : Springer, 2013
(OCoLC)812689105
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Domenico Cotroneo
ISBN: 9788847027725 8847027721
OCLC Number: 825769290
Description: 1 online resource.
Contents: V&V in Safety Critical System --
Safety-Critical Standards for Verification and Validation / Christian Esposito, Ricardo Barbosa, Nuno Silva --
Robustness Testing of Web Services / Aniello Napolitano, Gabriella Carrozza, Nuno Laranjeiro, Marco Vieira --
JFIT: an Automatic Tool for Assessing Robustness of DDS-Compliant Middleware / Antonio Bovenzi, Aniello Napolitano, Christian Esposito, Gabriella Carrozza --
Fault Injection --
Tools for Injecting Software Faults at the Binary and Source-Code Level / Anna Lanzaro, Roberto Natella, Ricardo Barbosa --
Survey on Software Faults Injection in Java Applications / Aniello Napolitano, Gabriella Carrozza, Nuno Antunes, Joao Duraes --
Evaluating Fault-Tolerance of Publish/Subscribe Services / Christian Esposito --
Leveraging Fault Injection Techniques in Critical Industrial Applications / Antonio Pecchia, Anna Lanzaro, As'ad Salkham, Marcello Cinque, Nuno Silva --
Security --
Using Vulnerability Injection to Improve Web Security / José Fonseca, Francesca Matarese --
Security Testing in SOAs: Techniques and Tools / Nuno Antunes, Marco Vieira --
Selected Challenges on Security and Dependability of Embedded Systems / Przemysław Osocha, João Carlos Cunha, Francesca Matarese --
Monitoring and Diagnosing --
Monitoring Infrastructure for Diagnosing Complex Software / Antonio Bovenzi, Gabriella Carrozza --
Log-Based Failure Analysis of Complex Systems: Methodology and Relevant Applications / Antonio Pecchia, Marcello Cinque.
Responsibility: edited by Domenico Cotroneo.
More information:

Abstract:

With practical examples from industry, this volume introduces the methods and tools adopted by the critical systems industry, which includes air traffic control and space exploration. It features  Read more...

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


<http://www.worldcat.org/oclc/825769290>
library:oclcnum"825769290"
library:placeOfPublication
library:placeOfPublication
library:placeOfPublication
rdf:typeschema:MediaObject
rdf:typeschema:Book
rdf:valueUnknown value: dct
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:bookFormatschema:EBook
schema:contributor
schema:datePublished"2013"
schema:description"The demand for large-scale dependable, systems, such as Air Traffic Management, industrial plants and space systems, is attracting efforts of many word-leading European companies and SMEs in the area, and is expected to increase in the near future. The adoption of Off-The-Shelf (OTS) items plays a key role in such a scenario. OTS items allow mastering complexity and reducing costs and time-to-market; however, achieving these goals by ensuring dependability requirements at the same time is challenging. CRITICAL STEP project establishes a strategic collaboration between academic and industrial partners, and proposes a framework to support the development of dependable, OTS-based, critical systems. The book introduces methods and tools adopted by the critical systems industry, and surveys key achievements of the CRITICAL STEP project along four directions: fault injection tools, V&V of critical systems, runtime monitoring and evaluation techniques, and security assessment."
schema:exampleOfWork<http://worldcat.org/entity/work/id/1207211395>
schema:genre"Electronic books"
schema:inLanguage"en"
schema:name"Innovative technologies for dependable OTS-based critical systems challenges and achievement of the CRITICAL STEP Project"
schema:publication
schema:publisher
schema:url<http://site.ebrary.com/id/10651673>
schema:url<http://dx.doi.org/10.1007/978-88-470-2772-5>
schema:url<http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=565403>
schema:workExample
wdrs:describedby

Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.