Focus: A Formal Design Method for Distributed Systems

1993 ◽  
pp. 190-202 ◽  
Author(s):  
Frank Dederichs ◽  
Claus Dendorfer ◽  
Rainer Weber
Keyword(s):  
Distributed Systems ◽  
Design Method ◽  
Formal Design

Administration of Wireless Software Components

2011 ◽  
pp. 200-215
Author(s):  
F. Barier
Keyword(s):  
Distributed Systems ◽  
Design Method ◽  
Software Components ◽  
Wireless Devices ◽  
Business Services ◽  
Management Standards ◽  
Wireless Environments ◽  
Java Library

Software components embedded in mobile and wireless devices, as ordinary components deployed in distributed systems, have to be managed in order to recover faults, to trace and analyze behaviors, to enable business services such as online maintenance, customer practice understanding and so on. Despite the existence of management standards and platforms, the implementation of management facilities inside components as well as the possibility to access and operate these facilities by means of appropriate interfaces (a configuration interface for instance in order to instrument dynamical re-configuration) are not actually available. In this scope, this chapter discusses and provides a design method and an associated Java library in order to have manageable and self-manageable components specific to mobile and wireless environments.

Constrained Average Design Method for QoS-Based Traffic Engineering at the Edge/Gateway Boundary in VANETs and Cyber-Physical Environments

2021 ◽  
pp. 98-120
Author(s):  
Daniel Minoli ◽  
Benedict Occhiogrosso
Keyword(s):  
Wireless Networks ◽  
Distributed Systems ◽  
Packet Loss ◽  
Traffic Engineering ◽  
Design Method ◽  
Cyber Physical Systems ◽  
Physical Environments ◽  
Latency Jitter ◽  
Tiered Networks ◽  
Physical Components

Cyber physical systems (CPSs) are software-intensive smart distributed systems that support physical components endowed with integrated computational capabilities. Tiered, often wireless, networks are typically used to collect or push the data generated or required by a distributed set of CPS-based devices. The edge-to-core traffic flows on the tiered networks can become overwhelming. Thus, appropriate traffic engineering (TE) algorithms are required to manage the flows, while at the same time meeting the delivery requirements in terms of latency, jitter, and packet loss. This chapter provides a basic overview of CPSs followed by a discussion of a newly developed TE method called ‘constrained average', where traffic is by design allowed to be delayed up to a specified, but small value epsilon, but with zero packet loss.

Artificial Life Cooperation Principle for Wireless Network Distributed System Design

2012 ◽  
Vol 433-440 ◽  
pp. 835-839
Author(s):  
Hong Guang Zhang ◽  
Yuan An Liu ◽  
Bi Hua Tang ◽  
Yan Qin ◽  
Zhi Peng Jia
Keyword(s):  
Distributed Systems ◽  
System Design ◽  
Wireless Network ◽  
Distributed System ◽  
Artificial Life ◽  
High Performance ◽  
Design Method ◽  
Low Cost ◽  
System Size ◽  
Mutual Cooperation

Wireless network distributed systems have become commonplace due to the wide availability of low-cost, high performance computers and network devices. With the increase of slave nodes of distributed systems, the performance of distributed systems often fall significantly or management infrastructure of distributed systems often does not scale well. Wireless network distributed system design method of using artificial life cooperation principle is proposed. Design principle of mutual cooperation among slave nodes and open wireless communication links of wireless network distributed systems make the topology of distributed system is able to handle the dynamic increase of system size and recover the unexpected failure of system services. The proposed design method for constructing distributed systems could optimize the scalability and reliability of distributed systems.

Concept formation as knowledge accumulation: A computational linguistics study

2006 ◽  
Vol 20 (1) ◽  
pp. 35-53 ◽  
Author(s):  
ANDY DONG
Keyword(s):  
Computational Linguistics ◽  
Concept Formation ◽  
Language Use ◽  
Semantic Analysis ◽  
Design Method ◽  
First Language ◽  
Design Teams ◽  
Chain Analysis ◽  
The Mind ◽  
Formal Design

Language plays at least two roles in design. First, language serves as representations of ideas and concepts through linguistic behaviors that represent the structure of thought during the design process. Second, language also performs actions and creates states of affairs. Based on these two perspectives on language use in design, we apply the computational linguistics tools of latent semantic analysis and lexical chain analysis to characterize how design teams engage in concept formation as the accumulation of knowledge represented by lexicalized concepts. The accumulation is described in a data structure comprised by a set of links between elemental lexicalized concepts. The folding together of these two perspectives on language use in design with the information processing theories of the mind afforded by the computational linguistics tools applied creates a new means to evaluate concept formation in design teams. The method suggests that analysis at a linguistic level can characterize concept formation even where process-oriented critiques were limited in their ability to uncover a formal design method that could explain the phenomenon.

Investigating the Use of (Re)Configurability to Reduce Product Family Cost and Mitigate Performance Losses

2009 ◽  
Author(s):  
Phil Cormier ◽  
David Van Horn ◽  
Kemper Lewis
Keyword(s):  
Design Method ◽  
Product Family ◽  
Product Families ◽  
Operating Environments ◽  
Configurable System ◽  
Product Flexibility ◽  
Future Demands ◽  
System Configurations ◽  
Formal Design ◽  
Product Cannibalization

Commonality amongst a family of products provides both technical and economic advantages. However, with an increase in commonality, a loss of product differentiation can occur, resulting in product cannibalization. Furthermore, there is generally a required tradeoff between performance and cost when incorporating commonality into a family of products. This paper synthesizes recent research in system flexibility, system reconfigurability, and product families to develop a formal design method, which may allow a design firm to decrease family cost, increase commonality, and maintain or improve system performance. The system configurations can be set before they reach the consumer or be capable of being set by the consumer. (Re)configurability is used to denote that the solution may be permanent once configured (i.e., a configurable system) or the changes can be repeatable and reversible (i.e., a reconfigurable system). Added benefits to incorporating principles of product flexibility and (re)configurability are the possibility for the systems to age gracefully, adapt to meet future demands and operating environments, and incorporate newly developed technologies.

Sign in / Sign up

Export Citation Format

Share Document