An IBIS Based Approach for the Analysis of Non-Functional Requirements

2012 ◽  
Author(s):  
Weili Dai ◽  
Marco Aurisicchio ◽  
Gareth Armstrong
Keyword(s):  
Complex Systems ◽  
Current System ◽  
Software Tool ◽  
Requirement Analysis ◽  
Functional Requirements ◽  
System Specification ◽  
Multiple Stakeholders ◽  
System Requirements

The design of complex systems is based on the needs and expectations of multiple stakeholders. Analysing such elements and transforming them into a rigorous system specification is a long and demanding task. This research is interested in supporting engineers and other stakeholders in the specification of system requirements with a focus on requirement analysis. The paper presents an approach to conduct analysis of non-functional requirements in a way that benefits both the engineers involved in the development of the current system, and those who will need to make improvements to it. The approach includes suggestions towards a tool, a representation, and a method. The tool is a software tool that specialises in capturing decision rationale known as Decision Rationale editor (DRed); the representation is adopted from the IBIS notation; the method is based on a model synthesised from literature on requirement analysis.

FMEDA and FIT-Based Safety Assessment of NPP I&C Systems Considering Expert Uncertainty

2018 ◽  
Author(s):  
Alexander Yasko ◽  
Eugene Babeshko ◽  
Vyacheslav Kharchenko
Keyword(s):  
Emotional Disorders ◽  
Nuclear Power ◽  
Safety Assessment ◽  
Failure Modes ◽  
Reliability Assessment ◽  
Software Tool ◽  
Critical Systems ◽  
System Specification ◽  
Multiple Faults ◽  
Safety And Reliability

The complexity of modern safety critical systems is becoming higher with technology level growth. Nowadays the most important and vital systems of automotive, aerospace, nuclear industries count millions of lines of software code and tens of thousands of hardware components and sensors. All of these constituents operate in integrated environment interacting with each other — this leads to enormous calculation task when testing and safety assessment are performed. There are several formal methods that are used to assess reliability and safety of NPP I&C (Nuclear Power Plant Instrumentation and Control) systems. Most of them require significant involvement of experts and confidence in their experience which vastly affects trustworthiness of assessment results. The goal of our research is to improve the quality of safety and reliability assessment as result of experts involvement mitigation by process automation. We propose usage of automated FMEDA (Failure Modes, Effects and Diagnostic Analysis) and FIT (Fault Insertion Testing) combination extended whith multiple faults approach as well as special methods for quantitative assessment of experts involvement level and their decisions uncertainty. These methods allow to perform safety and reliability assessment without specifying the degree of confidence in experts. Traditional FMEDA approach has several bottlenecks like the need of manual processing of huge number of technical documents (system specification, datasheets etc.), manual assignment of failure modes and effects based on personal experience. Human factor is another source of uncertainty. Such things like tiredness, emotional disorders, distraction or lack of experience could be the reasons of under- and over-estimation. Basing on our research in field of expert-related errors we propose expert involvement degree (EID) metric that indicates the level of technique automation and expert uncertainty degree (EUD) metric which is complex measure of experts decisions uncertainty within assessment. We propose usage of total expert trustworthiness degree (ETD) indicator as function of EID and EUD. Expert uncertainty assessment and Multi-FIT as FMEDA verification are implemented in AXMEA (Automated X-Modes and Effects Analysis) software tool. Proposed Multi-FIT technique in combination with FMEDA was used during internal activities of SIL3 certification of FPGA-based (Field Programmable Gate Array) RadICS platform for NPP I&C systems. The proposed expert trustworthiness degree calculation is going to be used during production activities of RPC Radiy (Research and Production Corporation). Our future work is related to research in expert uncertainty field and extension of AXMEA tool with new failure data sources as well as software optimization and further automation.

Architectures of Concurrent Engineering System for Composites

1996 ◽  
Author(s):  
Jian Zhang ◽  
H. Thomas Hahn
Keyword(s):  
Concurrent Engineering ◽  
Life Cycle Cost ◽  
Engineering System ◽  
Functional Requirements ◽  
System Architectures ◽  
Composite Manufacturing ◽  
Manufacturing Enterprises ◽  
System Requirements ◽  
Points Of View ◽  
Process Productivity

Abstract The demand for the better quality products with shorter lead-time and lower life-cycle cost forces the manufacturing enterprises all around the world to optimize their production strategies from both enterprise engineering and enterprise operation respectively. This paper addresses the architectural issue of applying the Concurrent Engineering (CE) approach in the composite manufacturing area. It first discussed briefly the characteristics of composite manufacturing process to examine the feasibility and possibility of applying the CE approach to improve its process productivity and product quality. Then the functional requirements for a concurrent engineering system for composites (CESC) were defined from both operational and architectural points of view. Finally, the integrated infrastructure based system architectures for the CESC were presented in accordance with the physical system requirements, and so were the associated and currently conducted R&D focuses for the system.

Enabling Packaging Houses to Achieve 3D Integration without Interposers

2012 ◽  
Vol 2012 (DPC) ◽  
pp. 000893-000923
Author(s):  
Jeff Leal ◽  
Marc Robinson ◽  
Suzette Pangrle
Keyword(s):  
Current System ◽  
3D Structure ◽  
Consumer Electronics ◽  
Temperature Cycle ◽  
3D Integration ◽  
Novel Method ◽  
System Requirements ◽  
Traditional Approaches ◽  
Electrical Connections ◽  
Temperature Storage

The growth of small portable consumer electronics has increased the requirements of creating densely stacked packages with ever decreasing footprints while still increasing storage capacities as well as accessible memory. Traditional approaches to create these packages have included wire-bonding and Package on Package (PoP) as well as through Silicon Via (TSV). All of these methods present a solution to current system requirements, each with its own drawback. This paper will discuss a novel method in which a vertical 3D die stack can be created of similar an in some cases dissimilar die. The final 3D structure of stacked die will present no XY offset between any level of the die stack achieving the smallest possible form factor. This method also eliminates the requirements of creating an interposer for the electrical connection between layers. The final result is a completely vertical die stack with electrical connections drawn on the outside edges of the die stack which adds <400um total in either the X or Y axis of the package. We will discuss required equipment, the best known methods and the optimal materials required to achieve the final product as well as JEDEC reliability data proving package robustness, such as Temperature Cycle, biased-HAST and High Temperature Storage.

Using Databases in the Design of User Interfaces for Complex Systems

1989 ◽  
Vol 33 (5) ◽  
pp. 254-258
Author(s):  
Donald M. Allen ◽  
Daniel T. Donohoo ◽  
William H. Muto
Keyword(s):  
Complex Systems ◽  
User Interfaces ◽  
Design Strategies ◽  
Top Down ◽  
Design Information ◽  
Software Applications ◽  
Manual Analysis ◽  
System Requirements

Because of the increasing complexity and size of systems for which user interfaces must be designed, manual analysis of user and system requirements are inadequate. Methods for employing database tools in top down design strategies have been developed to manage design information in the development of user interfaces for large and complex systems. These methods have been useful in the design of user interfaces that are internally consistent with the user's model of the system and that are consistent across related software applications.

A METHODOLOGY AND SUPPORT TOOLS FOR ANALYSIS OF REAL-TIME SPECIFICATIONS

1996 ◽  
Vol 06 (03) ◽  
pp. 401-426 ◽  
Author(s):  
DOUGLAS A. STUART ◽  
ALOYSIUS K. MOK ◽  
FARNAM JAHANIAN
Keyword(s):  
Embedded Systems ◽  
Naval Research ◽  
Critical Systems ◽  
System Specification ◽  
Development Environment ◽  
Prototype Development ◽  
Support Tools ◽  
System Requirements ◽  
Time Critical ◽  
Verification Methodology

As software control of time-critical functions in embedded systems becomes more common, a means for the precise specification of their behavior and formal methods for analyzing system requirements become increasingly important. Modechart is a graphical specification language introduced to meet this need. The main focus of this paper is on methods and supporting tools for representing and reasoning about properties of time-critical systems specified in Modechart. The paper describes a verification methodology which takes advantage of the structuring inherent in a Modechart specification to determine whether a system specification satisfies the required properties. The paper also describes the implementation of a mechanical verifier, based on the proposed approach, which has been recently integrated as part of the Modechart Toolset prototype development environment from the Naval Research Lab [7].

MUDPY ontology: a tool for multimedia project planning, design and development

2006 ◽  
Vol 19 (2) ◽  
pp. 165-174 ◽  
Author(s):  
R. Jakkilinki ◽  
N. Sharda ◽  
I. Ahmad
Keyword(s):  
Current System ◽  
Project Planning ◽  
Functional Requirements ◽  
Design And Development ◽  
Project Proposal ◽  
Multimedia Design ◽  
Content Type ◽  
Planning And Design ◽  
Development Tool ◽  
Practical Implications

PurposeThis paper seeks to describe the process used to develop the multimedia design and planning pyramid (MUDPY) ontology, and the role played by the MUDPY ontology as a planning, design and development tool in multimedia projects.Design/methodology/approachThe MUDPY model was implemented for the semantic web by developing an ontology for it. This ontology facilitates defining the concepts existing in that domain, their attributes and the relationships between them.FindingsThe MUDPY ontology can guide developers through the various phases of a multimedia project in a systematic fashion by allowing them to create a project proposal, specify the functional requirements, decide on the navigational structure and create a storyboard, and thus create high‐quality projects.Research limitations/implicationsThe current system is a prototype. This MUDPY ontology can be extended by adding more classes in order to increase its functionality; for example, one can develop special plug‐in widgets to generate project reports required during multimedia project planning and design.Practical implicationsBy using the MUDPY ontology, developers can follow a systematic process for project development, and better manage the complexity of multimedia projects.Originality/valueThe paper introduces the MUDPY model and its ontology, and shows a multimedia author the pathway to manage a multitude of concepts and assets required in a multimedia project.

Modular Design for a Novel Aid about the Disabled in Lower Limb Based on the Function Requirement Analysis

2012 ◽  
Vol 479-481 ◽  
pp. 1596-1599
Author(s):  
Jian Guo Zhang ◽  
He Rong Liu ◽  
Qiang Xue
Keyword(s):  
Lower Limb ◽  
Daily Living ◽  
Market Research ◽  
Modular Design ◽  
Lower Limbs ◽  
Requirement Analysis ◽  
Life Care ◽  
Functional Requirements ◽  
Functional Rehabilitation ◽  
The Disabled

To analyze the function demand for the rehabilitation aids on the basis of market research to the disabled. A novel multi-functional rehabilitation aid is developed based on the concept of modular design, which could aid the disabled to accomplish the daily living life care and rehabilitation training of the lower limbs. According to their real daily life needs and economic ability, combination with different modules could meet their various functional requirements and adapt to the market demands constantly.

scholarly journals SISTEM INFORMASI AKUNTANSI PENJUALAN DAN PERSEDIAAN

2008 ◽  
Vol 2 (2) ◽  
pp. 106
Author(s):  
Suryanto Suryanto
Keyword(s):  
Information Systems ◽  
Information Needs ◽  
Design Method ◽  
Current System ◽  
Accounting Information ◽  
Inventory System ◽  
Decision Making Process ◽  
Accounting Information Systems ◽  
Analysis And Design ◽  
System Requirements

The research purpose is to analyze and design the Accounting Information Systems sales and inventory system that runs as well as identifying the needs and requirements of the new system that is made to fix the weaknesses in systems and sales. The research method used is the method of analysis and design methods. Methods of analysis by analyzing the problems in the current system, identify information needs and system requirements. The design method used is the database design, form and appearance of the screen. The results to be achieved is to produce a draft of Accounting Information Systems sales and inventory system that can find solutions to existing systems with computerized systems that can help the company deal with the problems in the system is running. Conclusions obtained are that the Information System Accounting Information and the sale of inventories, which were given suggestions and solutions for computerized systems can assist company management in the decision making process because it can generate reports more accurate and faster than less efficient systems. With the use of Accounting Information Systems sales and inventories, companies can overcome the problems encountered so far.Keywords: accounting information systems, sales, inventory

scholarly journals Towards a Requirements Specification Multi-View Framework for Self-Adaptive Systems

2015 ◽  
Author(s):  
Juan C. Muñoz-Fernández ◽  
Gabriel Tamura ◽  
Raúl Mazo ◽  
Camille Salinesi
Keyword(s):  
Adaptive Systems ◽  
Software Tool ◽  
Software Systems ◽  
Functional Requirements ◽  
Requirements Modeling ◽  
Sufficient Power ◽  
Depth Analysis ◽  
Context Variables ◽  
Difficult Challenge ◽  
Self Adaptive

The analysis of self-adaptive systems (SAS) requirements involves addressing uncertainty from several sources. Despite advances in requirements for SAS, uncertainty remains an extremely difficult challenge. In this paper, we propose REFAS, a framework to model the requirements of self-adaptive software systems. Our aim with REFAS is to address and reduce uncertainty and to provide a language with sufficient power of expression to specify the different aspects of self-adaptive systems, relative to functional and non-functional requirements. The REFAS modeling language includes concepts closely related to these kind of requirements and their fulfillment, such as context variables, claims, and soft dependencies. Specifically, the paper´s contribution is twofold. First, REFAS supports different viewpoints and concerns related to requirements modeling, with key associations between them. Moreover, the modeler can define additional models and views by exploiting the REFAS meta-modeling capability, in order to capture additional aspects contributing to reduce uncertainty. Second, REFAS promotes in-depth analysis of all of the modeled concerns with aggregation and association capabilities, especially with context variables. Furthermore, we also define a process that enforces modeling requirements, considering different aspects of uncertainty. We demonstrate the applicability of REFAS by using the VariaMos software tool, which implements the REFAS meta-model, views, and process.

Sign in / Sign up

Export Citation Format

Share Document