Enabling optimisation in the design of complex computer based systems

This paper aims to understand the issues involved in introducing optimisation in complex computer based systems. It also proposes a framework within which optimisation may occur, and suggests the research that needs to be done. The paper follows through on software's dominance in complex systems to determine the feasibility of raising complex computer based system design to a new level of practice by enabling optimisation and refinement built upon architectural modelling. The paper draws on optimisation in chemical, control system and aeronautical engineering for its techniques and tools. The major issues are: how to apply optimisation to complex systems; how to apply refinement in a scalable, inclusive manner; how to extend architectural modelling to encompass optimisation and refinement. Additionally, a visual design guidance system need to be developed for the designer, and an appropriate design process is to be developed. The effect of a project built upon this framework could be to transform the way system/software architects design complex systems, and, have a profound effect on the effectiveness of all industries which deal with complex systems.

[1]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[2]  Xiaolei Qian,et al.  Correctness and composition of software architectures , 1994, SIGSOFT '94.

[3]  John Leaney,et al.  Architecture-based performance analysis of the COLLINS class submarine open system extension (COSE) concept demonstrator (CD) , 2000, Proceedings Seventh IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS 2000).

[4]  S. J. Goldsack,et al.  Formalising design patterns , 1996, FME 1996.

[5]  H. R. Simpson,et al.  Architecture for computer based systems , 1994, Proceedings 1994 Tutorial and Workshop on Systems Engineering of Computer-Based Systems.

[6]  Kemper Lewis,et al.  Visualization of multidimensional design and optimization data using cloud visualization , 2002, DAC 2002.

[7]  K. Suzanne Barber,et al.  Enabling iterative software architecture derivation using early non-functional property evaluation , 2002, Proceedings 17th IEEE International Conference on Automated Software Engineering,.

[8]  Richard C. Holt,et al.  Using graph rewriting to specify software architectural transformations , 2000, Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering.

[9]  Barry M Horowitz.  The Importance of Architecture in DoD Software , 1994 .

[10]  Xiaolei Qian,et al.  Correct Architecture Refinement , 1995, IEEE Trans. Software Eng..

[11]  Thomas Bolusset,et al.  Formal Refinement of Software Architectures Based on Rewriting Logic , 2002 .

[12]  Rick Kazman,et al.  Architecture, design, implementation , 2003, 25th International Conference on Software Engineering, 2003. Proceedings..

[13]  Wolfgang Pree,et al.  Design Patterns for Object-Oriented Software Development , 1994, Proceedings of the (19th) International Conference on Software Engineering.

[14]  John Leaney,et al.  Measuring the effectiveness of computer based systems: an open system measurement example , 2001, Proceedings. Eighth Annual IEEE International Conference and Workshop On the Engineering of Computer-Based Systems-ECBS 2001.

[15]  Giovanni De Micheli,et al.  Low power embedded software optimization using symbolic algebra , 2002, Proceedings 2002 Design, Automation and Test in Europe Conference and Exhibition.

[16]  Bassam Tabbara,et al.  Function/Architecture Optimization and Co-Design of Embedded Systems , 2000 .

[17]  Richard N. Taylor,et al.  A Classification and Comparison Framework for Software Architecture Description Languages , 2000, IEEE Trans. Software Eng..

[18]  Eberhardt Rechtin.  Systems Architecting: Creating & Building Complex Systems , 1990 .