Scientific Library of Tomsk State University

   E-catalog        

Normal view MARC view

Innovative Technologies for Dependable OTS-Based Critical Systems (Record no. 357698)

MARC details
000 -Маркер записи
Контрольное поле постоянной длины 02835nam a22004695i 4500
001 - Контрольный номер
Контрольное поле vtls000485650
005 - Дата корректировки
Контрольное поле 20210922070054.0
007 - Кодируемые данные (физ. описан.)
Контрольное поле постоянной длины cr nn 008mamaa
008 - Кодируемые данные
Контрольное поле постоянной длины 140715s2013 it | s |||| 0|eng d
020 ## - Индекс ISBN
ISBN 9788847027725
-- 978-88-470-2772-5
024 7# - Прочие стандартные номера
Стандартный номер 10.1007/978-88-470-2772-5
Источник номера doi
035 ## - Системный контрольный номер
Системный контрольный номер to000485650
040 ## - Источник каталогиз.
Служба первич. каталог. Springer
Служба, преобразующая запись Springer
Организация, изменившая запись RU-ToGU
050 #4 - Расстановочный код библ. Конгресса
Классификационный индекс QA76.76.R44
050 #4 - Расстановочный код библ. Конгресса
Классификационный индекс TK5105.5956
072 #7 - Код предметной/темат. категории
Код предметной/темат. категории UYD
Источник кода bicssc
072 #7 - Код предметной/темат. категории
Код предметной/темат. категории UKR
Источник кода bicssc
072 #7 - Код предметной/темат. категории
Код предметной/темат. категории COM067000
Источник кода bisacsh
082 04 - Индекс Дьюи
Индекс Дьюи 004.24
Номер издания 23
100 1# - Автор
Автор Cotroneo, Domenico.
Роль лиц editor.
9 (RLIN) 416145
245 10 - Заглавие
Заглавие Innovative Technologies for Dependable OTS-Based Critical Systems
Физический носитель [electronic resource] :
Продолж. заглавия Challenges and Achievements of the CRITICAL STEP Project /
Ответственность edited by Domenico Cotroneo.
260 ## - Выходные данные
Место издания Milano :
Издательство Springer Milan :
-- Imprint: Springer,
Дата издания 2013.
300 ## - Физическое описание
Объем VIII, 215 p. 49 illus.
Иллюстрации/тип воспроизводства online resource.
336 ## - Тип содержимого
Тип содержимого text
Content type code txt
Source rdacontent
337 ## - Средство доступа
Средство доступа computer
Media type code c
Source rdamedia
338 ## - Тип носителя
Тип носителя online resource
Carrier type code cr
Source rdacarrier
505 0# - Примечание о содержании
Содержание Introduction to basic concepts -- V&V in Safety Critical Systems -- Fault Injection -- Security -- Monitoring and Diagnosing.
520 ## - Аннотация
Аннотация 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.
650 #0 - Тематические рубрики
Основная рубрика Computer Science.
9 (RLIN) 155490
650 #0 - Тематические рубрики
Основная рубрика Operating systems (Computers).
9 (RLIN) 303025
650 #0 - Тематические рубрики
Основная рубрика Software engineering.
9 (RLIN) 566225
650 14 - Тематические рубрики
Основная рубрика Computer Science.
9 (RLIN) 155490
650 24 - Тематические рубрики
Основная рубрика Performance and Reliability.
9 (RLIN) 566342
650 24 - Тематические рубрики
Основная рубрика Software Engineering/Programming and Operating Systems.
9 (RLIN) 303115
710 2# - Другие организации
Организация/юрисдикция SpringerLink (Online service)
9 (RLIN) 143950
773 0# - Источник информации
Название источника Springer eBooks
856 40 - Электронный адрес документа
URL <a href="http://dx.doi.org/10.1007/978-88-470-2772-5">http://dx.doi.org/10.1007/978-88-470-2772-5</a>
912 ## - Coursera for Campus: онлайн курсы для ТГУ
Coursera for Campus: онлайн курсы для ТГУ ZDB-2-SCS
999 ## - Системные контрольные номера (Koha)
biblionumber (Koha) 357698

No items available.