Internships in 2009
Cambridge, MA
Pittsburgh, PA
Palo Alto, CA
Consistency Checking for Automotive Software Artifacts: Architecture, Models, and Code - Intern 
Number of Openings: 1

Degree Level: Masters

Marjor(s): Software Engineering, Computer Science, Computer Engineering, Electrical Engineering

Targeted Skills:

The goal of this internship is to develop a traceability and consistency checking mechanism for automotive software, involving the software architecture (XML), software models (XML/Java), and software implementation (C code). 

Responsibilities Include:

  • Design and development of a translation mechanism for feature of interest for the software artifacts (XML, Java, C code)
  • handling product line architectures
  • Evaluation of the completeness and correctness of the translation algorithm
  • Error reporting for consistency violations
  • Integration into an existing software analysis suite (implemented in Java)

 

Experience in one or more of the following areas is desired:

  • Strong experience with XML syntax and translation tools, including XML schemas/DTDs, XQuery/XPath, and tools such as XMLBeans
  • Strong Java programing experience
  • Experience with C grammar and C parsing tools
  • C programming experience, including macros
  • Familiarity with version control concepts for software development (branches, variants)
  • Knowledge of software architecture concepts
Apply
 
Top of page