Measuring the Progress of a System Development

2012 ◽  
pp. 417-441 ◽  
Author(s):  
Marta (Plaska) Olszewska ◽  
Marina Waldén
Keyword(s):  
Formal Methods ◽  
Design Process ◽  
Formal Specification ◽  
System Development ◽  
Structural Complexity ◽  
Software Systems ◽  
System Construction ◽  
Design Decisions ◽  
And Control

For most of the developers and managers, the structure and the behaviour of software systems represented in a graphical manner is more understandable than a formal specification of a system or than plain code. Our previous work combined the intuitiveness of UML with the development rigour brought by formal methods and created progress diagrams. In progress diagrams, the design decisions within a system refinement chain are assisted by the application of patterns and illustrated in a comprehensible and compact manner. In order to rigorously assess and control the design process, we need to thoroughly monitor it. In this chapter we show how the application of generic refinement patterns is reflected in measurements. We establish measures for the evaluation of the design progress of the system, where the progress diagrams are assessed from the size and structural complexity perspective. Our motivation is to support the system developers and managers in making the design decisions that regard the system construction.

Measuring the Progress of a System Development

2014 ◽  
pp. 1415-1439
Author(s):  
Marta (Plaska) Olszewska ◽  
Marina Waldén
Keyword(s):  
Formal Methods ◽  
Design Process ◽  
Formal Specification ◽  
System Development ◽  
Structural Complexity ◽  
Software Systems ◽  
System Construction ◽  
Design Decisions ◽  
And Control

For most of the developers and managers, the structure and the behaviour of software systems represented in a graphical manner is more understandable than a formal specification of a system or than plain code. Our previous work combined the intuitiveness of UML with the development rigour brought by formal methods and created progress diagrams. In progress diagrams, the design decisions within a system refinement chain are assisted by the application of patterns and illustrated in a comprehensible and compact manner. In order to rigorously assess and control the design process, we need to thoroughly monitor it. In this chapter we show how the application of generic refinement patterns is reflected in measurements. We establish measures for the evaluation of the design progress of the system, where the progress diagrams are assessed from the size and structural complexity perspective. Our motivation is to support the system developers and managers in making the design decisions that regard the system construction.

Self-Explaining Agents

2013 ◽  
Vol 63 (3) ◽  
Author(s):  
Johannes Fähndrich ◽  
Sebastian Ahrndt ◽  
Sahin Albayrak
Keyword(s):  
State Of The Art ◽  
System Development ◽  
Special Kind ◽  
Research Area ◽  
System Component ◽  
Software Systems ◽  
Design Decisions ◽  
Learning Agents ◽  
Additional Information ◽  
Definition Of

This work advocate self-explanation as one foundation of self-* properties. Arguing that for system component to become more self-explanatory the underlining foundation is an awareness of themselves and their environment. In the research area of adaptive software, self-* properties have shifted into focus caused by the tendency to push ever more design decisions to the applications runtime. Thus fostering new paradigms for system development like intelligent and learning agents. This work surveys the state-of-the-art methods of self-explanation in software systems and distills a definition of self-explanation. Additionally, we introduce a measure to compare explanations and propose an approach for the first steps towards extending descriptions to become more explanatory. The conclusion shows that explanation is a special kind of description. The kind of description that provides additional information about a subject of interest and is understandable for the audience of the explanation. Further the explanation is dependent on the context it is used in, which brings about that one explanation can transport different information in different contexts. The proposed measure reflects those requirements.

Integrating Requirements Engineering Techniques and Formal Methods

2005 ◽  
pp. 1555-1559 ◽  
Author(s):  
María Virginia Mauco ◽  
Daniel Riesco
Keyword(s):  
Formal Methods ◽  
Requirements Engineering ◽  
Formal Specification ◽  
Specification Language ◽  
Software Systems ◽  
Formal Development ◽  
Secure Software ◽  
Formal Specification Language

Formal methods help to develop more reliable and secure software systems, and they are increasingly being accepted by industry. The RAISE1 Method (George et al., 1995), for example, is intended for use on real developments, not just toy examples. This method includes a large number of techniques and strategies for formal development and proofs, as well as a formal specification language, the RAISE Specification Language (RSL) (George et al., 1992), and a set of tools (George et al., 2001).

Exploiting User Involvement in Interactive System Development

1981 ◽  
Vol 25 (1) ◽  
pp. 401-405 ◽  
Author(s):  
Duncan C. Miller ◽  
Richard W. Pew
Keyword(s):  
System Design ◽  
Design Process ◽  
System Development ◽  
User Involvement ◽  
Interactive System ◽  
Design Decisions ◽  
System Designs ◽  
Fundamental Design

By the time users have an opportunity to try out a prototype of a new interactive system, most of the fundamental design decisions have already been made, and it is usually too late to make more than superficial changes. In too many instances, the final result is a system that is awkward to use, and which may even be resisted by its users. To avoid this situation, genuine solicitation of user reaction to proposed system designs should begin as early as possible and continue throughout the design process. Several techniques (some of them rather unconventional) are suggested for actively employing users in system design.

Will Love Tear Us Apart: Adapting the Lyrical to the Ludic

CounterText ◽  
2016 ◽  
Vol 2 (2) ◽  
pp. 217-235
Author(s):  
Gordon Calleja
Keyword(s):  
Design Process ◽  
Game Design ◽  
Digital Games ◽  
Design Decisions ◽  
The Core ◽  
Lyrical Poetry ◽  
Insight Into ◽  
Made In

This paper gives an insight into the design process of a game adaptation of Joy Division's Love Will Tear Us Apart (1980). It outlines the challenges faced in attempting to reconcile the diverging qualities of lyrical poetry and digital games. In so doing, the paper examines the design decisions made in every segment of the game with a particular focus on the tension between the core concerns of the lyrical work being adapted and established tenets of game design.

The Threats of Ukraine Financial Security: Identification and Systemization

2019 ◽  
pp. 73-80
Author(s):  
Oleksandra Maslii ◽  
Andrii Maksymenko ◽  
Svitlana Onyshchenko
Keyword(s):  
Financial Stability ◽  
System Development ◽  
Financial System ◽  
Economic Security ◽  
The State ◽  
Financial Security ◽  
Monitoring And Control ◽  
Development Indicators ◽  
Security Indicators ◽  
And Control

Place of monitoring and control of risks of financial stability of the state in the system of ensuring financial security of the state was substantiated. Methods of identifying threats to Ukraine's financial security through the current and strategic analysis of financial system development indicators were considered. Tendencies of economic development of Ukraine in the context of revealing sources of threats to financial stability of the state were analyzed. Dynamic analysis of the actual values of the financial security indicators of Ukraine as a whole and its separate components had been carried out. Threats to Ukraine's financial security were identified based on comparative and trend analysis. Reasons for the critical state of debt, banking and monetary security in the financial structure and the preconditions for the emergence of systemic threats had been investigated. Systematization of risks and threats to Ukraine's financial security by its components had been carried out. Influence of systemic threats in the financial sphere on the economic security of the state was generalized. International experience of monitoring financial stability of the state was analyzed. Additional risks to the national financial system are associated with the globalization and digitization of the state financial system that are not taken into account by valid methodological recommendations for calculating the level of economic security of Ukraine were highlighted.

scholarly journals Evaluation and Selection of Integrated Energy System Construction Scheme Equipped with Smart Energy Management and Control Platform Using Single-Valued Neutrosophic Numbers

2021 ◽  
Vol 13 (5) ◽  
pp. 2615
Author(s):  
Junqing Wang ◽  
Wenhui Zhao ◽  
Lu Qiu ◽  
Puyu Yuan
Keyword(s):  
Energy Management ◽  
Evaluation Criteria ◽  
Energy System ◽  
System Construction ◽  
Interval Numbers ◽  
Construction Scheme ◽  
Smart Energy Management ◽  
Integrated Energy System ◽  
And Control ◽  
Selection Of

Since application of integrated energy systems (IESs) has formed a markedly increasing trend recently, selecting an appropriate integrated energy system construction scheme becomes essential to the energy supplier. This paper aims to develop a multi-criteria decision-making model for the evaluation and selection of an IES construction scheme equipped with smart energy management and control platform. Firstly, a comprehensive evaluation criteria system including economy, energy, environment, technology and service is established. The evaluation criteria system is divided into quantitative criteria denoted by interval numbers and qualitative criteria. Secondly, single-valued neutrosophic numbers are adopted to denote the qualitative criteria in the evaluation criteria system. Thirdly, in order to accommodate mixed data types consisting of both interval numbers and single-valued neutrosophic numbers, the TOPSIS (Technique for Order Preference by Similarity to an Ideal Solution) method is extended into a three-stage technique by introducing a fusion coefficient μ. Then, a real case in China is evaluated through applying the proposed method. Furthermore, a comprehensive discussion is made to analyze the evaluation result and verify the reliability and stability of the method. In short, this study provides a useful tool for the energy supplier to evaluate and select a preferred IES construction scheme.

Open-Loop Control Co-Design of Floating Offshore Wind Turbines Using Linear Parameter-Varying Models

2021 ◽  
Author(s):  
Athul K. Sundarrajan ◽  
Yong Hoon Lee ◽  
James T. Allison ◽  
Daniel R. Herber
Keyword(s):  
Wind Turbines ◽  
Open Loop ◽  
Offshore Wind ◽  
Linear Parameter ◽  
Design Decisions ◽  
Linear Parameter Varying ◽  
Offshore Wind Turbines ◽  
Floating Offshore Wind Turbines ◽  
Parameter Varying ◽  
And Control

Abstract This paper discusses a framework to design elements of the plant and control systems for floating offshore wind turbines (FOWTs) in an integrated manner using linear parameter-varying models. Multiple linearized models derived from high-fidelity software are used to model the system in different operating regions characterized by the incoming wind speed. The combined model is then used to generate open-loop optimal control trajectories as part of a nested control co-design strategy that explores the system’s stability and power production in the context of crucial plant and control design decisions. A cost model is developed for the FOWT system, and the effect of plant decisions and subsequent power and stability response of the FOWT is quantified in terms of the levelized cost of energy (LCOE) for that system. The results show that the stability constraints and the plant design decisions affect the turbine’s power and, subsequently, LCOE of the system. The results indicate that a lighter plant in terms of mass can produce the same power for a lower LCOE while still satisfying the constraints.

Formal Methods for Specifying and Analyzing Complex Software Systems

2006 ◽  
pp. 123-150 ◽  
Author(s):  
Xudong He ◽  
Huiqun Yu ◽  
Yi Deng
Keyword(s):  
Formal Methods ◽  
Software Systems
Sign in / Sign up

Export Citation Format

Share Document