The National Institute of Standards and Technology (NIST), in coordination with other federal a

                        Call for papers: CRTS 2012        5th Workshop on Compositional Theory and Technology for                   Real-Time Embedded Systems (CRTS 2012)                         http://crts2012.ele.tue.nl/

This session focuses on methods and design tools for the exploration, analysis, simulation, selection, synthesis, and optimization of E/E automotive architectures (e.g., software, hardware, communication, wiring harness, and power architectures). These methods and tools apply to technologies such as multi-core processors, distributed systems, AUTOSAR, Flexray, CAN, Ethernet, and DSRC among others. The methods and tools are usually (but not limited to) model-based.

The SAE 2012 World Congress theme is Get Connected. It represents the new and diverse connections that will drive significant advancements in the auto industry of tomorrow. Not only does the theme symbolize literal connections, such as those between vehicles, infrastructure, the Internet, and the nation’s electrical grid, but also demonstrates the most fundamental of connections; the connections and relationships between engineers who are developing the next generation vehicle technology.

This session of the SAE 2012 World Congress focuses on processes, methods, and tools for the design, analysis, and synthesis of cyber secure automotive embedded systems. The analysis aspect shall cover (but not be restricted to) static code analysis methods and tools for analyzing the vulnerabilities of embedded software (application and platform) prior to their deployment on the target HW.