On modeling and satisfaction of non-functional requirements using cloud computing

Specification of the non-functional requirements of applications and determining the required resources for their execution are activities that demand a great deal of technical knowledge, frequently resulting in an inefficient use of resources. Cloud computing is an alternative for provisioning of resources, which can be done using either the provider's own infrastructure or the infrastructure of one or more public clouds, or even a combination of both. It enables more flexibly/elastic use of resources, but does not solve the specification problem. In this paper we present an approach that uses models at runtime to facilitate the specification of non-functional requirements and resources, aiming to facilitate dynamic support for application execution in cloud computing environments with shared resources. © 2013 IEEE.

An examination of standards of functional requirements, performance and finish in housing

DUE TO COPYRIGHT RESTRICTIONS ONLY AVAILABLE FOR CONSULTATION AT ASTON UNIVERSITY LIBRARY AND INFORMATION SERVICES WITH PRIOR ARRANGEMENT

Minimizing nasty surprises with better informed decision-making in self-adaptive systems

Designers of self-adaptive systems often formulate adaptive design decisions, making unrealistic or myopic assumptions about the system's requirements and environment. The decisions taken during this formulation are crucial for satisfying requirements. In environments which are characterized by uncertainty and dynamism, deviation from these assumptions is the norm and may trigger 'surprises'. Our method allows designers to make explicit links between the possible emergence of surprises, risks and design trade-offs. The method can be used to explore the design decisions for self-adaptive systems and choose among decisions that better fulfil (or rather partially fulfil) non-functional requirements and address their trade-offs. The analysis can also provide designers with valuable input for refining the adaptation decisions to balance, for example, resilience (i.e. Satisfiability of non-functional requirements and their trade-offs) and stability (i.e. Minimizing the frequency of adaptation). The objective is to provide designers of self adaptive systems with a basis for multi-dimensional what-if analysis to revise and improve the understanding of the environment and its effect on non-functional requirements and thereafter decision-making. We have applied the method to a wireless sensor network for flood prediction. The application shows that the method gives rise to questions that were not explicitly asked before at design-time and assists designers in the process of risk-aware, what-if and trade-off analysis.

Supporting decision-making for self-adaptive systems:from goal models to dynamic decision networks

Context/Motivation - Different modeling techniques have been used to model requirements and decision-making of self-adaptive systems (SASs). Specifically, goal models have been prolific in supporting decision-making depending on partial and total fulfilment of functional (goals) and non-functional requirements (softgoals). Different goalrealization strategies can have different effects on softgoals which are specified with weighted contribution-links. The final decision about what strategy to use is based, among other reasons, on a utility function that takes into account the weighted sum of the different effects on softgoals. Questions/Problems - One of the main challenges about decisionmaking in self-adaptive systems is to deal with uncertainty during runtime. New techniques are needed to systematically revise the current model when empirical evidence becomes available from the deployment. Principal ideas/results - In this paper we enrich the decision-making supported by goal models by using Dynamic Decision Networks (DDNs). Goal realization strategies and their impact on softgoals have a correspondence with decision alternatives and conditional probabilities and expected utilities in the DDNs respectively. Our novel approach allows the specification of preferences over the softgoals and supports reasoning about partial satisfaction of softgoals using probabilities. We report results of the application of the approach on two different cases. Our early results suggest the decision-making process of SASs can be improved by using DDNs. © 2013 Springer-Verlag.

Dynamic decision-making based on NFR for managing software variability and configuration selection

Due to dynamic variability, identifying the specific conditions under which non-functional requirements (NFRs) are satisfied may be only possible at runtime. Therefore, it is necessary to consider the dynamic treatment of relevant information during the requirements specifications. The associated data can be gathered by monitoring the execution of the application and its underlying environment to support reasoning about how the current application configuration is fulfilling the established requirements. This paper presents a dynamic decision-making infrastructure to support both NFRs representation and monitoring, and to reason about the degree of satisfaction of NFRs during runtime. The infrastructure is composed of: (i) an extended feature model aligned with a domain-specific language for representing NFRs to be monitored at runtime; (ii) a monitoring infrastructure to continuously assess NFRs at runtime; and (iii) a exible decision-making process to select the best available configuration based on the satisfaction degree of the NRFs. The evaluation of the approach has shown that it is able to choose application configurations that well fit user NFRs based on runtime information. The evaluation also revealed that the proposed infrastructure provided consistent indicators regarding the best application configurations that fit user NFRs. Finally, a benefit of our approach is that it allows us to quantify the level of satisfaction with respect to NFRs specification.

Six sigma for small and medium-sized enterprises

Having arisen in large corporations, six sigma is surely one of the most comprehensive approaches for company development and performance improvement of products and processes. Nevertheless, it appears that the majority of small and medium-sized enterprises (SMEs) either do not know the six sigma approach, or find its organisation not suitable to meet their specific requirements. This study identifies the specific requirements based on a sample of SMEs in Germany and examines how six sigma has to be modified to be applicable and valuable in an SME environment. The overall results are reflected in ten imperative functional requirements for an adjusted approach. © Emerald Group Publishing Limited.

Development of real-time process control systems using formal techniques

A major application of computers has been to control physical processes in which the computer is embedded within some large physical process and is required to control concurrent physical processes. The main difficulty with these systems is their event-driven characteristics, which complicate their modelling and analysis. Although a number of researchers in the process system community have approached the problems of modelling and analysis of such systems, there is still a lack of standardised software development formalisms for the system (controller) development, particular at early stage of the system design cycle. This research forms part of a larger research programme which is concerned with the development of real-time process-control systems in which software is used to control concurrent physical processes. The general objective of the research in this thesis is to investigate the use of formal techniques in the analysis of such systems at their early stages of development, with a particular bias towards an application to high speed machinery. Specifically, the research aims to generate a standardised software development formalism for real-time process-control systems, particularly for software controller synthesis. In this research, a graphical modelling formalism called Sequential Function Chart (SFC), a variant of Grafcet, is examined. SFC, which is defined in the international standard IEC1131 as a graphical description language, has been used widely in industry and has achieved an acceptable level of maturity and acceptance. A comparative study between SFC and Petri nets is presented in this thesis. To overcome identified inaccuracies in the SFC, a formal definition of the firing rules for SFC is given. To provide a framework in which SFC models can be analysed formally, an extended time-related Petri net model for SFC is proposed and the transformation method is defined. The SFC notation lacks a systematic way of synthesising system models from the real world systems. Thus a standardised approach to the development of real-time process control systems is required such that the system (software) functional requirements can be identified, captured, analysed. A rule-based approach and a method called system behaviour driven method (SBDM) are proposed as a development formalism for real-time process-control systems.

An operational approach to object-oriented software development

The traditional waterfall software life cycle model has several weaknesses. One problem is that a working version of a system is unavailable until a late stage in the development; any omissions and mistakes in the specification undetected until that stage can be costly to maintain. The operational approach which emphasises the construction of executable specifications can help to remedy this problem. An operational specification may be exercised to generate the behaviours of the specified system, thereby serving as a prototype to facilitate early validation of the system's functional requirements. Recent ideas have centred on using an existing operational method such as JSD in the specification phase of object-oriented development. An explicit transformation phase following specification is necessary in this approach because differences in abstractions between the two domains need to be bridged. This research explores an alternative approach of developing an operational specification method specifically for object-oriented development. By incorporating object-oriented concepts in operational specifications, the specifications have the advantage of directly facilitating implementation in an object-oriented language without requiring further significant transformations. In addition, object-oriented concepts can help the developer manage the complexity of the problem domain specification, whilst providing the user with a specification that closely reflects the real world and so the specification and its execution can be readily understood and validated. A graphical notation has been developed for the specification method which can capture the dynamic properties of an object-oriented system. A tool has also been implemented comprising an editor to facilitate the input of specifications, and an interpreter which can execute the specifications and graphically animate the behaviours of the specified systems.

A biological-inspired support frame for an artificial cornea

Bilateral corneal blindness represents a quarter of the total blind, world-wide. The artificial cornea in assorted forms, was developed to replace opaque non-functional corneas and to return sight in otherwise hopeless cases that were not amenable to corneal grafts; believed to be 2% of corneal blind. Despite technological advances in materials design and tissue engineering no artificial cornea has provided absolute, long-term success. Formidable problems exist, due to a combination of unpredictable wound healing and unmanageable pathology. To have a solid guarantee of reliable success an artificial cornea must possess three attributes: an optical window to replace the opaque cornea; a strong, long term union to surrounding ocular tissue; and the ability to induce desired host responses. A unique artificial cornea possesses all three functional attributes- the Osteo-odonto-keratoprosthesis (OOKP). The OOKP has a high success rate and can survive for up to twenty years, but it is complicated both in structure and in surgical procedure; it is expensive and not universally available. The aim of this project was to develop a synthetic substitute for the OOKP, based upon key features of the tooth and bone structure. In doing so, surgical complexity and biological complications would be reduced. Analysis of the biological effectiveness of the OOKP showed that the structure of bone was the most crucial component for implant retention. An experimental semi-rigid hydroxyapatite framework was fabricated with a complex bone-like architecture, which could be fused to the optical window. The first method for making such a framework, was pressing and sintering of hydroxyapatite powders; however, it was not possible to fabricate a void architecture with the correct sizes and uniformity of pores. Ceramers were synthesised using alternative pore forming methods, providing for improved mechanical properties and stronger attachment to the plastic optical window. Naturally occurring skeletal structures closely match the structural features of all forms of natural bone. Synthetic casts were fabricated using the replamineform process, of desirable natural artifacts, such as coral and sponges. The final method of construction by-passed ceramic fabrication in favour of pre-formed coral derivatives and focused on methods for polymer infiltration, adhesion and fabrication. Prototypes were constructed and evaluated; a fully penetrative synthetic OOKP analogue was fabricated according to the dimensions of the OOKP. Fabrication of the cornea shaped OOKP synthetic analogue was also attempted.

A process framework for selecting supply system architecture in manufacturing supply chains and networks

The process framework comprises three phases, as follows: scope the supply chain/network; identify the options for supply system architecture and select supply system architecture. It facilitates a structured approach that analyses the supply chain/network contextual characteristics, in order to ensure alignment with the appropriate supply system architecture. The process framework was derived from comprehensive literature review and archival case study analysis. The review led to the classification of supply system architectures according to their orientation, whether integrated; partially integrated; co-ordinated or independent. The classification was combined with the characteristics that influence the selection of supply system architecture to encapsulate the conceptual framework. It builds upon existing frameworks and methodologies by focusing on structured procedure; supporting project management; facilitating participation and clarifying point of entry. The process framework was initially tested in three case study applications from the food, automobile and hand tool industries. A variety of industrial settings was chosen to illustrate transferability. The case study applications indicate that the process framework is a valid approach to the problem; however, further testing is required. In particular, the use of group support system technologies to support the process and the steps involving the participation of software vendors need further testing. However, the process framework can be followed due to the clarity of its presentation. It considers the issue of timing by including alternative decision-making techniques, dependent on the constraints. It is useful for ensuring a sound business case is developed, with supporting documentation and analysis that identifies the strategic and functional requirements of supply system architecture.

Clinical performance of daily disposable soft contact lenses using sustained release technology

Purpose: Polyvinyl alcohol (PVA) is a successful tear film stabiliser and is widely used in comfort drops and some soft contact lens materials. A PVA-containing lens, nelfilcon A has been modified to include additional (non-functional) PVA in order to provide improved comfort. This study aims to examine the clinical performance of this nelfilcon A lens with AquaRelease™ (AquaRelease). Methods: Two contralateral, investigator masked, open label, subjective and objective evaluations were conducted. The first examined the effect of adding increased molecular weight PVA to nelfilcon A (n = 5), and the second compared this AquaRelease lens to ocufilcon B (n = 34). The principal measures were non-invasive break-up time (NIBUT) and subjective comfort, which were assessed at the beginning and end of a week of daily wear, and three times throughout 1 day at 8, 12 and 16 h. Results: All subjects successfully completed the daily wearing schedule of 16 h. On initial insertion, subjective comfort and NIBUT improved for AquaRelease than original nelfilcon A lenses (p < 0.05). Initial comfort was better for AquaRelease compared to ocufilcon B lenses (p = 0.01); however, NIBUT was not statistically different (11.7 ± 15.6 s versus 8.4 ± 6.8 s; p = 0.26). Subjective comfort decreased with time (p < 0.001), but there was no significant difference between AquaRelease and ocufilcon B lenses (p = 0.16). NIBUT was not significantly affected by time (p = 0.56) or between lenses (p = 0.33). At the end of a weeks' wear, subjective initial, end-of-day, overall comfort and vision were rated significantly better with AquaRelease than ocufilcon B (p < 0.01). Conclusions: Release of additional non-functionalised PVA from the nelfilcon A lenses appears to enhance comfortable contact lens wear. © 2006 British Contact Lens Association.

Architecture of remote monitoring and diagnosis system based on service-oriented architecture(SOA)

In view of the increasingly complexity of services logic and functional requirements, a new system architecture based on SOA was proposed for the equipment remote monitoring and diagnosis system. According to the design principles of SOA, different levels and different granularities of services logic and functional requirements for remote monitoring and diagnosis system were divided, and a loosely coupled web services system was built. The design and implementation schedule of core function modules for the proposed architecture were presented. A demo system was used to validate the feasibility of the proposed architecture.

Functional identity of receptors for proteolysis-inducing factor on human and murine skeletal muscle

Background: Cachexia in both mice and humans is associated with tumour production of a sulphated glycoprotein called proteolysis-inducing factor (PIF). In mice PIF binds with high affinity to a surface receptor in skeletal muscle, but little is known about the human receptor. This study compares the human PIF receptor with the murine. Methods: Human PIF was isolated from the G361 melanoma and murine PIF from the MAC16 colon adenocarcinoma. The human PIF receptor was isolated from human skeletal muscle myotubes. Protein synthesis and degradation induced by human and murine PIF was studied in human and murine skeletal muscle myotubes. Results: Both the human and murine PIF receptors showed the same immunoreactivity and Mr 40 000. Both murine and human PIF inhibited total protein synthesis and stimulated protein degradation in human and murine myotubes to about the same extent, and this was attenuated by a rabbit polyclonal antibody to the murine PIF receptor, but not by a non-specific rabbit antibody. Both murine and human PIF increased the activity of the ubiquitin-proteasome pathway in both human and murine myotubes, as evidenced by an increased 'chymotrypsin-like' enzyme activity, protein expression of the 20S and 19S proteasome subunits, and increased expression of the ubiquitin ligases MuRF1 and MAFbx, and this was also attenuated by the anti-mouse PIF receptor antibody. Conclusions: These results suggest that the murine and human PIF receptors are identical. © 2014 Cancer Research UK.

Depolarisation and suppression of burst firing activity in the mouse subthalamic nucleus by dopamine D1/D5 receptor activation of a cyclic-nucleotide gated non-specific cation conductance

Neuronal burst firing in the subthalamic nucleus (STN) is one of the hallmarks of dopamine depletion in Parkinson's disease. Here, we have determined the postsynaptic effects of dopamine in the STN and the functional consequences of dopamine receptor modulation on burst firing in vitro. STN cells displayed regular spiking activity at a rate of 7.9 +/- 0.5 Hz. Application of dopamine (30 mu M) induced membrane depolarisations accompanied by an increase in firing rate of mean 12.0 +/- 0.6 Hz in all 69 cells. The dopamine effect was mimicked by the dopamine D1/D5 receptor agonist SKF38393 (10 mu M, 17 cells) and the dopamine D2-like receptor agonist quinpirole (10 mu M, 35 cells), partly reduced by D1/D5 antagonist SCH23390 (2 mu M, seven cells), but unaffected by the D2 antagonists sulpiride (10 mu M, seven cells) or eticlopride (10 mu M, six cells). Using voltage ramps, dopamine induced an inward current of 69 +/- 9.4 pA at a holding potential of -60 mV (n = 17). This current was accompanied by an increase in input conductance of 1.55 +/- 0.35 nS which reversed at -30.6 +/- 2.3 mV, an effect mimicked by SKF38393 (10 AM, nine cells). Similar responses were observed when measuring instantaneous current evoked by voltage steps and in the presence of the I-h blocker, ZD7288, indicating effects independent of I-h. The increase in conductance was blocked by SCH23390 (2 mu M, n = 4), mimicked by the activator of adenylyl cyclase forskolin (10 mu M, n = 7) and blocked by H-89, an inhibitor of cyclic AMP dependent protein kinase A (10 PM, n = 6). These results indicate that the dopamine depolarisation is in part mediated by D1/D5 receptor mediated activation of a cyclic-nucleotide gated (CNG) non-specific cation conductance. This conductance contributes to the membrane depolarisation that changes STN neuronal bursting to more regular activity by significantly increasing burst duration and number of spikes per burst.

Functional polymers for biomedical application : synthesis and applications

Aromatic and aliphatic diacid chlorides were used to condense naturally occurring diamino acids and their esterified derivatives. It was anticipated the resulting functional polyamides would biodegrade to physiologically acceptable compounds and show pH dependant solubility could be used for biomedical applications ranging from enteric coatings to hydrosoluble drug delivery vehicles capable of targeting areas of low physiological pH. With these applications in mind the polymers were characterised by infra red spectroscopy, gel permeation chromatography and in the case of aqueous soluble polymers by potentiometric titration. Thin films of poly (lysine ethyl ester isophthalamide) plasticised with poly (caprolactone) were cast from DMSO/chloroform solutions and their mechanical properties measured on a Hounsfield Hti tensiometer. Interfacial synthesis was investigated as a synthetic route for the production of linear functional polyamides. High molecular weight polymer was obtained only when esterified diamino acids were condensed with aromatic diacid chlorides. The method was unsuitable for the production of copolymers of free and esterified amino acids with a diacid chloride. A novel miscible mixed solvent single phase reaction was investigated for production of copolymers of esterified and non-esterified amino acids with diacid chlorides. Aliphatic diacid chlorides were unsuitable for condensing diamino acids using this technique because of high rates of hydrolysis. The technique gave high molecular weight homopolymers from esterified diamino acids and aromatic diacid chlorides.