Zhengshu Zhou

EA (Enterprise Architecture) visualization methodologies have been explored by researchers and engineers to conduct EA modeling. The objectives of EA modeling are to clarify enterprise strategies, visualize business processes, and model information systems to manage resources, improve organization structure, adjust information strategy, and create new business value. Therefore, EA models can be broadly applied in various fields. For example, the applications include business modeling, informatio

Goal-oriented NFR (Non-Functional Requirement) assurance approaches were used to qualitatively evaluate software architectures. Assurance cases using quantitative method have not been applied to evaluate NFR assurance for software architectures. This paper presents a system architecture evaluation method which is able to conduct quantitative NFR assurance evaluation for system architecture through ArchiMate. The paper also proposes an algorithm to automate the quantitative evaluation process. A

Since entering the era of Industry 4.0, the concept of Healthcare 4.0 has also been put forward and explored by researchers. How to use Information Technology (IT) to better serve people’s healthcare is one of the most featured emerging directions in the academic circle. An important field of Healthcare 4.0 research is the reliability engineering of healthcare service. Because healthcare systems often affect the health and even life of their users, developers must be very cautious in the design,

Autonomous driving, as an emerging technology, is developing rapidly. However, a number of obstacles appear to be holding back the widespread adoption of autonomous driving. Cybersecurity issues, which have a significant impact both technically and psychologically on people's willingness to use autonomous driving, are one of the most significant barriers. Attackers have adopted increasingly diverse threat methods, increasing cyber-attacks. Despite these threats, global standards have been develo

Along with economic development, customers' expectations for the commercial value of a product or service tend to be diverse. Innovation of enterprise service and information technology is required to solve customer pain points and create new value. Enterprises that are insensitive in service innovation and technology innovation may gradually lose their customers and markets. In order to visualize and manage the business processes, resources, and the entire organization, including the informatio

Technological advances are transforming the automotive industry by increasing the number of computer-controlled auto components that provide information to remote systems through various means of communication. The changes have created new opportunities for cyber-attacks. To enable the engineering of in-vehicle embedded systems within road vehicles to keep up with changing technology and attack methods, in this year, ISO and SAE will jointly release the international standard ISO/SAE 21434. Howe

Information technology has been used as a solution for improving productivity and service quality by enterprises, and software systematization supported by information technology has increasingly become the foundation for enterprise service. Innovation towards enterprise architecture improvement is usually necessary to provide high-quality service and create new value. This paper proposes a methodology aiming at stimulating innovation by evaluating the value provided by software system while vis

Pedestrian detection sensors in road infrastructure and GPS sensors mounted in smartphones have been used in driving safety support systems for detecting pedestrians. However, although pedestrian detection sensors in road infrastructure can detect pedestrians' high-precision position, they cannot acquire the attribute information of pedestrians. Conversely, a smartphone's built-in sensor can send GPS location information, user identifier, and the attribute information of a user, bu

The demand for hazardous materials (HazMat) logistics is on the rise, and the importance of safety engineering of HazMat logistics is clear. Freight services based on intelligent transportation systems (ITS) offer a more secure, efficient, and environmentally-friendly method of HazMat logistics. At the same time, the voice of digital transformation (DX) in logistics continues to grow. However, there are currently some barriers to the digital transformation of the HazMat logistics industry, in wh

Many traffic accidents occur in parking lots. One of the serious safety risks is vehicle-pedestrian conflict. Moreover, with the increasing development of automatic driving and parking technology, parking safety has received significant attention from vehicle safety analysts. However, pedestrian protection in parking lots still faces many challenges. For example, the physical structure of a parking lot may be complex, and dead corners would occur when the vehicle density is high. These lead to p

The authors present two description languages for specifying algorithms and describing implementations in ARREST - a diagram environment for VLSI array architectures. They then define their operational semantics based on feedback products of sequential machines, which provide a precise and intuitive meaning of concurrency and composition. Next the authors develop a formal specification language based on modal functions for describing the behavior of abstract product machines, which formally inte

System security assurance has become one of the most important research directions in software engineering and requirement engineering. To date, a lot of approaches have been proposed to conduct system security assurance. However, in these existing approaches, the constraint conditions of security assurance are rarely mentioned. In software engineering domain, constraint is a critical factor that can affect the success or failure of the engineering project, and thus the practicability of these a

When deciding and evaluating system security strategies, there is a trade-off relationship between security assuring effect and constraint condition, which has been revealed by many qualitative security assurance methods. However, the existing methods cannot be used to make quantitative analysis on security assurance and constraint conditions to support project managers and system engineers to decide system development strategies. Therefore, a quantitative method which can consider both security

This study aims to explore how to improve the reliability of the next-generation mobility model—Mobility as a Service (MaaS) based on autonomous vehicles, with a particular focus on the system’s resilience to uncertainty. Currently, the application of reliability engineering in the field of smart mobility services is primarily concentrated on technical details, lacking unified standards and methods to enhance the reliability of service levels. This paper attempts to fill this research gap. In th