|
Showing 1 - 7 of
7 matches in All Departments
In recent years, a considerable amount of effort has been devoted,
both in industry and academia, to the development, validation and
verification of critical systems, i.e. those systems whose
malfunctions or failures reach a critical level both in terms of
risks to human life as well as having a large economic impact.
Certifications of Critical Systems - The CECRIS Experience
documents the main insights on Cost Effective Verification and
Validation processes that were gained during work in the European
Research Project CECRIS (Certification of Critical Systems). The
objective of the research was to tackle the challenges of
certification by focusing on those aspects that turn out to be more
difficult/important for current and future critical systems
industry: the effective use of methodologies, processes and tools.
Starting from both the scientific and industrial state of the art
methodologies for system development and the impact of their usage
on the verification and validation and certification of critical
systems, the project aimed at developing strategies and techniques
supported by automatic or semi-automatic tools and methods for
these activities, setting guidelines to support engineers during
the planning of the verification and validation phases. Topics
covered include: Safety Assessment, Reliability Analysis, Critical
Systems and Applications, Functional Safety, Dependability
Validation, Dependable Software Systems, Embedded Systems, System
Certification.
|
Computer Safety, Reliability, and Security - SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014, Proceedings (Paperback, 2014 ed.)
Andrea Bondavalli, Andrea Ceccarelli, Frank Ortmeier
|
R2,975
Discovery Miles 29 750
|
Ships in 10 - 15 working days
|
This book constitutes the refereed proceedings of 6 workshops
co-located with SAFECOMP 2014, the 33rd International Conference on
Computer Safety, Reliability, and Security, held in Florence,
Italy, in September 2014. The 32 revised full and 10 short papers
presented were carefully reviewed and selected from 58 submissions.
They are complemented with 6 introduction to each of the workshops:
Architecting Safety in Collaborative Mobile Systems, ASCoMS'14;
ERCIM/EWICS/ARTEMIS Workshop on Dependable Embedded and
Cyberphysical Systems and Systems-of-Systems, DECSoS'14;
DEvelopment, Verification and VAlidation of cRiTical Systems,
DEVVARTS'14; Integration of Safety and Security Engineering,
ISSE'14; Reliability and Security Aspects for Critical
Infrastructure Protection, ReSA4CI'14; Next Generation of System
Assurance Approaches for Safety-Critical Systems, SASSUR'14.
|
Dependable Computing - Third Latin-American Symposium, LADC 2007, Morelia, Mexico, September 26-28, 2007, Proceedings (Paperback, 2007 ed.)
Andrea Bondavalli, Francisco Brasileiro, Sergio Rajsbaum
|
R1,557
Discovery Miles 15 570
|
Ships in 10 - 15 working days
|
This book constitutes the refereed proceedings of the Third
Latin-American Symposium on Dependable Computing, LADC 2007, held
in Morelia, Mexico, in September 2007.
The 14 revised full papers presented together with 2 invited
talks, and outlines of 3 tutorials and 2 panel sessions, were
carefully reviewed and selected from 37 submissions. The papers are
organized in topical sections on fault-tolerant algorithms,
software engineering of dependable systems, networking and mobile
computing, experimental dependability evaluation, as well as
intrusion tolerance and security.
This book is open access under a CC BY 4.0 license. Technical
Systems-of-Systems (SoS) - in the form of networked, independent
constituent computing systems temporarily collaborating to achieve
a well-defined objective - form the backbone of most of today's
infrastructure. The energy grid, most transportation systems, the
global banking industry, the water-supply system, the military
equipment, many embedded systems, and a great number more, strongly
depend on systems-of-systems. The correct operation and continuous
availability of these underlying systems-of-systems are fundamental
for the functioning of our modern society. The 8 papers presented
in this book document the main insights on Cyber-Physical System of
Systems (CPSoSs) that were gained during the work in the FP7-610535
European Research Project AMADEOS (acronym for Architecture for
Multi-criticality Agile Dependable Evolutionary Open
System-of-Systems). It is the objective of this book to present, in
a single consistent body, the foundational concepts and their
relationships. These form a conceptual basis for the description
and understanding of SoSs and go deeper in what we consider the
characterizing and distinguishing elements of SoSs: time,
emergence, evolution and dynamicity.
|
Computer Safety, Reliability, and Security - 33rd International Conference, SAFECOM 2014, Florence, Italy, September 10-12, 2014. Proceedings (Paperback, 2014 ed.)
Andrea Bondavalli, Felicita Di Giandomenico
|
R2,678
Discovery Miles 26 780
|
Ships in 10 - 15 working days
|
This book constitutes the refereed proceedings of the 33nd
International Conference on Computer Safety, Reliability, and
Security, SAFECOMP 2014, held in Florence, Italy, in September
2014. The 20 revised full papers presented together with 3
practical experience reports were carefully reviewed and selected
from 85 submissions. The papers are organized in topical sections
on fault injection techniques, verification and validation
techniques, automotive systems, coverage models and mitigation
techniques, assurance cases and arguments, system analysis,
security and trust, notations/languages for safety related aspects,
safety and security.
|
|