A model driven approach for software systems reliability

The reliability assurance of software systems from design to deployment level through transformation techniques and model driven approach, is described. Once the reliability mechanisms provided by current component-based development architectures (CBDA) are designed in a platform-independent way, platform-based design and implementation models must be extended. Current CBDAs, such as Enterprise Java Beans, address a considerable range of features to support system reliability. The evaluation aims to test maturity of the approach, its applicability, and the effectiveness of reliability models. The techniques such as process algebras are generally considered time consuming, in regard to software development

Numerical and Computational Strategy for Pressure-Driven Steady-State Simulation of Oilfield Production

Within the TINA (Transient Integrated Network Analysis) research project and in partnership with Total, IFP is developing a new generation of simulation tool for flow assurance studies. This integrated simulation software will be able to perform multiphase simulations from the wellbore to the surface facilities. The purpose of this paper is to define, in a CAPE-OPEN compliant environment, a numerical and computational strategy for solving pressure-driven steady-state simulation problems, i.e. pure simulation and design problems, in the specific context of hydrocarbon production and transport from the wellbore to the surface facilities

Assuring NASA's Safety and Mission Critical Software

What is IV&V? Independent Verification and Validation (IV&V) is an objective examination of safety and mission critical software processes and products. Independence: 3 Key parameters: Technical Independence; Managerial Independence; Financial Independence. NASA IV&V perspectives: Will the system's software: Do what it is supposed to do?; Not do what it is not supposed to do?; Respond as expected under adverse conditions?. Systems Engineering: Determines if the right system has been built and that it has been built correctly. IV&V Technical Approaches: Aligned with IEEE 1012; Captured in a Catalog of Methods; Spans the full project lifecycle. IV&V Assurance Strategy: The IV&V Project's strategy for providing mission assurance; Assurance Strategy is driven by the specific needs of an individual project; Implemented via an Assurance Design; Communicated via Assurance Statements

Model-driven Engineering IDE for Quality Assessment of Data-intensive Applications

This article introduces a model-driven engineering (MDE) integrated development environment (IDE) for Data-Intensive Cloud Applications (DIA) with iterative quality enhancements. As part of the H2020 DICE project (ICT-9-2014, id 644869), a framework is being constructed and it is composed of a set of tools developed to support a new MDE methodology. One of these tools is the IDE which acts as the front-end of the methodology and plays a pivotal role in integrating the other tools of the framework. The IDE enables designers to produce from the architectural structure of the general application along with their properties and QoS/QoD annotations up to the deployment model. Administrators, quality assurance engineers or software architects may also run and examine the output of the design and analysis tools in addition to the designer in order to assess the DIA quality in an iterative process

SOTER on ROS: A Run-Time Assurance Framework on the Robot Operating System

We present an implementation of SOTER, a run-time assurance framework for building safe distributed mobile robotic (DMR) systems, on top of the Robot Operating System (ROS). The safety of DMR systems cannot always be guaranteed at design time, especially when complex, off-the-shelf components are used that cannot be verified easily. SOTER addresses this by providing a language-based approach for run-time assurance for DMR systems. SOTER implements the reactive robotic software using the language P, a domain-specific language designed for implementing asynchronous event-driven systems, along with an integrated run-time assurance system that allows programmers to use unfortified components but still provide safety guarantees. We describe an implementation of SOTER for ROS and demonstrate its efficacy using a multi-robot surveillance case study, with multiple run-time assurance modules. Through rigorous simulation, we show that SOTER enabled systems ensure safety, even when using unknown and untrusted components.Comment: 20th International Conference on Runtime Verificatio

Quality assurance in Library and Information Schools in Europe: major trends and issues

. In Europe, the internationalisation process of higher education – driven by Bologna Process - have identified the objectives of improving quality assurance, transparency and recognition of qualifications. LIS guidelines for quality assurance and the recognition of professionals have been analised to discover a common definition of quality, of same purposes and of similar process. Could European LIS Schools collaborate toward a single accreditation system in Europe? The paper reports on the findings, limited to Europe, of an international survey, promoted and partly financed by IFLA Education and Training Section on quality assurance processes used in Library and Information Science (LIS) Schools. The survey has shown that, regardless of whether it concerns an institution or programme evaluation, assessment, audit or accreditation, there is a substantial convergence on: a common set of standards, a similar approach to evaluation process. It can be said also that quality assurance in LIS is more focused on resources and curriculum design than on learning outcomes and student evaluation. Conclusions will argue that further studies are required

The influence of firm performance and (level of) assurance on the believability of management’s environmental report

Purpose – This study empirically examines perceptions of environmental report believability based on a firm’s relative performance and level of assurance obtained on environmental activities under the recently clarified and recodified attestation standards in the United States. Design/methodology/approach – The paper uses a 2 3 3 between-subjects experiment to identify differences in 153 non-expert environmental report users’ perceptions of report believability based on positive or negative firm performance and (level of) assurance provided by an accounting firm. Findings – Results show a main effect in that negative performance reports are perceived to be more believable than positive performance reports, as driven by negative performance reports being significantly more believable when no assurance is present. The firm performance effect is eliminated once limited or reasonable assurance is provided. Further, positive performance reports with limited, but not reasonable, assurance are perceived to be more believable than reports without assurance. No differences are identified within the negative performance condition. Practical implications – Limited assurance might be used as an impression management tool to enhance the believability of positive performance environmental reports. Users, practitioners, and standard-setters should also be aware that users might believe environmental reports are assured, even when no such assurance has been provided. Originality/value – This paper examines the impact of assured environmental reporting on users that review firms’ environmental reports outside of a shareholder/investor role. The study also demonstrates conditions in which firm performance and assurance impact perceptions of report believability