The development of tools for the design of both hardware and software systems draws great benefits from the use of formal methods, especially if they offer a descriptive capacity which covers real applications. On the basis of the T-LOTOS language, a language called TTL has been developed, which add
Design of hardware and software systems
โ Scribed by Krzysztof Kuchcinski
- Publisher
- Elsevier Science
- Year
- 1997
- Tongue
- English
- Weight
- 113 KB
- Volume
- 42
- Category
- Article
- ISSN
- 1383-7621
No coin nor oath required. For personal study only.
โฆ Synopsis
Developments in electronic technology have made it possible to manufacture complex computer systems. Current microprocessors contain millions of transistors and implement a complex functionality. At the same time an accompanying development in the computer architecture area resulted in different high-performance computer systems and multiprocessors. This functionality is available today to programmers and designers of complex systems. However, to use it efficiently, related developments of new methods and tools are required. These methods and tools can assist programmers and designers in making, for example, different decisions on computer system architecture selection, estimation of basic parameters, such as performance, and system partitioning.
Computer systems, in many cases, are implemented using heterogeneous architectures where both hardware and software components are used to make an efficient final product. This requires from a system designer a good understanding of both the software and hardware development process. Euromicro conferences traditionally address problems of complex computer systems design. Within the scope of the conference there are the following five areas: Computer Architectures, Software Engineering, De-1383.
๐ SIMILAR VOLUMES
Hardware/software co-design recently became a field of research and a method of development both important and fashionable. We show that it is a technique already used some decades ago, and discuss its various aspects, forms and benefits. At the same time, the advent of programmable devices is incre