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.

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


Primary Entity

<http://www.worldcat.org/oclc/825769290> # Innovative technologies for dependable OTS-based critical systems challenges and achievement of the CRITICAL STEP Project
    a schema:MediaObject, schema:CreativeWork, schema:Book ;
    library:oclcnum "825769290" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/it> ;
    library:placeOfPublication <http://dbpedia.org/resource/London> ; # London
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1207211395#Place/milan> ; # Milan
    schema:about <http://id.worldcat.org/fast/1093646> ; # Reliability (Engineering)
    schema:about <http://experiment.worldcat.org/entity/work/data/1207211395#Topic/safety> ; # Safety
    schema:about <http://experiment.worldcat.org/entity/work/data/1207211395#Topic/technology_&_engineering_industrial_health_&_safety> ; # TECHNOLOGY & ENGINEERING / Industrial Health & Safety
    schema:about <http://id.worldcat.org/fast/971664> ; # Industrial safety
    schema:about <http://experiment.worldcat.org/entity/work/data/1207211395#Topic/technological_innovations> ; # Technological innovations
    schema:about <http://id.worldcat.org/fast/822715> ; # Automatic control--Reliability
    schema:about <http://experiment.worldcat.org/entity/work/data/1207211395#Topic/computer_systems> ; # Computer Systems
    schema:about <http://dewey.info/class/363.11/e23/> ;
    schema:about <http://id.loc.gov/authorities/subjects/sh2009116425> ; # Automatic control--Reliability
    schema:about <http://experiment.worldcat.org/entity/work/data/1207211395#Topic/reproducibility_of_results> ; # Reproducibility of Results
    schema:about <http://id.worldcat.org/fast/1141421> ; # System safety
    schema:bookFormat schema:EBook ;
    schema:contributor <http://viaf.org/viaf/49001262> ; # Domenico Cotroneo
    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:isSimilarTo <http://www.worldcat.org/oclc/812689105> ;
    schema:name "Innovative technologies for dependable OTS-based critical systems challenges and achievement of the CRITICAL STEP Project" ;
    schema:productID "825769290" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/825769290#PublicationEvent/milan_london_springer_2013> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/1207211395#Agent/springer> ; # Springer
    schema:url <http://www.myilibrary.com?id=508246> ;
    schema:url <http://www.books24x7.com/marc.asp?bookid=76673> ;
    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:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=1083489> ;
    schema:workExample <http://worldcat.org/isbn/9788847027725> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/825769290> ;
    .


Related Entities

<http://dbpedia.org/resource/London> # London
    a schema:Place ;
    schema:name "London" ;
    .

<http://experiment.worldcat.org/entity/work/data/1207211395#Topic/reproducibility_of_results> # Reproducibility of Results
    a schema:Intangible ;
    schema:name "Reproducibility of Results" ;
    .

<http://experiment.worldcat.org/entity/work/data/1207211395#Topic/technological_innovations> # Technological innovations
    a schema:Intangible ;
    schema:name "Technological innovations" ;
    .

<http://experiment.worldcat.org/entity/work/data/1207211395#Topic/technology_&_engineering_industrial_health_&_safety> # TECHNOLOGY & ENGINEERING / Industrial Health & Safety
    a schema:Intangible ;
    schema:name "TECHNOLOGY & ENGINEERING / Industrial Health & Safety" ;
    .

<http://id.loc.gov/authorities/subjects/sh2009116425> # Automatic control--Reliability
    a schema:Intangible ;
    schema:name "Automatic control--Reliability" ;
    .

<http://id.worldcat.org/fast/1093646> # Reliability (Engineering)
    a schema:Intangible ;
    schema:name "Reliability (Engineering)" ;
    .

<http://id.worldcat.org/fast/1141421> # System safety
    a schema:Intangible ;
    schema:name "System safety" ;
    .

<http://id.worldcat.org/fast/822715> # Automatic control--Reliability
    a schema:Intangible ;
    schema:name "Automatic control--Reliability" ;
    .

<http://id.worldcat.org/fast/971664> # Industrial safety
    a schema:Intangible ;
    schema:name "Industrial safety" ;
    .

<http://viaf.org/viaf/49001262> # Domenico Cotroneo
    a schema:Person ;
    schema:familyName "Cotroneo" ;
    schema:givenName "Domenico" ;
    schema:name "Domenico Cotroneo" ;
    .

<http://worldcat.org/isbn/9788847027725>
    a schema:ProductModel ;
    schema:description "electronic bk." ;
    schema:isbn "8847027721" ;
    schema:isbn "9788847027725" ;
    .

<http://www.worldcat.org/oclc/812689105>
    a schema:CreativeWork ;
    rdfs:label "Innovative technologies for dependable OTS-based critical systems." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/825769290> ; # Innovative technologies for dependable OTS-based critical systems challenges and achievement of the CRITICAL STEP Project
    .

<http://www.worldcat.org/title/-/oclc/825769290>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/825769290> ; # Innovative technologies for dependable OTS-based critical systems challenges and achievement of the CRITICAL STEP Project
    schema:dateModified "2015-07-30" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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