ADVA Software Engineering GmbH is a Munich based company specialized in providing complete software development services and consulting on requirements engineering, software design, model based development and verification process, in order to comply with ISO 26262, AUTOSAR, MISRA C, and DO-178B/C standards. We are engaged in many embedded software development projects across the world and have grown to become the company of choice for projects which require high level of expertise. Our team of engineers are experts in Modelling, Auto coding, Formal Verification, Test Generation, and Hardware Testing Tools. Our expertise covers the complete spectrum of software development processes from process definition through software implementation and testing up to successful product delivery. By partnering with us, many of our customers have realized shortened project timelines, important cost savings and improved product quality. The main domain of activity is in the area of modeling (Matlab / Simulink / Stateflow, Statemate, Rhapsody UML), autocoding (TargetLink, Statemate MicroC, Rhapsody in C) and advanced formal verification and test generation (EmbeddedSpecifier / EmbeddedValidator / EmbeddedTester) with focus on: • Executing complex and demanding projects to our customers' complete satisfaction. * Providing consulting on development and test process improvements in order to fulfill the ISO 26262 / DO178B/C safety standards. • Supporting the organizations to roll-out the models based technologies and safety standards in new projects. • Managing and executing projects in the area of model based development and model based testing. ADVA Software is located in München (Germany) and always looks forward to work on-site together with its world-wide Automotive / Aeronautics OEM and Suppliers customers. Get in touch with us at: contact@adva-software.com