Page 130 of 313
Abstract: Formalising requirements has the potential to solve problems arising from deficiencies in natural language descriptions. While behavioural requirements are rarely described formally in industry, increasing complexity and new safety standards have renewed the interest in formal specifications. The goal of this paper is to explore how behavioural requirements for embedded systems can be formalised a...
Abstract: Machines are converging towards autonomy. The transition is driven by safety, efficiency, environmental and traditional ‘robotics automation concerns’ (dirty, dull and dangerous applications). Similar trends are seen in several domains including heavy vehicles, cars and aircraft. This transition is, however, facing multiple challenges including how to gradually evolve from current architectures to...
Abstract: Abstract The software intensive industry is moving towards the adoption of a value-driven and adaptive real-time business paradigm. The traditional view of software as an item that evolves through releases every few months is being replaced by the continuous evolution of software functionality. This study aims to classify and analyse the literature related to continuous deployment in the software ...
Abstract: Efficient auto-scaling of cloud resources relies on the monitoring of the cloud, which involves multiple aggregation processes and large amounts of data with various and interdependent requirements ......
Page 130 of 313