The requirements engineering of Industrial Cyber-Physical Systems is extremely
challenging due to large system sizes, component heterogeneity, involvement of multi …

The rapid integration of the Internet of Things (IoT) with ad hoc networks offers significant
advantages for revolutionizing smart environments. However, ensuring trust and reliability …

Several formal trust frameworks have been introduced in the area of Multi-Agent Systems
(MASs). However, the problem of model checking trust logics is still a challenging research …

Recent times have demonstrated how much the modern critical infrastructures (eg, energy,
essential services, people and goods transportation) depend from the global communication …

Performance evaluation of multiagent systems (MAS) embraces several challenges due to
uncertain operational environments, such as software/hardware failures and unfaithful …

Safety-Critical Systems (SCS) stand for those systems designed to tackle events that could
potentially cause human injury or loss of life, significant property damage, financial loss, or …

Trust and social commitments have been studied with different objectives for communication
in Multi-Agent Systems (MASs) separately. The purpose of this paper is to present the first …

The rapid expansion of digital twin technology has revolutionized management and testing
across various sectors, particularly in safeguarding critical infrastructure like smart grids …

The system requirement specifications (SRSs) of the train control system (TCS) are the
starting point and foundation of system design and development. Defects in the SRSs will …

As the gig economy continues to grow, behaviors of workers on gig service platforms have
an increasing impact on service satisfaction. For example, fatigue driving behaviors of …