Methodology and Benefits of Timing Verification for Safety-Critical Embedded Software New! Authored by Thierry LE SERGENT - SCADE Suite™ Product Manager at Esterel Technologies, Reinhold Heckmann - Senior Researcher at AbsInt GmbH, and Daniel Kästner - CTO AbsInt GmbH Abstract SCADE Suite™ is a model driven development environment specifically created for system and software developers generating safety-critical embedded systems that...
preview:
http://www.esterel-technologies.com/technology/WhitePapers/overview.html
03/23/2005
