Software engineering techniques and tools for high performance parallel systems

Author

Croll, Peter R. ; Jelly, Innes ; Gorton, Ian

Author_Institution

Dept. of Comput. Sci., Sheffield Univ., UK

fYear

1995

fDate

15-17 Mar 1995

Firstpage

85

Lastpage

91

Abstract

This paper considers the current state of software engineering for parallel systems. A review of existing approaches and techniques identifies inadequacies. Recent work on design, verification and automated support is outlined. The next generation of embedded and distributed technologies will compound the problems through increased demand and diversity. This paper discusses the implications for the progression of current techniques into new methods for future software engineering of parallel systems

Keywords

parallel machines; parallel programming; program verification; real-time systems; software engineering; software tools; automated support; design; distributed systems; embedded systems; high performance parallel systems; parallel machines; parallel system; software engineering techniques; software tools; supercomputers; verification; Application software; Computer aided software engineering; Computer science; Concurrent computing; Design methodology; Engineering management; Parallel processing; Software design; Software engineering; System testing;

fLanguage

English

Publisher

ieee

Conference_Titel

Parallel Algorithms/Architecture Synthesis, 1995. Proceedings., First Aizu International Symposium on

Conference_Location

Fukushima

Print_ISBN

0-8186-7038-X

Type

conf

DOI

10.1109/AISPAS.1995.401351

Filename

401351