Trade-offs in the design of mixed hardware-software systems-a perspective from industry

Author(s):  
K.A. Vissers
Keyword(s):  
Author(s):  
PANKAJ KAMTHAN

Z is a formal specification language for describing sequential software systems. As the use of Z increases, the quality of Z specifications as effective means of communication arises. The aim of this paper is to contribute to a systematic assessment of the quality of Z specifications as perceived by their stakeholders. A pragmatic quality framework for Z specifications using notions from semiotics, cognitive psychology, and information system quality is proposed. The goals for pragmatic quality, and manageable criteria and mechanisms to address them in a feasible manner are identified. The utility and trade-offs of the mechanisms in achieving the quality goals of the framework are analyzed. Examples that lead to compromise of pragmatic quality in a Z specification, and techniques for improvement, are given.


Author(s):  
Juan Marcelo Parra-Ullauri ◽  
Antonio García-Domínguez ◽  
Nelly Bencomo ◽  
Changgang Zheng ◽  
Chen Zhen ◽  
...  

AbstractModern software systems are increasingly expected to show higher degrees of autonomy and self-management to cope with uncertain and diverse situations. As a consequence, autonomous systems can exhibit unexpected and surprising behaviours. This is exacerbated due to the ubiquity and complexity of Artificial Intelligence (AI)-based systems. This is the case of Reinforcement Learning (RL), where autonomous agents learn through trial-and-error how to find good solutions to a problem. Thus, the underlying decision-making criteria may become opaque to users that interact with the system and who may require explanations about the system’s reasoning. Available work for eXplainable Reinforcement Learning (XRL) offers different trade-offs: e.g. for runtime explanations, the approaches are model-specific or can only analyse results after-the-fact. Different from these approaches, this paper aims to provide an online model-agnostic approach for XRL towards trustworthy and understandable AI. We present ETeMoX, an architecture based on temporal models to keep track of the decision-making processes of RL systems. In cases where the resources are limited (e.g. storage capacity or time to response), the architecture also integrates complex event processing, an event-driven approach, for detecting matches to event patterns that need to be stored, instead of keeping the entire history. The approach is applied to a mobile communications case study that uses RL for its decision-making. In order to test the generalisability of our approach, three variants of the underlying RL algorithms are used: Q-Learning, SARSA and DQN. The encouraging results show that using the proposed configurable architecture, RL developers are able to obtain explanations about the evolution of a metric, relationships between metrics, and were able to track situations of interest happening over time windows.


Author(s):  
Michael Wahler ◽  
Raphael Eidenbenz ◽  
Aurelien Monot ◽  
Manuel Oriol ◽  
Thanikesavan Sivanthi

Author(s):  
Frederick Schmidt ◽  
Stephen MacDonell ◽  
Andy M. Connor

Design erosion is a persistent problem within the software engineering discipline. Software designs tend to deteriorate over time and there is a need for tools and techniques that support software architects when dealing with legacy systems. This paper presents an evaluation of a search-based software engineering (SBSE) approach intended to recover high-level architecture designs of software systems by structuring low-level artifacts into high-level architecture artifact configurations. In particular, this paper describes the performance evaluation of a number of metaheuristic search algorithms applied to architecture reconstruction problems with high dimensionality in terms of objectives. These problems have been selected as representative of the typical challenges faced by software architects dealing with legacy systems and the results inform the ongoing development of a software tool that supports the analysis of trade-offs between different reconstructed architectures.


Author(s):  
Derek Ritz ◽  
Violet Ketani

IntroductionLinking healthcare expenditure data with health outputs and outcomes data is challenging. This is especially true in low-resource (LMIC) settings. Where such linking can be accomlished, however, it supports the development of IMPACT-per-DOLLAR metrics that may be leveraged to support programme optimization. Objectives and ApproachThis session will describe a new data-linking design for a global health programme targeted to low and middle-income countries (LMIC). The US Government's President's Emergency Plan for AIDS Relief (PEPFAR; www.pepfar.gov) is a \$7 billion/year programme spanning 58 LMICs. PEPFAR prepares annual budgets and plans. On a quarterly basis, Implementing Partners report programmatic district-level Monitoring, Evaluation and Reporting (MER) indicators to a central database. Starting in July, 2018, quarterly expenditure data will also be captured, broken down by major programme area and high level account code. The novel new data-linking approach triangulates the budget, indicator and expenditure datasets. ResultsThe PEPFAR programme is managed by the US State Department's Office of the Global AIDS Coordinator (S/GAC). S/GAC undertook, in 2017, a significant re-design of its information system requirements and the software systems that will support these. A multi-year design and prototyping effort has yielded a novel new approach for financial monitoring intended to improve S/GAC's abilities to exert its mandates regarding both programmatic and financial oversight. The new data-linking solutions are being implemented across all PEPFAR countries during the first half of 2018. Information model design choices (and trade-offs), solution architecture designs, and preliminary pilot results of this new implementation will be reported at the confernce. A discussion of implementation science lessons-learned specific to deploying in LMICs will also be presented. Conclusion/ImplicationsPEPFAR's goal and mission is to operationalize HIV epidemic control and achieve an AIDS-free generation by 2030. Data analytics are proving essential to achieving this goal. S/GAC's re-design efforts will help better link its huge financial and programmatic (MER) datasets to support DALY-per-DOLLAR impact optimization on this important initiative.


2015 ◽  
Vol 58 ◽  
pp. 83-100 ◽  
Author(s):  
Selena Gimenez-Ibanez ◽  
Marta Boter ◽  
Roberto Solano

Jasmonates (JAs) are essential signalling molecules that co-ordinate the plant response to biotic and abiotic challenges, as well as co-ordinating several developmental processes. Huge progress has been made over the last decade in understanding the components and mechanisms that govern JA perception and signalling. The bioactive form of the hormone, (+)-7-iso-jasmonyl-l-isoleucine (JA-Ile), is perceived by the COI1–JAZ co-receptor complex. JASMONATE ZIM DOMAIN (JAZ) proteins also act as direct repressors of transcriptional activators such as MYC2. In the emerging picture of JA-Ile perception and signalling, COI1 operates as an E3 ubiquitin ligase that upon binding of JA-Ile targets JAZ repressors for degradation by the 26S proteasome, thereby derepressing transcription factors such as MYC2, which in turn activate JA-Ile-dependent transcriptional reprogramming. It is noteworthy that MYCs and different spliced variants of the JAZ proteins are involved in a negative regulatory feedback loop, which suggests a model that rapidly turns the transcriptional JA-Ile responses on and off and thereby avoids a detrimental overactivation of the pathway. This chapter highlights the most recent advances in our understanding of JA-Ile signalling, focusing on the latest repertoire of new targets of JAZ proteins to control different sets of JA-Ile-mediated responses, novel mechanisms of negative regulation of JA-Ile signalling, and hormonal cross-talk at the molecular level that ultimately determines plant adaptability and survival.


2012 ◽  
Vol 11 (3) ◽  
pp. 118-126 ◽  
Author(s):  
Olive Emil Wetter ◽  
Jürgen Wegge ◽  
Klaus Jonas ◽  
Klaus-Helmut Schmidt

In most work contexts, several performance goals coexist, and conflicts between them and trade-offs can occur. Our paper is the first to contrast a dual goal for speed and accuracy with a single goal for speed on the same task. The Sternberg paradigm (Experiment 1, n = 57) and the d2 test (Experiment 2, n = 19) were used as performance tasks. Speed measures and errors revealed in both experiments that dual as well as single goals increase performance by enhancing memory scanning. However, the single speed goal triggered a speed-accuracy trade-off, favoring speed over accuracy, whereas this was not the case with the dual goal. In difficult trials, dual goals slowed down scanning processes again so that errors could be prevented. This new finding is particularly relevant for security domains, where both aspects have to be managed simultaneously.


2007 ◽  
Vol 62 (9) ◽  
pp. 1073-1074 ◽  
Author(s):  
Kennon M. Sheldon ◽  
Melanie S. Sheldon ◽  
Charles P. Nichols

Sign in / Sign up

Export Citation Format

Share Document