Artificial Intelligence Logic and Applications
The 2nd International Conference, AILA 2022, Shanghai, China, August 26–28, 2022, Proceedings
Article
Multicore systems integrated with hardware accelerators provide better performance for executing real-time applications in time-critical fields, such as robots, avionics, and aerospace. The integration of hard...
Chapter and Conference Paper
Heterogeneous multicore system integrated with FPGA has been shown to yield superior performance when executing real-time applications. In this paper, we propose a heterogeneous multicore co-scheduling algorit...
Chapter and Conference Paper
Fuzzy c-means (i.e., FCM) is a representative clustering method that is widely used in machine learning and pattern recognition. It can describe the degree of fuzziness of objects to clusters using memberships...
Chapter and Conference Paper
With the frequent occurrence of security issues in open-source software, the public is gradually paying attention to the trustworthiness of open-source software. As the cradle of open-source software, the open...
Chapter and Conference Paper
Software trustworthiness measurement becomes a focus in software companies. In software trustworthiness measurement, traditional Analytic Hierarchy Process (shortly, AHP) is usually utilized to estimate softwa...
Chapter and Conference Paper
Authentication protocols are the basis for secure communication in many distributed systems but are highly prone to errors in their design, preventing them from working properly. It is therefore necessary to a...
Chapter and Conference Paper
The software has been a part of our daily life. However, software systems are becoming more and more complex, with many uncertainties, unavoidable software bugs, failures, and even disasters. The measurement o...
Book and Conference Proceedings
The 2nd International Conference, AILA 2022, Shanghai, China, August 26–28, 2022, Proceedings
Article
The Spatio-Temporal Consistency Language (STeC) is a high-level modeling language that deals natively with spatio-temporal behaviour, i.e., behaviour relating to certain locations and time. Such restriction by...
Article
The Internet-of-Things (IoT) is expected to swamp the world. In order to study and understand the emergent behaviour of connected things, effective support for their modelling is needed. At the heart of IoT ar...
Chapter and Conference Paper
During the process of utilizing Model-Based Systems Engineering (MBSE), SysML activity diagrams are often used for designing the software systems and its correctness is likely to significantly affect the relia...
Chapter and Conference Paper
The Clock Constraint Specification Language (CCSL) is a clock-based specification language for capturing causal and chronometric constraints between events in Real-Time Embedded Systems (RTESs). Due to the lim...
Chapter and Conference Paper
Software development is costly endeavors. In general, the cost can be reduced by checking whether the program meets the specification. Usually, software is composed of several modules so that by checking the ...
Chapter and Conference Paper
With the development of the Internet of things, the image recognition system is widely required in many fields. It has very high requirement in real-time, but usually it has high complexity and large data. So ...
Chapter and Conference Paper
Internet of Things (IoT) and Cyber-Physical Systems (CPS) have become important topics in both theory and industry. In some application domains, such as when specifying the behaviour of precision mechanics, we...
Article
This paper presents an approach to build a communication behavioural semantic model for heterogeneous distributed systems that include synchronous and asynchronous communications. Since each node of such syste...
Chapter and Conference Paper
The traditional model-driven develo** methods in requirement engineering (RE) have met challenges. Under the dropback of big data, we propose a new framework of software design method based on requirement da...
Chapter and Conference Paper
There exist many software trustworthiness measures based on the decompositions of attributes. However, few of them are concerned with using more rigorous approaches to measure software trustworthiness and carr...
Chapter and Conference Paper
In this paper, we study a subproblem of vehicle scheduling problem, which is in general strongly NP-hard. In this problem, the road map is a tree, the release times and the handling times of all the tasks are ...
Chapter and Conference Paper
The PADS (Process Algebra for Demand and Supply) framework is an approach to model resource demand and supply for the formal analysis of hierarchical scheduling. Inspired by the demand relation in PADS, we pro...