ข้ามไปที่เนือ้หา
Innovative technologies for dependable OTS-based critical systems : challenges and achievement of the CRITICAL STEP Project แสดงตัวอย่างรายการนี้
ปิดแสดงตัวอย่างรายการนี้
ตรวจสอบ...

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

ผู้แต่ง: Domenico Cotroneo
สำนักพิมพ์: Milan ; London : Springer, 2013.
ครั้งที่พิมพ์/รูปแบบ:   หนังสืออีเล็กทรอนิกส์ : เอกสาร : ภาษาอังกฤษดูครั้งที่พิมพ์และรูปแบบ
ฐานข้อมูล:WorldCat
สรุป:
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,  อ่านมากขึ้น…
คะแนน:

(ยังไม่ให้คะแนน) 0 กับความคิดเห็น - เป็นคนแรก

หัวเรื่อง
เพิ่มเติมเช่นนี้

 

ค้นหาสำเนาออนไลน์

เชื่อมโยงไปยังรายการนี้

ค้นหาสำเนาในห้องสมุด

&AllPage.SpinnerRetrieving; ค้นหาห้องสมุดที่มีรายการนี้

รายละเอียด

ประเภท/แบบฟอร์ม Electronic books
รูปแบบทางกายภาพเพิ่มเติม Print version:
Innovative technologies for dependable OTS-based critical systems.
Milan ; London : Springer, 2013
(OCoLC)812689105
ขนิดวัสดุ: เอกสาร, ทรัพยากรอินแทอร์เน็ต
ประเภทของเอกสาร: แหล่งข้อมูลอินเทอร์เน็ต, ไฟล์คอมพิวเตอร์
ผู้แต่งทั้งหมด : ผู้แต่งร่วม Domenico Cotroneo
ISBN: 9788847027725 8847027721
OCLC Number: 825769290
คำอธิบาย: 1 online resource.
สารบัญ: 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.
ความรับผิดชอบ: edited by Domenico Cotroneo.

บทคัดย่อ:

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  อ่านมากขึ้น…

รีวิว

ความคิดเห็นผู้ที่ใช้งาน
กำลังค้นคืน รีวิว GoodReads…
ค้นคืน DOGObooks บทวิจารณ์

แท็ก

เป็นคนแรก.
ยืนยันคำขอนี้

คุณอาจะร้องขอรายการนี้แล้. โปรดเลือก ตกลง ถ้าคุณต้องการดำเนินการคำขอนี้ต่อไป.

เชิ่อมโยงข้อมูล


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-29" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

กรุณาลงชื่อเข้าสู่ระบบ WorldCat 

ยังไม่มีบัญชีผู้ใช้? คุณสามารถสร้างได้อย่างง่ายดาย สร้างบัญชีผู้ใช้ฟรี.