[图书][B] Open Systems Dependability
M Tokoro - 2015 - api.taylorfrancis.com
Background Thanks to the advancement of technology in the late 20th Century, particularly
in electronics, computers, and the internet, industries have grown, the economy has …
in electronics, computers, and the internet, industries have grown, the economy has …
A dependability case editor with pattern library
Y Matsuno, H Takamura… - 2010 IEEE 12th …, 2010 - ieeexplore.ieee.org
A Dependability Case Editor with Pattern Library Page 1 Dependability Case Editor with Pattern
Library Yutaka Matsuno Information Technology Center The University of Tokyo Email …
Library Yutaka Matsuno Information Technology Center The University of Tokyo Email …
Facilitating use of assurance cases in industries by workshops with an agent-based method
Y Matsuno, T Takai, S Yamamoto - IEICE TRANSACTIONS on …, 2020 - search.ieice.org
Assurance cases are documents for arguing that systems satisfy required properties such as
safety and security in the given environment based on sufficient evidence. As systems …
safety and security in the given environment based on sufficient evidence. As systems …
A composite dependability for enterprise architecture
S Yamamoto, Z Qiang, S Morisaki - Procedia Computer Science, 2018 - Elsevier
For assuring dependability among systems, it is necessary to describe not only system
architecture, but also assurance argument between elements of systems. The composite …
architecture, but also assurance argument between elements of systems. The composite …
Monitoring dependability of city-scale IoT using D-case
H Tokuda, T Yonezawa… - 2014 IEEE World Forum …, 2014 - ieeexplore.ieee.org
City-scale IoT, a fundamental infrastructure for smart cities, requries to sense a range of
ubiquitous entities in a city including humans, objects, and spaces. Ubiquitous sensor …
ubiquitous entities in a city including humans, objects, and spaces. Ubiquitous sensor …
The Method of D-Case Development Using HAZOP Analysis on UML Models
F Ding, S Yamamoto, N Abrahim - Knowledge-Based Software …, 2014 - Springer
As modern systems are becoming complex and large rapidly, the dependability of these
systems are important. Standards and regulations for developing software of these systems …
systems are important. Standards and regulations for developing software of these systems …
Consensus building and in-operation assurance for service dependability
Y Matsuno, S Yamamoto - International Conference on Availability …, 2012 - Springer
Recent information systems have become large and complex by interacting with each other
via networks. This makes assuring dependability of systems much more difficult than ever …
via networks. This makes assuring dependability of systems much more difficult than ever …
A method for requirements elicitation and consensus-building for ideas in the vehicle system concept design using GSN
M Watanabe, Y Matsuno, T Takai - 2023 30th Asia-Pacific …, 2023 - ieeexplore.ieee.org
In V-process, ideas for a new system are repeatedly verified in an agile way using Model
Based Development (MBD) in the early stages of a system development. Although verifying …
Based Development (MBD) in the early stages of a system development. Although verifying …
Extensible online log analysis system
M Sugaya, K Igarashi, M Goshima, S Nakata… - Proceedings of the 13th …, 2011 - dl.acm.org
These days, embedded systems such as robotics and car navigation systems are composed
of a variety of software components. These systems frequently suffer environmental damage …
of a variety of software components. These systems frequently suffer environmental damage …
Visualized assurance approach for enterprise architecture
Q Zhi, Z Zhou, S Yamamoto - Journal of information and …, 2019 - koreascience.kr
In software engineering, to ensure reliability between systems, describing both system
architecture and assurance arguments between system elements is considered necessary …
architecture and assurance arguments between system elements is considered necessary …