Title :
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
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;
Conference_Titel :
Parallel Algorithms/Architecture Synthesis, 1995. Proceedings., First Aizu International Symposium on
Conference_Location :
Fukushima
Print_ISBN :
0-8186-7038-X
DOI :
10.1109/AISPAS.1995.401351