Formspråk

Ett designspråk är ett automatiseringsverktyg  för systemdesign . Ofta, för att förenkla förståelsen av ämnesområdet, kallas formspråk för programmeringsspråk , men detta är bara en förenkling förknippad med hur programtexter skrivs , vilket förlorar ämnesområdet (användningen av formspråk) ur sikte.

Effektiviteten hos designteknologier bestäms till stor del av perfektionen av designspråk som tillhandahåller kommunikation mellan utvecklare ( designers ) . Enandet av designspråk tillåter utbyte av mjukvaruverktyg eller deras komponenter, minskar kostnaderna för att lära sig språk och tekniska verktyg för att automatisera deras användning, främjar portabilitet och förbättrar kvaliteten på mjukvaruverktyg.

Huvudkraven för ett system med designspråk är:

• tillverkningsbarhet av systemutveckling genom top- down design ;
• erhålla tillförlitliga system ;
• rörlighet för system, det vill säga portabilitet av programvarukomponenter för både olika objekt- och tekniska datorer;
• underhåll av systemen under hela livscykeln ;
• lätthet att skriva program, deras igenkännlighet, enkel kommunikation mellan användaren och den tekniska datorn;
• rationell avgränsning av användningen av språkverktyg i olika stadier av systemdesign mellan olika grupper av designers , systemprogrammerare , cross-system tuners för specifika datorer, utvecklare av funktionella program och specialister på att komplexbilda mjukvarukomponenter.

De mest kända designspråken för 2009 :

• Hårdvarudesignspråk
  • VHDL
  • Verilog
  • SystemC
• Draken
• UML

Det finns också designverktyg baserade på:

• Handel-C
• CatapultC