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 …

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 …

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 …

For assuring dependability among systems, it is necessary to describe not only system
architecture, but also assurance argument between elements of systems. The composite …

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 …

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 …

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 …

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 …

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 …

In software engineering, to ensure reliability between systems, describing both system
architecture and assurance arguments between system elements is considered necessary …