• Video
  • 01-Nov-2013 11:25 EDT

How to Build a Formula FSAE Race Car from Scratch

Coming in first place worldwide out of 17 newcomer teams, 25 Technion students built and raced the university's first Formula SAE car in Sept. 2013 in Italy. Watch the building of the car and the car in action in this short video. The 25 member team is co-sponsored by Grand Technion Energy Program (GTEP). Technion Formula SAE takes students out of the classroom and into the fast lane to apply textbook theories,as well as gaining real-world experience.

HTML for Linking to Page
Page URL
Rate It
No ratings yet

View More Video

Manganese oxides show high catalytic activity for CO and HC oxidation without including platinum group metals (PGM). However, there are issues with both thermal stability and resistance to sulfur poisoning. We have studied perovskite-type YMnO3 (YMO) with the aim of simultaneously achieving both activity and durability. This paper describes the oxidation activity of PGM-free Ag/i-YMO, which is silver supported on improved-YMO (i-YMO). The Ag/i-YMO was obtained by the following two methods. First, Mn4+ ratio and specific surface area of YMO were increased by optimizing composition and preparation method. Second, the optimum amount of silver was supported on i-YMO. In model gas tests and engine bench tests, the Ag/i-YMO catalyst showed the same level of activity as that of the conventional Pt/?-Al2O3 (Pt = 3.0 g/L). In addition, there was no degradation with respect to either heat treatment (700°C, 90 h, air) or sulfur treatment (600°C to 200°C, total 60 h, 30 ppm SO2).
Software products in the automotive industry are by nature widely distributed and costly to update (recall), so high reliability is clearly of utmost importance. Just as clearly, the increasing reliance on remote access to such systems, for diagnostic and other purposes, has made security an essential requirement, and traditional techniques for software development are proving to be inadequate in dealing with these issues. Correctness by Construction is a software design and development methodology that builds reliability and security into the system from the start. It can be used to demonstrate, with mathematical rigor, a program's correctness properties while reducing the time spent during testing and debugging. This paper will discuss the use of Correctness by Construction, and its accompanying SPARK language technology, to improve automotive systems' security and reliability. (The approach can also account for safely issues, although that is not the focus of this paper.)
The System Architecture Virtual Integration (SAVI) program is a collaboration of industry, government, and academic organizations within the Aerospace Vehicle System Institute (AVSI) with the goal of structuring a new integration process that relies on a single-truth architectural framework. The SAVI approach of Integrate, then Build provides a modern distributed development environment which arrests the propagation of requirements errors through the development life cycle. It does so by capturing design assumptions and shared properties of the system design in an authoritative, annotated architectural model. This reference model provides a common, analyzable framework for confirming that system requirements remain complete, consistent, and correct at all levels of system decomposition. Core concepts of SAVI include extensive use of model-based system engineering tools and use of a single-truth reference architectural model.
The Java language is now the most popular programming language for the creation of new software capabilities. Its popularity has resulted in signficant economies of scale, with Java adopted as the primary language of instructional within many university curriculums, an abundance of reusable Java software components and Java software development tools available both from commercial suppliers and as open source technology, a large pool of competent Java developers from which to recruit staff, and a general willingness by senior staff software engineers to invest the effort required to learn this new programming language and technology. This talk describes the special approaches recommended for the use of Java in safety-critical deployments. The talk surveys the current state of the draft JSR-302 Safety Critical Java Specification and describes related experiences with commercially available technologies based on the constraints of early JSR-302 design discussions.

Related Items