Darwin is a Computing Architecture Description Language (ADL). Comparing to others ADLs, such as Wright, the language doesn't provide the connector notion. Its use of FSP language allow the verification of the temporal properties of the architecture.
It was developed at Imperial College London.