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 …

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 …

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

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 …

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

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 …

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 …

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 …

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

Boundary conditions express situations under which requirements specifications conflict.
They are used within a broader conflict management process to produce less idealized …