Using a Requirements Modelling Language to Co-Design Intelligent Support for People Living with Dementia

Context and motivation: this research developed a new AI application to support people with dementia to maintain quality of life. Problem: the research explored methods for co-designing models of goals that users of an AI application will seek to achieve. Principal result: An effective co-design method for enabling domain experts to externalize and validate expertise about dementia care. Contribution: A co-design goal modelling method effective with dementia care workers, but still untested with experts in other domains

Load-cell based characterization system for a "Violin-Mode" shadow-sensor in advanced LIGO suspensions

The background to this work was a prototype shadow sensor, which was designed for retro-fitting to an Advanced LIGO (Laser Interferometer Gravitational wave Observatory) test-mass/mirror suspension, in which 40 kg test-mass/mirrors are each suspended by four approximately 600 mm long by 0.4 mm diameter fused-silica suspension fibres. The shadow sensor comprised a LED source of Near InfraRed (NIR) radiation, and a rectangular silicon photodiode detector, which, together, were to bracket the fibre under test. The aim was to detect transverse Violin-Mode resonances in the suspension fibres. Part of the testing procedure involved tensioning a silica fibre sample, and translating it transversely through the illuminating NIR beam, so as to measure the DC responsivity of the detection system to fibre displacement. However, an equally important part of the procedure, reported here, was to keep the fibre under test stationary within the beam, whilst trying to detect low-level AC Violin-Mode resonances excited on the fibre, in order to confirm the primary function of the sensor. Therefore, a tensioning system, incorporating a load-cell readout, was built into the test fibre’s holder. The fibre then was excited by a signal generator, audio power amplifier, and distant loudspeaker, and clear resonances were detected. A theory for the expected fundamental resonant frequency as a function of fibre tension was developed, and is reported here, and this theory was found to match closely the detected resonant frequencies as they varied with tension. Consequently, the resonances seen were identified as being proper Violin-Mode fundamental resonances of the fibre, and the operation of the Violin-Mode detection system was validated

A step-wise steerable source of illumination for low-noise "Violin-Mode" shadow sensors, intended for use in interferometric gravitational wave detectors

A steerable low-noise source of illumination is described for shadow-sensors having a displacement sensitivity of ∼100 pm (rms)/√Hz, at 500 Hz, over a measuring span of at least ±0.5 mm. These sensors were designed to detect lateral "Violin-Mode" resonances in the highly tensioned fused-silica suspension fibres of the test-masses/mirrors for the Advanced Laser Interferometer Gravitational Wave Observatory gravitational wave detectors. The shadow sensors—one intended for each of the four fibres in a suspension—comprised a source of Near InfraRed (NIR) radiation (emitter) and a differential shadow-displacement sensor (detector), these bracketing the fibre under test. The suspension fibres themselves were approximately 600 mm long by 0.4 mm in diameter, and when illuminated from the side, they cast narrow, vertical, shadows onto their respective detectors—these being located at an effective distance of 50 fibre diameters behind the axes of the fibres themselves. The emitter described here was designed to compensate for a significant degree of mechanical drift or creep over time in the mean position of its suspension fibre. This was achieved by employing five adjacent columns of 8 × miniature NIR LEDs (Light Emitting Diodes, λ = 890 nm), with one column being activated at a time. When used in conjunction with a "reverse Galilean" telescope, the LED sources allowed the collimated beam from the emitter to be steered azimuthally in fine angular increments (0.65◦), causing the fibre's shadow to move laterally, in a step-wise manner, across the plane of its facing detector. Each step in shadow position was approximately 0.23 mm in size, and this allowed the fibre's shadow to be re-centred, so as to bridge once again both elements of its photodiode detector—even if the fibre was off-centred by as much as ±0.5 mm. Re-centring allowed Violin-Mode vibrations of the fibre to be sensed once again as differential AC photocurrents, these flowing in anti-phase in the two elements of the "split-photodiode" detector. C 2016 AIP Publishing LLC

An AC modulated Near InfraRed gain calibration system for a "Violin-Mode" transimpedance amplifier, intended for advanced LIGO suspensions

The background to this work was a prototype shadow sensor, which was designed for retro-fitting to an Advanced LIGO (Laser Interferometer Gravitational wave Observatory) test-mass/mirror suspension, in which a 40 kg test-mass/mirror is suspended by four approximately 600 mm long by 0.4 mm diameter fused-silica suspension fibres. The shadow sensor comprised a LED source of Near InfraRed (NIR) radiation, and a ‘tall-thin’ rectangular silicon photodiode detector, which together were to bracket the fibre under test. The photodiode was positioned so as to be sensitive (primarily) to transverse ‘Violin-Mode’ vibrations of such a fibre, via the oscillatory movement of the shadow cast by the fibre, as this moved across the face of the detector. In this prototype shadow sensing system the photodiode was interfaced to a purpose-built transimpedance amplifier, this having both AC and DC outputs. A quasi-static calibration was made of the sensor’s DC responsivity, i.e., incremental rate of change of output voltage versus fibre position, by slowly scanning a fused-silica fibre sample transversely through the illuminating beam. The work reported here concerns the determination of the sensor’s more important AC (Violin-Mode) responsivity. Recognition of the correspondence between direct AC modulation of the source, and actual Violin-Mode signals, and of the transformative rôle of the AC/DC gain ratio for the amplifier, at any modulation frequency, f, resulted in the construction of the AC/DC calibration source described here. A method for determining in practice the transimpedance AC/DC gain ratio of the photodiode and amplifier, using this source, is illustrated by a specific numerical example, and the gain ratio for the prototype sensing system is reported over the frequency range 1 Hz–300 kHz. In fact, a maximum DC responsivity of 1.26 kV.m-1 was measured using the prototype photodiode sensor and amplifier discussed here. Therefore, the measured AC/DC transimpedance gain ratio of 922.5 for this sensor, at 500 Hz, translated into a maximum Violin-Mode (AC) responsivity of (1.16 0.05) MVm-1, at that frequency

Search of the Orion spur for continuous gravitational waves using a loosely coherent algorithm on data from LIGO interferometers

We report results of a wideband search for periodic gravitational waves from isolated neutron stars within the Orion spur towards both the inner and outer regions of our Galaxy. As gravitational waves interact very weakly with matter, the search is unimpeded by dust and concentrations of stars. One search disk (A) is 6.87° in diameter and centered on 20h10m54.71s+33°33′25.29′′, and the other (B) is 7.45° in diameter and centered on 8h35m20.61s−46°49′25.151′′. We explored the frequency range of 50–1500 Hz and frequency derivative from 0 to −5×10−9  Hz/s. A multistage, loosely coherentsearch program allowed probing more deeply than before in these two regions, while increasing coherence length with every stage. Rigorous follow-up parameters have winnowed the initial coincidence set to only 70 candidates, to be examined manually. None of those 70 candidates proved to be consistent with an isolated gravitational-wave emitter, and 95% confidence level upper limits were placed on continuous-wave strain amplitudes. Near 169 Hz we achieve our lowest 95% C.L. upper limit on the worst-case linearly polarized strain amplitude h0 of 6.3×10−25, while at the high end of our frequency range we achieve a worst-case upper limit of 3.4×10−24 for all polarizations and sky locations

Modelling the quality of life goals of people living with dementia

Although now well established, our information systems engineering theories and methods are applied only rarely in disciplines beyond systems development. This paper reports the application of the i* goal modelling language to describe the types of and relationships between quality of life goals of people living with dementia. Published social care frameworks to manage and improve the lives of people with dementia were reviewed to synthesize, for the first time, a comprehensive conceptual model of the types of goals of people living with dementia. This model was then refined in co-design workshops with experienced professional care workers. The conceptual model was used to construct automated reasoning capabilities in a new digital toolset that people with dementia can use for life planning

Developing and Evaluating Digital Creativity Support in Google Docs for Journalists

Although journalism is classified as one of the creative industries, there is little bespoke digital support for creative thinking by journalists. To fill the gap, this paper reports new research that led to the implementation and first evaluation of JUICE, a new digital prototype to support creative thinking by journalists during the early development of news stories. Emerging from a user centred design process, JUICE is implemented as a simple Add-on Sidebar and Dialog Box in Google Docs that a journalist can invoke when developing news stories. Interviews with experienced journalists were used to elicit 6 strategies that JUICE uses to guide its users to generate different angles on news stories using creative information searches and interactive creativity support. In this paper we describe the information search algorithm and new interactive support to create news stories with one of these strategies – the individual human angle on the story – then report a first evaluation of JUICE implemented with the algorithm and support during its use by journalism students. Results revealed that most of these student journalists were able use JUICE to generate new news stories with individual human angles in a short period of time, but still used established web search tools to collect more detailed information about the angle in order to write the story. Journalist feedback was used to improve the usability of JUICE and design new interactive features

Exploring the impact of software requirements on system-wide goals: a method using satisfaction arguments and i* goal modelling

This paper describes the application of requirements engineering concepts to support the analysis of the impact of new software systems on system-wide goals. Requirements on a new or revised software component of a socio-technical system not only have implications on the goals of the subsystem itself, but they also impact upon the goals of the existing integrated system. In industries such as air traffic management and healthcare, impacts need to be identified and demonstrated in order to assess concerns such as risk, safety, and accuracy. A method called PiLGRIM was developed which integrates means-end relationships within goal modelling with knowledge associated with the application domain. The relationship between domain knowledge and requirements, as described in a satisfaction argument, adds traceability rationale to help determine the impacts of new requirements across a network of heterogeneous actors. We report procedures that human analysts follow to use the concepts of satisfaction arguments in a software tool for i* goal modelling. Results were demonstrated using models and arguments developed in two case studies, each featuring a distinct socio-technical system – a new controlled airspace infringement detection tool for NATS (the UK's air navigation service provider), and a new version of the UK’s HIV/AIDS patient reporting system. Results provided evidence towards our claims that the conceptual integration of i* and satisfaction arguments is usable and useful to human analysts, and that the PiLGRIM impact analysis procedures and tool support are effective and scalable to model and analyse large and complex socio-technical systems

A Requirements-Led Approach for Specifying QoS-Aware Service Choreographies: An Experience Report.

[Context and motivation] Choreographies are a form of service composition in which partner services interact in a global scenario without a single point of control. The absence of an explicitly specified orchestration requires changes to requirements practices to recognize the need to optimize software services choreography and monitoring for satisfaction with system requirements. [Question/problem] We developed a requirements-led approach that aims to provide tools and processes to transform requirements expressed on service-based systems to QoS-aware choreography specifications. [Principal ideas/results] The approach is used by domain experts to specify natural language requirements on a service-based system, and by choreography designers to adapt their models to satisfy requirements more effectively. Non-functional requirements are mapped to BPMN choreography diagrams as quality properties, using the Q4BPMN notation, that support analysis and monitoring facilities. [Contribution] We report the new integrated approach and provide lessons learned from applying it to a real-world example of dynamic taxi management