AdaCore's software development and verification tools help programmers build real-time embedded systems demanding reliability, performance, and platform portability. Its products support projects in Ada, C, and C++, on bare metal and leading RTOSes, and apply throughout the software life cycle, from model-based development to advanced static analysis / vulnerability detection and dynamic code coverage. Visit us in Booth 1631 to learn more!
Amazon is guided by four principles: customer obsession rather than competitor focus, passion for invention, commitment to operational excellence, and long-term thinking. Customer reviews, 1-Click shopping, personalized recommendations, Prime, AWS, Kindle, Fire tablets, Fire TV, Amazon Echo, and Alexa are some of the products and services pioneered by Amazon.