This website is still in construction. Additional informations can be found in the previous website topcased.org . These 2 sites will be merged soon. TOPCASED is an integrated System/Software engineering toolkit compliant with the requirements of critical and embedded applications. It covers the stages from requirements analysis to implementation, as well as some transversal activities like anomal