scholarly journals Towards Advances on Software Architecture Design ofConstituents for Systems-of-Systems: Enabling Operational Independence

Author(s):  
Paulo Gabriel Teixeira ◽  
Valdemar Vicente Graciano Neto

Over the years, knowledge on how to engineer software-intensive system-of-systems (SoS) have been expanded and advanced. However, challenges still remain. Constituent Systems (CSs) are required to instantaneously connect themselves to a SoS while still preserving their own operational independence. Moreover, SoS CS are subject to a sort of heterogeneities that makes it difficult to make decisions outside predefined frameworks, environment and hierarchical command-control structures. Hence, many of the systems currently available are not prepared to be part of an SoS, i.e., they can not maintain their operational independence despite their participation in one or more SoS. Based on this context, the main goal of this research is to exploit how to design a software architecture for systems that are intended to become part of a SoS in the future. To achieve this goal, we chose the urban mobility SoS domain, and then executed a software architecture design process to design a software architecture for an autonomous car as CS of this SoS. Later, we evaluated it through simulation. Preliminary results reveal that our proposal comply with the requirements raised during the architectural design process and can enable a system to be a constituent of a SoS while still preserving its operational independence.

Author(s):  
Bruno G. A. Lebtag ◽  
Valdemar Vicente Graciano Neto

Systems of Systems (SoS) are complex systems composed of managerially and operationally independent constituent systems (CS). Smart cities are examples of SoS. However, these types of systems impose challenges to traditional software architecture such as highly evolutionary architecture due to the evolution of individual CS and emergent behaviors that results from the interoperability of CS. Executable Models (ExM) are a class of models that can be executed and that can assist on architectural design of SoS. By using them, architects can predict the SoS structure and behavior by visualizing and simulating the SoS still at design-time. On the other hand, as any other emergent technologies, it suffers with absent scientific evidences of its benefits, mainly in industrial context. The main contribution of this master thesis project intends to be the presentation of evidences about the use of ExM to solve problems in the SoS software architecture design. For achieving such purpose, this project is structured in well-defined steps: (i) a systematic mapping study, (ii) elaboration of a conceptual map derived from the mapping study, (iii) a survey to obtain perceptions from software engineering professionals on the use of ExM in the context of engineering simple systems and (iv) a new survey expanding the previous study and to obtain perceptions from software engineering professionals on the use of ExM in the context of architectural design of SoS. Preliminary results reveal that ExM have been reported in diverse SoS domains, offering a dynamic and interactive view to the SoS. We also found that software engineering professionals see ExM as suitable solution for dealing with complex and critical systems as SoS.


2011 ◽  
Vol 225-226 ◽  
pp. 992-995
Author(s):  
Qing Huang

Software architecture design is one decision-making process for a series of major issues from software development and the best practices had been summed up. Nevertheless, the strict observance of the best practices still cannot raise the design line from the class development to framework development. The reason was that most imitators are unable to understand accurately the essence of two key words of "iteration" and "divide and rule". Therefore, this paper made further study of the "iteration" and "divide and rule". First, the meaning of "iteration" would be redefined. It is that each cycle should have a respective emphasis and end with the time deadline so as to make a clear distinction among them and improve iterative efficiency. Second, the meaning of "divide and rule" would also be redefined. It is that the passive decomposition based on Test First is better than active decomposition. Because it is the most suitable to have no alternative but to decompose according to current concrete conditions. By this way, best practices of architectural design can be implemented in real project, so as to improve the level of architecture design in essence.


Author(s):  
YUJIAN FU ◽  
ZHIJIANG DONG ◽  
XUDONG HE

A software architecture design has many benefits including aiding comprehension, supporting early analysis, and providing guidance for subsequent development activities. An additional major benefit is if a partial prototype implementation can be automatically generated from a given software architecture design. However, in the past decade less progress was made on automatically realizing software architecture designs. In this paper, we present a translator for automatically generating an implementation from a software architectural description. The implementation not only captures the functionality of the given architecture description, but also contains additional monitoring code for ensuring desirable behavior properties through runtime verification. Our method takes a software description written in SAM, a software architecture model integrating dual formal methods Petri nets and temporal logic, and generates ArchJava/Java/AspectJ code. More specifically, the structure of a SAM architecture description produces ArchJava code, the behavior models of components/connectors represented in Petri nets lead to plain Java code, and the property specifications defined in temporal logic generate AspectJ code; the above code segments are then integrated into Java code. An experimental result is provided.


Sign in / Sign up

Export Citation Format

Share Document