Component-based design processes, enriched with the most current analysis and synthesis methodologies, permit a significant reuse of developed applications and, thereby, contributes to a drastic reduction of the development costs. The proof of formalized system requirements already in the early phases of the development is part of the spectrum of methodologies, as is the automated search for possibly inexpensive implementations complying with the quality requirements, especially under consideration of real-time and robustness requirements. The embedding into industrial development processes is considered significantly important.
