Towards a methodology for rigorous development of generic requirements patterns

We present work in progress on a methodology for the engineering, validation and verification of generic requirements using domain engineering and formal methods. The need to develop a generic requirement set for subsequent system instantiation is complicated by the addition of the high levels of verification demanded by safety-critical domains such as avionics. We consider the failure detection and management function for engine control systems as an application domain where product line engineering is useful. The methodology produces a generic requirement set in our, UML based, formal notation, UML-B. The formal verification both of the generic requirement set, and of a particular application, is achieved via translation to the formal specification language, B, using our U2B and ProB tools

Web Services as Product Experience Augmenters and the Implications for Requirements Engineering: A Position Paper

There is currently little insight into what requirement engineering for web services is and in which context it will be carried out. In this position paper, we investigate requirements engineering for a special kind of web services, namely web services that are used to augment the perceived value of a primary service or product that is itself not a web service. We relate requirements engineering to a common enterprise architecture pattern and derive from this a number of research questions for further study

Scenario driven requirement engineering for design and deployment of mobile communication networks

The numbers of users and usage of mobile data service are increasing dramatically due to the introduction of smartphones and mobile broadband dongles. For the next decade the mobile broadband market is expected to grow and reach a level where the average data consumption per user is orders of magnitude greater than today. For the telecom industry it is a magnificent challenge to design and deploy these s high-capacity wireless networks taking into account limitations in cost, energy and radio spectrum. The objective of this paper is to highlight the need to consider a multitude of scenarios for the requirements, design and deployment of mobile broad band networks. The R&D has for many years been targeting high peak data rates enabled by improved spectral efficiency, adding more spectrum bands, aggregation of frequency bands and offloading to local wireless networks connected via public fixed phones or broadband. However, many of these features driving the technology development are representative for the conditions in US and Western Europe. The wireless networks also need to be designed assuming deployment in regions in the world where both the availability of spectrum as well as the penetration of fixed phones and broadband are limited. --Mobile broadband networks,cost and capacity,spectrum,deployment strategies,telecommunications,management of technology and R&D,economic development of natural resources

Algorithmic quantum simulation of memory effects

We propose a method for the algorithmic quantum simulation of memory effects described by integrodifferential evolution equations. It consists in the systematic use of perturbation theory techniques and a Markovian quantum simulator. Our method aims to efficiently simulate both completely positive and nonpositive dynamics without the requirement of engineering non-Markovian environments. Finally, we find that small error bounds can be reached with polynomially scaling resources, evaluated as the time required for the simulation