• Video
  • 18-Jul-2014 09:37 EDT

Highlights from SAE 2014 World Congress

Don't miss highlights from SAE 2014 World Congress, and be sure to visit sae.org/congress for important updates regarding the 2015 Congress!

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

View More Video

Video
2012-03-21
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. From the outset SAVI developers anticipated that a quantified prediction of the productivity of the SAVI Virtual Integration Process (VIP) would be necessary to close the business case for using it.
Video
2012-03-21
Edgewater Computer Systems Inc. product RTEdge Platform 1.2 is a software toolset supporting proof based engineering, implementation and deployment of software components, built using the RTEdge AADL Microkernel modeling subset. This is a small subset of the AADL component model and execution semantics, covering threads and thread-groups communicating solely through asynchronous event ports and through explicitly shared data ports. Threads behavior is expressed as state machines and dispatch run time semantics is encoded in a Run-time Executive, enforcing pre-emptive priority dispatch based on statically assigned event priorities, with ceiling priority protocol access to shared data. This simple AADL microkernel semantic core can support all dispatch policies, communication and synchronization mechanisms of a fully fledged AADL run time environment, permitting the systematic use of the RTEdge static analysis tools for AADL compliant software components. The objective of our work was to integrate RTEdge Platform 1.2 with the Promela / Spin model checker, for the purpose enabling formal verification of user defined formal properties, expressed on software application models built and executed on the RTEdge AADL Microkernel.
Video
2013-11-01
Iowa State University, Cyclone Racing SAE Formula Generation Auto 1.
Video
2013-11-19
Recap of the 2013 University of Louisville Baja SAE team's season. The team had its best season to date placing 8th, 5th, and 2nd overall in the three North American competitions hosted by the Society of Automotive Engineers. With out a doubt the biggest highlight of the season was passing the University of Michigan in the final corners of the last lap of the Rochester endurance race to take first place in the race and clinch 2nd place overall for the competition; the highest finish for U of L at competition ever! The team was also awarded 1st, 2nd, and 3rd places in the design events at Tennessee, Washington, and Rochester respectively; not bad for a team that's only been to design finals four times in its history at UofL.

Related Items

Article
2013-12-04
Book
2002-04-15