DESIGN East 2012 Speakers
At DESIGN East, you will have access to 100+ world class speakers. This year's speakers are all listed below.
Tucker Taft
Director of Language Research, AdaCore
Mr. Taft is Director of Language Research at AdaCore and was previously founder and Chief Technical Officer of SofCheck. He is the principal designer of Ada 95 and a major contributor to subsequent language revisions including Ada 2012. Mr. Taft is also the main architect of the CodePeer static analysis tool and the designer of the new ParaSail language for reliable multicore applications.
Sessions
Ada 2012- New Language Technology for High-Integrity Software
Location: 304
Tuesday, September 18, 2012, 3:15 PM-4:15 PM
Modern embedded software development is a challenge. In addition to the usual demands (performance, maintainability, etc.), many kinds of embedded systems -- so-called High-Integrity systems -- need to meet safety and/or security requirements including compliance with certification standards such as DO-178B or the Common Criteria. The language chosen can significantly influence the effort involved in developing and certifying such systems. The latest version of the Ada language, Ada 2012, helps simplify this task. The Ada design has always been based on the philosophy of strong
| |
| |
| Brought to you by: |
|

|
| |