Crossover services involve deep convergence of services in different domains.
Requirements analysis of crossover services often requires the collaboration of engineers in …

System goals are the statements that, in the context of software requirements specification,
capture how the software should behave. Many times, the understanding of stakeholders on …

A μ-kernel is an operating system (OS) paradigm that facilitates a strong cybersecurity
posture for embedded systems. Unlike a monolithic OS such as Linux, a μ-kernel reduces …

The boundary conditions (BCs) have shown great potential in requirements engineering
because a BC captures the particular combination of circumstances, ie, divergence, in which …

Goal-conflict analysis has been widely used as an abstraction for risk analysis in goal-
oriented requirements engineering approaches. In this context, where the expected …

In this paper, we consider the minimal unsatisfiable core (MUC) problem for linear temporal
logic over finite traces (LTL), which nowadays is a popular formal-specification language for …

The reactive synthesis problem consists of automatically producing correct-by-construction
operational models of systems from high-level formal specifications of their behaviours …

In goal-oriented requirements engineering approaches, conflict analysis has been proposed
as an abstraction for risk analysis. Intuitively, given a set of expected goals to be achieved by …

As a new form of service model, crossover services aim to aggregate service resources
across multiple domains to meet the complex needs of users and provide value-added …

LTL solvers check the satisfiability of Linear-time Temporal Logic (LTL) formulas and are
widely used for verifying and testing critical software systems. Thus, potential bugs in the …