Difference between revisions of "Logical Architecture"

From SEBoK
Jump to navigation Jump to search
Line 56: Line 56:
 
*Changes happening on low frequencies (top of Figure 3) - decisions of change are made at the upper levels. The goal is to transmit them towards bottom levels to implement the modifications. A typical example relates to operator actions, maintenance operations, etc.
 
*Changes happening on low frequencies (top of Figure 3) - decisions of change are made at the upper levels. The goal is to transmit them towards bottom levels to implement the modifications. A typical example relates to operator actions, maintenance operations, etc.
  
[[File:SEBoKv05 KA-SystDef Temporal and decision hierarchy levels.png|400px|thumb|center|Figure. Temporal and Decision Hierarchy Levels (Faisandier 2012) Reprinted with permission of © Alain Faisandier]]
+
[[File:SEBoKv05 KA-SystDef Temporal and decision hierarchy levels.png|400px|thumb|center|Figure 3. Temporal and Decision Hierarchy Levels (Faisandier 2012) Reprinted with permission of © Alain Faisandier]]
  
 
==Process Approach==
 
==Process Approach==

Revision as of 18:08, 12 March 2012

The purpose of logical architecture design is to work out the functionality and behavior of the in-service system.

The logical architecture of a system is composed of a set of related technical concepts and principles that support the logical operation of the system. It is described with views corresponding to viewpoints, and as a minimum, includes a functional architecture / view, a behavioral architecture / view, and a temporal architecture / view.

Concepts and Principles

Functional Architecture / View

A functional architecture is a set of functions and their sub-functions that defines the transformations performed by the system to achieve its mission.

Concept of Function and Input-output Flow - A Function is an action that transforms inputs and generates outputs, such as materials, energies, and/or information. These inputs and outputs are the flow items exchanged between functions. The general mathematic notation of a function is y = ƒ(x,t), where y and x may be vectors, and can be represented graphically.

In order to define the complete set of functions of the system, one must identify all the functions necessitated by the system and its derived requirements, as well as the corresponding inputs and outputs of those functions. There are, in general, two kinds of functions :

  • Some functions are directly deduced from functional requirements and from interface requirements. They express the expected services of a system necessary to meet its system requirements .
  • Other functions are derived and issued from the alternative solutions of physical architecture as the result of the design. They depend on technology choice to implement the logical architecture elements.

Functions hierarchy/decomposition of functions – At the highest level of a hierarchy, it is possible to represent a system as a unique, central function (defined as the system's mission) similar to a "black box." In order to understand, in detail, what the system does, this "head-of-hierarchy" is broken down into sub-functions grouped to form a sub-level of the hierarchy, and so on. Functions of the last level of a functional hierarchy can be called leaf-functions. Hierarchies (or breakdowns) decompose a complex or global function into a set of functions for which physical solutions are known, feasible, or possible to imagine. But a functional hierarchy does not represent exchanged flows of inputs and outputs.


File:SEBoKv075 KA-SystDef Decomposition of Functions.png
Figure 1. Decomposition of Functions (Faisandier 2012) Reprinted with permission of © Alain Faisandier.

Behavioral Architecture/View

A behavioral architecture is an arrangement of functions and their sub-functions, as well as interfaces (inputs and outputs), that defines the execution sequencing, conditions for control or data-flow, and its performance level to satisfy the system requirements (ISO/IEC 26702). A behavioral architecture can be described as a set of inter-related scenarios of functions and/or of operational modes.

Concept of control (trigger) - A control flow is an element that activates a function as a condition of its execution. The state of this element (or the condition it represents) activates or deactivates the function (or elements thereof). A control flow can be a signal or an event, such as something moved to the “on” position, an alarm, a trigger, a temperature variation, the push of a key on a keyboard, etc.

Concept of Scenario (of functions) - A scenario is a chain of functions performed as a sequence that synchronizes the functions between them, using their control flows to achieve a global transformation of inputs into outputs. A scenario of functions expresses the dynamic of an upper level function. A behavioral architecture is developed with scenarios for each level of the functional hierarchy and for each level of the system hierarchy.

Modeling techniques using diagrams, such as Functional Flow Block diagrams (FFBD) (Oliver, Kelliher, and Keegan 1997) or activity diagrams, developed with SysML (OMG. 2010), are suitable to represent scenarios of functions and behavioral architectures.

Concept of Operational Mode - A Scenario of functions can be viewed by abstracting the transformation of inputs into outputs of each function and focusing on the active or non-active state of the function and on its controls. This view is called a scenario of modes. A scenario of modes is a chain of modes performed as a sequence of transitions between the various modes of the system. The transition from one mode to another is triggered by the arrival of a control flow (event/ trigger). An action (function) can be generated within a transition between two modes following the arrival of an event or a trigger.


Figure 2. Scenario of Operational Modes (Faisandier 2012) Reprinted with permission of © Alain Faisandier.

Behavioral design patterns - When designing scenarios or behavioral architectures, architects may recognize and use known models to represent the expected transformations and behaviors. Patterns are generic basic models, more or less sophisticated depending on the complexity of the treatment. A pattern can be represented with different notations. Behavioral design patterns could be classified into several categories, such as the following examples:

  • basic patterns or constructs linking functions, such as sequence, iteration, selection, concurrence, multiple exits, loops with an exit, replication, etc.;
  • complex patterns, such as monitoring a treatment, exchanging a message, man machine interfaces, modes monitoring, real-time monitoring of processes, queue management, continuous monitoring with supervision, etc.; and
  • failure detection, identification, and recovery (FDIR) patterns, such as passive redundancies, active redundancies, semi-active redundancies, treatments with reduced performance, etc.

Temporal Architecture /View

A temporal architecture is a temporal classification of the functions of a system according to the frequency level of execution. Temporal architecture includes the definition of synchronous and asynchronous aspects of functions.

The decision monitoring that occurs inside a system follows the same temporal classification because decisions are related to the monitoring of functions.

Temporal and decisional hierarchy concept – Not every Function of a system is performed at the same frequency. The frequency changes depending on the time and ways functions are started and executed. One must therefore consider several classes of performance. There are synchronous functions that are executed cyclically, and asynchronous functions that are executed when an event or trigger happens.

In particular, "real-time" systems and "command-control" systems combine cyclical operations (synchronous) and factual aspects (asynchronous). Cyclical operations consist of sharing the execution of functions according to frequencies, which depend on constraints of capture, or dispatching the input/output and control flows. Two types of asynchronous events can be distinguished:

  • Disturbances on high frequencies (bottom of Figure 3) - decisions are made at either the level they occur or one level above. The goal is to ensure that disturbances do not go up in low frequencies so that the system continues to achieve its mission objectives. This is the way to introduce exception operations. The typical example related to operations concerns breakdowns or failures.
  • Changes happening on low frequencies (top of Figure 3) - decisions of change are made at the upper levels. The goal is to transmit them towards bottom levels to implement the modifications. A typical example relates to operator actions, maintenance operations, etc.
Figure 3. Temporal and Decision Hierarchy Levels (Faisandier 2012) Reprinted with permission of © Alain Faisandier

Process Approach

Purpose

The purpose of the logical architecture design process is to define, select, and synthesize a system’s logical architecture to enable it to satisfy and trade-off with the concerned system requirements, as well as enable it to operate all operational scenarios of the complete system life.

Because of the necessarily iterative execution of the design, inputs and outputs of the process evolve incrementally. Generic inputs include system requirements, generic design patterns that designers identify and use to answer requirements, outcomes from system analysis processes, and feedback from system verification and validation processes.

Generic outputs are the selected independent logical architecture of the system, including at least views and models; such as functional, behavioral, and temporal views; a traceability matrix between logical architecture elements and system requirements; and the rejected solutions’ elements.

Activities of the Process

Major activities and tasks performed during this process include the following:

  • Identify and analyze functional and behavioral elements:
  • Assign system requirements to functional and behavioral elements:
    • formally characterize functions expression and their attributes through the assignment of performance, effectiveness, and constraints requirements;
    • formally characterize input, output, and control Flows expression and their attributes through assignment of interface, effectiveness, operational, and constraints requirements; and
    • establish traceability between system requirements and these functional and behavioral elements.
  • Design candidate logical architectures for each candidate:
    • analyze operational modes as stated in the system requirements (if any) and/or use previously defined elements to model sequences of operational modes and the transition of Modes. Eventually decompose modes into sub-modes, then establish for each operational mode one or several scenarios of functions recognizing and/or using relevant generic behavioral generic patterns;
    • integrate these Scenarios of functions in order to get a behavioral architecture of the system (a complete picture of the dynamic behavior);
    • decompose previously defined logical elements as necessary to look towards implementation;
    • assign and incorporate temporal constraints to previously defined logical elements, such as the period of time, duration, frequency, response-time, timeout, stop conditions, etc.;
    • define several levels of execution frequency for functions that correspond to levels of decision in order to monitor system operations, prioritize processing on this time basis, and share out functions among those execution frequency levels to get a temporal architecture; and
    • perform functional failure modes and effects analysis, and update the logical architecture elements as necessary.
  • Synthesize the selected independent logical architecture:
    • select the logical architecture by assessing the candidate logical architectures against assessment criteria (related to design properties and to system requirements) and compare them, use the system analysis process to perform assessments (see the System Analysis Topic). This selected logical architecture is called “independent logical architecture” because, as much as possible, it is independent of implementation decisions;
    • identify and define derived logical architecture elements created for the necessity of design and corresponding derived System Requirements, and assign these requirements to the appropriate system (current studied system or external systems); and
    • verify and validate the selected logical architecture, make corrections as necessary, and establish traceability between system requirements and logical architecture elements.
  • Feedback logical design and system requirements (this activity is performed after the physical architecture design process):
    • model the “allocated logical architecture” to systems and system elements, if such a representation is possible, and add any functional, behavioral, and temporal elements as needed to synchronize functions and treatments; and
    • define or consolidate derived logical and physical elements induced by the selected logical and physical architectures. Define corresponding derived requirements and allocate them to appropriate logical and physical architectures elements. Incorporate these derived requirements in requirements baselines of impacted systems.

Artifacts and Ontology Elements

This process may create several artifacts, such as

  • system design documents (describes the selected logical and physical architectures) and
  • system design justification documents (traceability matrices and design choices).

This process handles the ontology elements of Table 1.

Table 1. Main ontology elements as handled within Logical Architecture Design (Figure Developed for BKCASE)

Note: The element Scenario is used for logical architecture because, as defined, a scenario includes a large set of functional, behavioral, and temporal elements. Sequences of operational modes and the transition of modes can be used alternatively, depending on the used modeling techniques.

Methods and Modeling Techniques

Logical architecture design uses modeling techniques that are grouped under the following types of models. Several methods have been developed to support these types of models:

  • functional models, such as the structured analysis design technique (SADT/IDEF0), system analysis & real time (SA-RT), enhanced Functional Flow Block Diagrams (eFFBD), function analysis system technique (FAST), etc.;
  • semantic models, such as entities-relationships diagrams, class diagrams, data flow diagrams, etc.; and
  • dynamic models such as state-transition diagrams, state-charts, eFFBDs, state machine diagrams (SysML), activity diagrams (SysML) (OMG. 2010), petri nets, etc.

Practical Considerations

Major pitfalls encountered with Logical architecture design are presented in Table 2.

Table 2. Pitfalls with Logical Architecture Design (Figure Developed for BKCASE)

Proven practices with logical architecture Design are presented in Table 3.

Table 3. Proven Practices with Logical Architecture Design (Figure Developed for BKCASE)

References

Works Cited

Alexander, C., S. Ishikawa, M. Silverstein, M. Jacobson, I. Fiksdahl-King, and S. Angel. 1977. A Pattern Language: Towns, Buildings, Construction. New York, NY, USA: Oxford University Press.

Buede, D.M. 2009. The engineering design of systems: Models and methods. 2nd ed. Hoboken, NJ, USA: John Wiley & Sons Inc.

Gamma, E., R. Helm, R. Johnson, and J. Vlissides. 1995. Design Patterns: Elements of Reusable Object-Oriented Software. Boston, MA, USA: Addison-Wesley.

Maier, M., and E. Rechtin. 2009. The art of systems architecting. 3rd ed. Boca Raton, FL, USA: CRC Press.

Oliver, D., T. Kelliher, and J. Keegan. 1997. Engineering complex systems with models and objects. New York, NY, USA: McGraw-Hill.

OMG. 2010. OMG Systems Modeling Language specification, version 1.2, July 2010. http://www.omg.org/technology/documents/spec_catalog.htm.

Thome, B. 1993. Systems Engineering, Principles & Practice of Computer-Based Systems Engineering. New York, NY, USA: Wiley.

ISO/IEC/IEEE. 2008. Systems and Software Engineering - System Life Cycle Processes. Geneva, Switzerland: International Organization for Standardization (ISO)/International Electronical Commission (IEC), Institute of Electrical and Electronics Engineers. ISO/IEC/IEEE 15288:2008 (E).

Primary References

ANSI/IEEE. 2000. Recommended practice for architectural description for software-intensive systems. New York, NY: American National Standards Institute (ANSI)/Institute of Electrical and Electronics Engineers (IEEE), ANSI/IEEE 1471-2000.

INCOSE. 2011. INCOSE Systems Engineering Handbook: A Guide for System Life Cycle Processes and Activities, version 3.2.1. San Diego, CA, USA: International Council on Systems Engineering (INCOSE), INCOSE-TP-2003-002-03.2.1.

ISO/IEC/IEEE. 2008. Systems and Software Engineering - System Life Cycle Processes. Geneva, Switzerland: International Organization for Standardization (ISO)/International Electronical Commission (IEC), Institute of Electrical and Electronics Engineers. ISO/IEC/IEEE 15288:2008 (E).

ISO/IEC/IEEE. 2011. Systems and Software Engineering - Architecture Description. Geneva, Switzerland: International Organization for Standardization (ISO)/International Electrotechnical Commission (IEC)/Institute of Electrical and Electronics Engineers (IEEE), ISO/IEC/IEEE 42010.

Maier, M., and E. Rechtin. 2009. The Art of Systems Architecting. 3rd ed. Boca Raton, FL, USA: CRC Press.

Additional References

Faisandier, A. 2011 (unpublished). Engineering and Architecting Multidisciplinary Systems.

Oliver, D., T. Kelliher, and J. Keegan. 1997. Engineering Complex Systems with Models and Objects. New York, NY, USA: McGraw-Hill.

Thome, B. 1993. Systems Engineering, Principles & Practice of Computer-Based Systems Engineering. New York, NY, USA: Wiley.



< Previous Article | Parent Article | Next Article >

Comments from SEBoK 0.5 Wiki

Please note that in version 0.5, this article was titled “Architectural Design”. The comments below are shared with the "Architectural Design: Physical" article.

<html> <iframe src="http://bkcasewiki.org/index.php?title=Talk:Architectural_Design&printable=yes" width=825 height=200 frameborder=1 scrolling=auto> </iframe> </html>


SEBoK v. 1.9.1 released 30 September 2018

SEBoK Discussion

Please provide your comments and feedback on the SEBoK below. You will need to log in to DISQUS using an existing account (e.g. Yahoo, Google, Facebook, Twitter, etc.) or create a DISQUS account. Simply type your comment in the text field below and DISQUS will guide you through the login or registration steps. Feedback will be archived and used for future updates to the SEBoK. If you provided a comment that is no longer listed, that comment has been adjudicated. You can view adjudication for comments submitted prior to SEBoK v. 1.0 at SEBoK Review and Adjudication. Later comments are addressed and changes are summarized in the Letter from the Editor and Acknowledgements and Release History.

If you would like to provide edits on this article, recommend new content, or make comments on the SEBoK as a whole, please see the SEBoK Sandbox.

blog comments powered by Disqus